SlideShare a Scribd company logo
1 of 8
Competencia
                                   UNIVERSIDAD SEÑOR DE SIPÁN                         Lógico Matemática
                                               PIMENTEL – CHICLAYO

                        FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES

1.1.    Conectivos Lógicos
       Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan, unen o
       enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectivos
       básicos son:
                      CONECTIVO       SÍMBOLO      NOMBRE DE LA PROPOSICIÓN
                           No              ~                   Negación
                            Y              ^                  Conjunción
                            O                             Disyuntiva inclusiva
                    o. . . o. . .                         Disyuntiva exclusiva
                    Si… entonces...                           Condicional
                    …si y sólo si …                          Bicondicional

   A. Negación (~): Es un conectivo singular. Se denomina proposición negativa aquella que cambia el valor
      de la proposición original. Se denota por: ~p, -p, p y se lee: “no p”. La negación, puede traducirse
      como:
                  No es cierto que ...    Nadie que sea ...     Jamás ...
                  Es falso que...         No es el caso que ... Es inconcebible que...
                  Nunca ...               No es verdad que      Es imposible que ...
                  No ocurre que...        Es absurdo que        Es erróneo que ...
                  Es mentira que ...      No acaece que...      De ningún modo …
                  No es el caso que… Es inadmisible que… Es incierto que…
                  Es refutable que…       Es falaz que…         En modo alguno…

       Ejemplo:
        p: INDECOPI es el Instituto Nacional de Defensa de la Competencia y de la Protección de la
            Propiedad Intelectual.
        ~p: Es falso que INDECOPI sea el Instituto Nacional de Defensa de la Competencia y de la
             Protección de la Propiedad Intelectual.
         Su tabla de verdad es como sigue:
                                                 p   ~p
                                                 V    F
                                                 F   V

   B. Conjunción: Dadas las proposiciones “p”, “q”. La conjunción es el resultado de unir estas
      proposiciones con el conectivo lógico “y”. Se denota con el símbolo: “ ”, “ ”, se escribe “p q”, “p q”
      y se lee: “p y q”. La proposición conjuntiva es verdadera. Cuando las dos proposiciones son
      verdaderas. En nuestro lenguaje podemos emplear:

                   Pero                    Aun cuando                  No obstante
                   Sin embargo             Al igual que                Aunque
                   Además                  Tanto …. como ….            Más aún
                   A la vez                Siempre ambos…. con…..      También
                   Incluso                 No sólo….sino también….     Es compatible con
                   Así como                A pesar de                  Así mismo
                   Del mismo modo          ….con …. los dos a la vez   De la misma forma que

Docente: Wilderd Alejandro Cabanillas Campos                                                              1
Competencia
                                   UNIVERSIDAD SEÑOR DE SIPÁN                           Lógico Matemática
                                               PIMENTEL – CHICLAYO

       Ejemplo:
       Consideremos las siguientes proposiciones:
       p: “Roxana estudia”
       q: “Roxana escucha música”
       De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado
       por:
       p q: Roxana estudia al mismo tiempo que escucha música
       Su tabla de verdad es como sigue:

                                               p q p q
                                               V V       V
                                               V F       F
                                               F V       F
                                               F F       F
   C. Disyunción: Es una proposición compuesta formada por “p” y por “q” relacionadas por el conectivo
      lógico “o”. Según el sentido del conectivo “o”, se puede interpretar de dos maneras: inclusiva o
      exclusiva.
      Disyunción Inclusiva o Débil: Se denota por “p q”, “p + q” y se lee: “p o q”. La disyunción
       inclusiva es falsa sólo en el caso que ambas proporciones sean falsas. Se conoce como la suma
       lógica. Otras formas de conexión que nos indican una disyunción inclusiva son:

                         A menos que                  O en todo caso
                         Excepto que                  O también
                         Salvo que                    O incluso
                         A no ser que                 O bien
                         Y bien o también             Al menos uno de los dos …. o ….
                         O sino                       Alternativamente

       Ejemplo: Consideremos:
            p: “Mañana estudiaremos Química”                                               p   q   p       q
            q: “Mañana estudiaremos Física”                                                V   V       V
       De tal manera que la representación del enunciado anterior usando                   V   F       V
       simbología lógica queda indicado por:                                               F   V       V
       p q: Mañana estudiaremos Química o sino estudiaremos Física                         F   F       F
       Su tabla de verdad es como sigue:

   Disyunción Exclusiva o Fuerte: Se denota por: “p q”, “p v q”, “p q”, “p q”,
   “p q” y se lee: “p o q” pero no ambos. La disyunción exclusiva es verdadera sólo cuando una de las
   proposiciones es verdadera. Algunas formas de conectivos a emplear son:

                     O ... o ...                     ... no equivale a ...
                     O bien ... o bien ...           No es cierto que...equivale a...
                     No es equivalente ... con ...   O solo .... o solo ....
                     ....a menos que solamente...    ...salvo que únicamente...
                     ....excepto que sólo....        ....o bien necesariamente....
                     ....o exclusivamente....        ....no es idéntico a....
                     ....no es lo mismo que...       Salvo que .... o ....
Docente: Wilderd Alejandro Cabanillas Campos                                                                   2
Competencia
                                   UNIVERSIDAD SEÑOR DE SIPÁN                           Lógico Matemática
                                               PIMENTEL – CHICLAYO


   Ejemplo: Consideremos:                                                              p q                  p       q
            p: “Este año viajaré al extranjero”   q: “Viajo a Lima”                    V V                      F
   De tal manera que la representación del enunciado anterior usando simbología lógica V F                      V
   queda indicado por:                                                                 F V                      V
   p q: “Este año viajaré al extranjero salvo que únicamente viaje a Lima”             F F                      F
   Por lo tanto su tabla de verdad es:


   D. Condicional: Proposición compuesta que resulta de la combinación de dos proposiciones simples, a
      través del conectivo: “Si ..., entonces ...” y su símbolo es : “ ”, “ ”. La notación “p q”, “p q” se lee
      “Si p, entonces q”. La proposición “p” se llama antecedente o hipótesis y la proposición “q” se llama
      consecuente o conclusión. La manera de expresar la condicional en el orden antecedente-
      consecuente
      (“p q” Implicación directa), son las siguientes:

                             Si p, entonces q              p por tanto q
                             Siempre que p entonces q      p por consiguiente q
                             p es suficiente para q        p por ende q
                             p implica q                   p por conclusión q
                             Ya que p bien se ve que q     Dado que p por eso q
                             En cuanto p por tanto q       Porque p por eso q

   Puede también expresarse en el orden consecuente-antecedente (“q              p”) Implicación inversa.


                    q si p                      q es implicada para p   q de modo que p
                    q siempre que p             q cada vez que p        q puesto que p
                    q es necesario para p       q en vista que p        q porque p
                    Sólo si p, q                Sólo cuando p, q        Solamente porque p, q
                    q dado que p                q ya que p              q cada vez que p
                    q a condición de que p      q dado que p            q se concluye de p
                    q supone que p              q sigue de p            Únicamente si p, q


       Ejemplo: consideremos:
           p: “La producción es buena”
           q: “Habrá mayor rentabilidad en la empresa”
                                                                                                   p   q    p       q
       De tal manera que la representación del enunciado anterior usando simbología lógica
                                                                                                   V   V        V
       queda indicado por:
                                                                                                   V   F        F
           p q: “Si la producción es buena, habrá mayor rentabilidad en la empresa”
                                                                                                   F   V        V
           q    p: “Habrá mayor rentabilidad en la empresa siempre que la producción sea
                                                                                                   F   F        V
                   buena“
          Su tabla de verdad queda de la siguiente manera:




Docente: Wilderd Alejandro Cabanillas Campos                                                                    3
Competencia
                                   UNIVERSIDAD SEÑOR DE SIPÁN                         Lógico Matemática
                                               PIMENTEL – CHICLAYO



    E.- Bicondicional: Cuando dos proposiciones están unidas por el conectivo lógico “...si y sólo si...”, cuyo
        símbolo es: “ ”, “ ”, “ ”. La proposición compuesta se denota por: “p      q”, “p   q”, “p q” y se lee:
        “p sí y sólo si q”. La proposición bicondicional solamente es verdadera si tanto p como q son falsas o
        bien ambas verdaderas.

        También se suele emplear expresiones como:

                   …siempre y cuando…                 Es suficiente para que suficiente sea
                   …es equivalente a…                 Es condición necesaria y suficiente para
                   …es lo mismo que…                  …por lo cual y según lo cual…
                   …cuando y sólo cuando…             …cada vez que y sólo si…
                   Si y sólo si p, q                  …si de la forma…
                   …siempre que y sólo cuando…        …implica y está implicado por…
                   …es idéntico a…                    Siempre que … y siempre que …

        Ejemplo: Consideremos:
            p: “El que yo te sonría”                                                               p   q   p       q
             q: “Yo te enamore”
                                                                                                   V   V       V
        De tal manera que la representación del enunciado anterior usando simbología lógica
                                                                                                   V   F       F
        queda indicado por:
                                                                                                   F   V       F
        p    q: El que yo te sonría es lo mismo que yo te enamore.
                                                                                                   F   F       V
               Su tabla de verdad queda de la siguiente manera:

1.2.      Notación Proposicional
       En lógica nos interesa saber cómo están combinadas las proposiciones, y no nos interesa en absoluto
       su significado. Por ello necesitamos unos símbolos que prescindiendo del significado de las
       proposiciones nos indiquen la forma en que se combinan. Estos símbolos constituyen un lenguaje
       formal.
       Las proposiciones atómicas pueden ser sustituidas por letras minúsculas p, q, r, etc., denominadas
       variables proposicionales.
       La operación consiste en sustituir las expresiones del lenguaje natural por símbolos lógicos, a la cual
       llamaremos formalización y la proposición debidamente formalizada la llamaremos fórmula.

      Ejemplos:
    1. Mario Vargas Llosa obtuvo el Premio Nobel de Literatura 2010.
       Fórmula será simplemente: p
    2. Democracia significa un modo de vida en el que la libertad y la justicia están presentes.
       p = Democracia significa un modo de vida en el que la libertad está presente
       q = Democracia significa un modo de vida en el que la justicia está presente
       Fórmula: p ∧ q
    3. O está lloviendo y garuando, o está soplando el viento.
       p= Está lloviendo; q =Está garuando; r = Está soplando el viento
       Fórmula: (p ∧ q) r
    4. Si Pablo se queda, entonces Luis se va.
       p= Pablo se queda; q= Luis se va

Docente: Wilderd Alejandro Cabanillas Campos                                                                   4
Competencia
                                   UNIVERSIDAD SEÑOR DE SIPÁN                        Lógico Matemática
                                               PIMENTEL – CHICLAYO

        Fórmula: p → q
    5. Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad.
        p = cientos de vidas pueden salvarse cada año; q= La gente utiliza el cinturón de seguridad
         Fórmula: q → p
    6. No es el caso que, si la luna está hecha de queso verde, entonces los vehículos espaciales no
        pueden alunizar en ella.
        p= La luna está hecha de queso verde; q= Los vehículos espaciales pueden alunizar en la luna
        Fórmula: ¬(p → ¬q)
    7. Si los verdaderos amigos tienen todo en común, entonces tú no puedes ser más rico que tu
        compañero si dices que son verdaderos amigos.
        p= Los verdaderos amigos tienen todo en común
        q= Puedes ser más rico que tu compañero
        r= Dices que tú y tu compañero son verdaderos amigos.
        Fórmula: p → (r → q)
    8. Dos es un número primo porque sólo es divisible por sí mismo y por la unidad.
        p = 2 es un número primo
        q = 2 es divisible por sí mismo
        r = 2 es divisible por la unidad
       Fórmula: p ↔ (q ∧ r)
    9. Decir que la suma de sucesiones positivas es una sucesión positiva y el producto de sucesiones
        positivas es una sucesión positiva equivale a decir que la suma y el producto de dos números reales
        positivos es un número real positivo.
        p = La suma de sucesiones positivas es una sucesión positiva
        q = El producto de sucesiones positivas es una sucesión positiva
        r = La suma de dos números reales positivos es un número real positivo
        s = El producto de dos números reales positivos es un número real positivo.
        Fórmula: (p ∧ q) ↔ (r ∧ s)
    10. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente después de cada parto la
        sangre del recién nacido y, si ésta es Rh positivo, ha de administrarse a la parturienta el suero
        apropiado si se desea evitar complicaciones a otros hijos.
        p = El Rh de la futura madre es negativo.
        q = La sangre del recién nacido debe analizarse inmediatamente después de cada parto
        r = La sangre del recién nacido es Rh positivo
        s = Ha de administrarse a la parturienta el suero apropiado.
        t = Se desea evitar complicaciones a otros hijos.
        Fórmula: (p → q) ∧ (r → (t → s))

1.3.      Valoración de las Proposiciones
       Para determinar la valoración de las proposiciones moleculares, es necesario tener en cuenta las tablas
       de verdad.
       Considere los siguientes ejemplos:
       a) “Los virus son alternados no obstante son virulentos. Por tanto tienen una clasificación” Tenemos las
          proposiciones:
           p: “Los virus son alternados”
           q: “Los virus son virulentos”
           r: “Tienen una clasificación”
       Se formaliza por: (p q)        r


Docente: Wilderd Alejandro Cabanillas Campos                                                               5
Competencia
                                   UNIVERSIDAD SEÑOR DE SIPÁN                                       Lógico Matemática
                                                PIMENTEL – CHICLAYO

      Luego: como se puede observar el esquema molecular tiene 3 proposiciones simples, es decir que para
      este caso se tiene: 2 3 = 8 asignaciones posibles para los valores de verdad en total.
      La tabla de verdad para el esquema molecular, está dada por:

                                            p    q   r   (p       q)                r
                                            V    V   V        V             V       V
                                            V    V   F        V             F       F
                                            V    F   V        F             V       V
                                            V    F   F        F             V       F
                                            F    V   V        F             V       V
                                            F    V   F        F             V       F
                                            F    F   V        F             V       V
                                            F    F   F        F             V       F
                                                              1             3       2

      b) Siempre que se apruebe el crédito entonces compraré el departamento; sin                     embargo se aprueba el
         crédito. Por tanto compraré el departamento.
        Sean las proposiciones:
                p: “Se aprueba el crédito”
                 q: “Compraré el departamento”
         Se formaliza por: [(p   q) p]     q
         La tabla de verdad para el esquema molecular, está dada por:

                                        p      q [(p   q)              p]               q
                                        V      V     V    V            V        V       V
                                        V      F     F    F            V        V       F
                                        F      V     V    F            V        V       V
                                        F      F     V    F            V        V       F
                                                          1                     3       2


      c) La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en economía
         buscan soluciones, a pesar de que la crisis mundial no afecta a los países de bajos recursos.
        Tenemos las proposiciones:
              p: “La crisis mundial afecta a los países de bajos recursos económicos”
             q: “Los analistas en economía buscan soluciones”
             p: “La crisis mundial no afecta a los países de bajos recursos p q          (p    q)       p
                   económicos”                                                  V V          V        F F
        Se formaliza por: (p q)       p                                         V F          F        F F
                                                                                            F   V           F           F   V
         La tabla de verdad para el esquema molecular, está dada por:
                                                                                            F   F           F           F   V


Como podemos apreciar las proposiciones, las expresamos en forma simbólica; a su vez que podemos
encontrar sus valores de verdad. Con el fin de diferenciar los valores resultados de las expresiones, se
definen los siguientes conceptos:

A. Tautología: Una expresión es tautológica, cuando los valores de su conectivo principal resultan ser
   verdaderos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (b).
Docente: Wilderd Alejandro Cabanillas Campos                                                                                6
Competencia
                                   UNIVERSIDAD SEÑOR DE SIPÁN                       Lógico Matemática
                                               PIMENTEL – CHICLAYO

B. Contradicción: La expresión resulta ser una contradicción, cuando los valores de su conectivo principal
   resultan ser falsos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (c).
C. Contingencia: Aquella expresión, que en su conectivo principal resulten valores verdaderos y falsos a la
   vez, para todas las posibles asignaciones de la tabla de verdad. Ver ejemplo (a).

                                                  ACTIVIDADES

1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es:
   tautología, contradicción o contingencia.
    1.
    2.
    3.
    4.
    5.
    6.
    7.
    8.
    9.
    10.

2. A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente:
   1. Si p es una proposición falsa, determinar el valor de verdad de:

   2. Si                                           es Falsa. Determine los valores de verdad de:
           a)            b)            c)       d)
   3. Si                                   es verdadera. Determine los valores de verdad de:
          a)                      b)         c)
   4. Determinar el valor de verdad de la proposición molecular                              sabiendo que p es
      verdadera, q y r falsas. Hallar su valor de verdad.

   5. Si la proposición                            es falsa, deduzca el valor de verdad de los esquemas
      moleculares:
          a)                      b)                         c)

   6. Si p y r son dos proposiciones cualesquiera y q: “2 es número impar”, y
                            es verdadera entonces el valor de verdad de los siguientes esquemas moleculares
      es:
   a)                    b)


                                                                          ACTIVIDADES DE EVALUACIÓN
1. Escribe en forma simbólica, identificando cada una de las proposiciones atómicas que aparezca en
   las afirmaciones siguientes:
   1. Esta fiesta es muy divertida y la música es muy buena, por lo cual y según lo cual todos la pasaron de
       maravilla.
   2. Me gusta bailar y leer libros de ciencia ficción, más aún si la música es merengue a no ser que no
       baile.
   3. Si no estoy equivocado, ella conducía un carro rojo, y había un hombre sentado a su lado.
Docente: Wilderd Alejandro Cabanillas Campos                                                              7
Competencia
                                   UNIVERSIDAD SEÑOR DE SIPÁN                             Lógico Matemática
                                               PIMENTEL – CHICLAYO

     4.  Dos niños tienen los mismos apellidos si y sólo si tienen la misma madre y el mismo padre.
     5.  O Hugo tiene razón, o María y Carlos son o ambos culpables o ambos son inocentes
     6.  Si se ganan las elecciones y nuestros representantes acceden al poder, confiaremos en ellos si y sólo
         si cumplen sus promesas y el poder no les corrompe.
     7. El abogado no es justo ni competente, a condición de que es falso que no haya consultado con los
         peritos sobre la cotización del inmueble embargado.
     8. Es inobjetable que, una condición suficiente para que los países europeos tengan baja inflación por lo
         tanto estabilidad económica, es que sus gobiernos tienen programas estratégicos de crecimiento así
         como modelos económicos.
     9. Subirán los intereses bancarios porque subirá la cotización del dólar, en vista de que, subirá la
         cotización del dólar sólo si el gobierno no puede controlar la inflación.
     10. Los candidatos mienten en sus promesas y el pueblo les cree pero si hablaran la verdad el pueblo no
         les creería, es por eso que el Perú está como país subdesarrollado.

2. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si
   es: tautología, contradicción o contingencia.
    1.
    2.
    3.
    4.
    5.
    6.
    7.

3.    A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente:
     Si la proposición:
                          , es falsa. Determine los valores de verdad de “p”, “q”, “r” y “s”

4. Si la proposición: p     (q         r) es falsa y la proposición s es verdadera. ¿Cuáles       de las siguientes
   proposiciones son verdaderas?
   I)             II)
   III)           IV)
5. Si el esquema molecular:                                            es verdadero, determine los valores de
   verdad de:
   a)             b)                    c)




Docente: Wilderd Alejandro Cabanillas Campos                                                                   8

More Related Content

What's hot

What's hot (20)

Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
ejercicios resueltos de sumatorais
ejercicios resueltos de sumatoraisejercicios resueltos de sumatorais
ejercicios resueltos de sumatorais
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
 
CIRCUITOS LOGICOS
CIRCUITOS LOGICOSCIRCUITOS LOGICOS
CIRCUITOS LOGICOS
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltos
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Triángulos Rectángulos e Identidades Trigonométricas Fundamentales
Triángulos  Rectángulos e Identidades Trigonométricas FundamentalesTriángulos  Rectángulos e Identidades Trigonométricas Fundamentales
Triángulos Rectángulos e Identidades Trigonométricas Fundamentales
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Presentación inecuaciones
Presentación inecuacionesPresentación inecuaciones
Presentación inecuaciones
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Solucionario PRE SAN MARCOS- Semana 13 Ciclo 2016
Solucionario PRE SAN MARCOS- Semana 13 Ciclo 2016 Solucionario PRE SAN MARCOS- Semana 13 Ciclo 2016
Solucionario PRE SAN MARCOS- Semana 13 Ciclo 2016
 

Viewers also liked

Lógica
LógicaLógica
Lógicacjperu
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaDairo Estrada Talaigua
 
Preguntas simulacro lógica de proposiciones
Preguntas simulacro lógica de proposicionesPreguntas simulacro lógica de proposiciones
Preguntas simulacro lógica de proposicionessigherrera
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Victor Alonso Jimenez
 
Inteligencia logica matematica ok
Inteligencia logica matematica okInteligencia logica matematica ok
Inteligencia logica matematica okmipergar2014
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalMaestroJCH
 
Actividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesActividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesSan Martin Schilling
 

Viewers also liked (11)

Taller
TallerTaller
Taller
 
Lógica
LógicaLógica
Lógica
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño carta
 
Preguntas simulacro lógica de proposiciones
Preguntas simulacro lógica de proposicionesPreguntas simulacro lógica de proposiciones
Preguntas simulacro lógica de proposiciones
 
ejercicios basicos de logica matematica
ejercicios basicos de logica matematicaejercicios basicos de logica matematica
ejercicios basicos de logica matematica
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Inteligencia logica matematica ok
Inteligencia logica matematica okInteligencia logica matematica ok
Inteligencia logica matematica ok
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Actividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesActividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienes
 

Similar to Sesión y practica de formalización y valoración de proposiciones

Similar to Sesión y practica de formalización y valoración de proposiciones (20)

Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Unidad i de estructuras discretas
Unidad i de estructuras discretasUnidad i de estructuras discretas
Unidad i de estructuras discretas
 
Conectivos lógicos.pdf
Conectivos lógicos.pdfConectivos lógicos.pdf
Conectivos lógicos.pdf
 
Lógica
LógicaLógica
Lógica
 
Lógica
LógicaLógica
Lógica
 
Unidad I de estructuras discretas
Unidad I de estructuras discretasUnidad I de estructuras discretas
Unidad I de estructuras discretas
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
 
T logica
T logicaT logica
T logica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntos
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Cuaderno digital algebra
Cuaderno digital algebraCuaderno digital algebra
Cuaderno digital algebra
 
Slideshare
SlideshareSlideshare
Slideshare
 
Unidad 1, logica y conjuntos
Unidad 1, logica y conjuntosUnidad 1, logica y conjuntos
Unidad 1, logica y conjuntos
 
Semana 2
Semana 2 Semana 2
Semana 2
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
Lógico mat. c 2 ps
Lógico mat. c   2 psLógico mat. c   2 ps
Lógico mat. c 2 ps
 

More from Wilderd Cabanillas Campos (17)

unidades_de_medida.ppt
unidades_de_medida.pptunidades_de_medida.ppt
unidades_de_medida.ppt
 
áNgulos compuestos-guía-de-ejercicios
áNgulos compuestos-guía-de-ejerciciosáNgulos compuestos-guía-de-ejercicios
áNgulos compuestos-guía-de-ejercicios
 
Clase 15 1_ecuaciones_diferenciales
Clase 15 1_ecuaciones_diferencialesClase 15 1_ecuaciones_diferenciales
Clase 15 1_ecuaciones_diferenciales
 
Eval v
Eval  vEval  v
Eval v
 
Competencias del nuevo rol del profesor
Competencias del nuevo rol del profesorCompetencias del nuevo rol del profesor
Competencias del nuevo rol del profesor
 
Estrategias metodológicas y didácticas en la docencia universitaria
Estrategias metodológicas y didácticas en la docencia universitariaEstrategias metodológicas y didácticas en la docencia universitaria
Estrategias metodológicas y didácticas en la docencia universitaria
 
Lógicomat. c 9 inecuaciones-2012
Lógicomat. c  9 inecuaciones-2012Lógicomat. c  9 inecuaciones-2012
Lógicomat. c 9 inecuaciones-2012
 
Lógico mat. c 7 razones y proporciones 2012
Lógico mat. c  7 razones y proporciones 2012Lógico mat. c  7 razones y proporciones 2012
Lógico mat. c 7 razones y proporciones 2012
 
Fracción continua
Fracción continuaFracción continua
Fracción continua
 
Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funciones
 
Logica
LogicaLogica
Logica
 
Ecuaciones lineales
Ecuaciones linealesEcuaciones lineales
Ecuaciones lineales
 
Inecuaciones ppt
Inecuaciones pptInecuaciones ppt
Inecuaciones ppt
 
Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.
 
Lógico mat. c 1 ps
Lógico mat. c 1 psLógico mat. c 1 ps
Lógico mat. c 1 ps
 
Clases de matrices 2010
Clases de matrices 2010Clases de matrices 2010
Clases de matrices 2010
 
Funciones
FuncionesFunciones
Funciones
 

Sesión y practica de formalización y valoración de proposiciones

  • 1. Competencia UNIVERSIDAD SEÑOR DE SIPÁN Lógico Matemática PIMENTEL – CHICLAYO FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES 1.1. Conectivos Lógicos Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectivos básicos son: CONECTIVO SÍMBOLO NOMBRE DE LA PROPOSICIÓN No ~ Negación Y ^ Conjunción O Disyuntiva inclusiva o. . . o. . . Disyuntiva exclusiva Si… entonces... Condicional …si y sólo si … Bicondicional A. Negación (~): Es un conectivo singular. Se denomina proposición negativa aquella que cambia el valor de la proposición original. Se denota por: ~p, -p, p y se lee: “no p”. La negación, puede traducirse como: No es cierto que ... Nadie que sea ... Jamás ... Es falso que... No es el caso que ... Es inconcebible que... Nunca ... No es verdad que Es imposible que ... No ocurre que... Es absurdo que Es erróneo que ... Es mentira que ... No acaece que... De ningún modo … No es el caso que… Es inadmisible que… Es incierto que… Es refutable que… Es falaz que… En modo alguno… Ejemplo: p: INDECOPI es el Instituto Nacional de Defensa de la Competencia y de la Protección de la Propiedad Intelectual. ~p: Es falso que INDECOPI sea el Instituto Nacional de Defensa de la Competencia y de la Protección de la Propiedad Intelectual. Su tabla de verdad es como sigue: p ~p V F F V B. Conjunción: Dadas las proposiciones “p”, “q”. La conjunción es el resultado de unir estas proposiciones con el conectivo lógico “y”. Se denota con el símbolo: “ ”, “ ”, se escribe “p q”, “p q” y se lee: “p y q”. La proposición conjuntiva es verdadera. Cuando las dos proposiciones son verdaderas. En nuestro lenguaje podemos emplear: Pero Aun cuando No obstante Sin embargo Al igual que Aunque Además Tanto …. como …. Más aún A la vez Siempre ambos…. con….. También Incluso No sólo….sino también…. Es compatible con Así como A pesar de Así mismo Del mismo modo ….con …. los dos a la vez De la misma forma que Docente: Wilderd Alejandro Cabanillas Campos 1
  • 2. Competencia UNIVERSIDAD SEÑOR DE SIPÁN Lógico Matemática PIMENTEL – CHICLAYO Ejemplo: Consideremos las siguientes proposiciones: p: “Roxana estudia” q: “Roxana escucha música” De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: Roxana estudia al mismo tiempo que escucha música Su tabla de verdad es como sigue: p q p q V V V V F F F V F F F F C. Disyunción: Es una proposición compuesta formada por “p” y por “q” relacionadas por el conectivo lógico “o”. Según el sentido del conectivo “o”, se puede interpretar de dos maneras: inclusiva o exclusiva. Disyunción Inclusiva o Débil: Se denota por “p q”, “p + q” y se lee: “p o q”. La disyunción inclusiva es falsa sólo en el caso que ambas proporciones sean falsas. Se conoce como la suma lógica. Otras formas de conexión que nos indican una disyunción inclusiva son: A menos que O en todo caso Excepto que O también Salvo que O incluso A no ser que O bien Y bien o también Al menos uno de los dos …. o …. O sino Alternativamente Ejemplo: Consideremos: p: “Mañana estudiaremos Química” p q p q q: “Mañana estudiaremos Física” V V V De tal manera que la representación del enunciado anterior usando V F V simbología lógica queda indicado por: F V V p q: Mañana estudiaremos Química o sino estudiaremos Física F F F Su tabla de verdad es como sigue: Disyunción Exclusiva o Fuerte: Se denota por: “p q”, “p v q”, “p q”, “p q”, “p q” y se lee: “p o q” pero no ambos. La disyunción exclusiva es verdadera sólo cuando una de las proposiciones es verdadera. Algunas formas de conectivos a emplear son: O ... o ... ... no equivale a ... O bien ... o bien ... No es cierto que...equivale a... No es equivalente ... con ... O solo .... o solo .... ....a menos que solamente... ...salvo que únicamente... ....excepto que sólo.... ....o bien necesariamente.... ....o exclusivamente.... ....no es idéntico a.... ....no es lo mismo que... Salvo que .... o .... Docente: Wilderd Alejandro Cabanillas Campos 2
  • 3. Competencia UNIVERSIDAD SEÑOR DE SIPÁN Lógico Matemática PIMENTEL – CHICLAYO Ejemplo: Consideremos: p q p q p: “Este año viajaré al extranjero” q: “Viajo a Lima” V V F De tal manera que la representación del enunciado anterior usando simbología lógica V F V queda indicado por: F V V p q: “Este año viajaré al extranjero salvo que únicamente viaje a Lima” F F F Por lo tanto su tabla de verdad es: D. Condicional: Proposición compuesta que resulta de la combinación de dos proposiciones simples, a través del conectivo: “Si ..., entonces ...” y su símbolo es : “ ”, “ ”. La notación “p q”, “p q” se lee “Si p, entonces q”. La proposición “p” se llama antecedente o hipótesis y la proposición “q” se llama consecuente o conclusión. La manera de expresar la condicional en el orden antecedente- consecuente (“p q” Implicación directa), son las siguientes: Si p, entonces q p por tanto q Siempre que p entonces q p por consiguiente q p es suficiente para q p por ende q p implica q p por conclusión q Ya que p bien se ve que q Dado que p por eso q En cuanto p por tanto q Porque p por eso q Puede también expresarse en el orden consecuente-antecedente (“q p”) Implicación inversa. q si p q es implicada para p q de modo que p q siempre que p q cada vez que p q puesto que p q es necesario para p q en vista que p q porque p Sólo si p, q Sólo cuando p, q Solamente porque p, q q dado que p q ya que p q cada vez que p q a condición de que p q dado que p q se concluye de p q supone que p q sigue de p Únicamente si p, q Ejemplo: consideremos: p: “La producción es buena” q: “Habrá mayor rentabilidad en la empresa” p q p q De tal manera que la representación del enunciado anterior usando simbología lógica V V V queda indicado por: V F F p q: “Si la producción es buena, habrá mayor rentabilidad en la empresa” F V V q p: “Habrá mayor rentabilidad en la empresa siempre que la producción sea F F V buena“ Su tabla de verdad queda de la siguiente manera: Docente: Wilderd Alejandro Cabanillas Campos 3
  • 4. Competencia UNIVERSIDAD SEÑOR DE SIPÁN Lógico Matemática PIMENTEL – CHICLAYO E.- Bicondicional: Cuando dos proposiciones están unidas por el conectivo lógico “...si y sólo si...”, cuyo símbolo es: “ ”, “ ”, “ ”. La proposición compuesta se denota por: “p q”, “p q”, “p q” y se lee: “p sí y sólo si q”. La proposición bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. También se suele emplear expresiones como: …siempre y cuando… Es suficiente para que suficiente sea …es equivalente a… Es condición necesaria y suficiente para …es lo mismo que… …por lo cual y según lo cual… …cuando y sólo cuando… …cada vez que y sólo si… Si y sólo si p, q …si de la forma… …siempre que y sólo cuando… …implica y está implicado por… …es idéntico a… Siempre que … y siempre que … Ejemplo: Consideremos: p: “El que yo te sonría” p q p q q: “Yo te enamore” V V V De tal manera que la representación del enunciado anterior usando simbología lógica V F F queda indicado por: F V F p q: El que yo te sonría es lo mismo que yo te enamore. F F V Su tabla de verdad queda de la siguiente manera: 1.2. Notación Proposicional En lógica nos interesa saber cómo están combinadas las proposiciones, y no nos interesa en absoluto su significado. Por ello necesitamos unos símbolos que prescindiendo del significado de las proposiciones nos indiquen la forma en que se combinan. Estos símbolos constituyen un lenguaje formal. Las proposiciones atómicas pueden ser sustituidas por letras minúsculas p, q, r, etc., denominadas variables proposicionales. La operación consiste en sustituir las expresiones del lenguaje natural por símbolos lógicos, a la cual llamaremos formalización y la proposición debidamente formalizada la llamaremos fórmula. Ejemplos: 1. Mario Vargas Llosa obtuvo el Premio Nobel de Literatura 2010. Fórmula será simplemente: p 2. Democracia significa un modo de vida en el que la libertad y la justicia están presentes. p = Democracia significa un modo de vida en el que la libertad está presente q = Democracia significa un modo de vida en el que la justicia está presente Fórmula: p ∧ q 3. O está lloviendo y garuando, o está soplando el viento. p= Está lloviendo; q =Está garuando; r = Está soplando el viento Fórmula: (p ∧ q) r 4. Si Pablo se queda, entonces Luis se va. p= Pablo se queda; q= Luis se va Docente: Wilderd Alejandro Cabanillas Campos 4
  • 5. Competencia UNIVERSIDAD SEÑOR DE SIPÁN Lógico Matemática PIMENTEL – CHICLAYO Fórmula: p → q 5. Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad. p = cientos de vidas pueden salvarse cada año; q= La gente utiliza el cinturón de seguridad Fórmula: q → p 6. No es el caso que, si la luna está hecha de queso verde, entonces los vehículos espaciales no pueden alunizar en ella. p= La luna está hecha de queso verde; q= Los vehículos espaciales pueden alunizar en la luna Fórmula: ¬(p → ¬q) 7. Si los verdaderos amigos tienen todo en común, entonces tú no puedes ser más rico que tu compañero si dices que son verdaderos amigos. p= Los verdaderos amigos tienen todo en común q= Puedes ser más rico que tu compañero r= Dices que tú y tu compañero son verdaderos amigos. Fórmula: p → (r → q) 8. Dos es un número primo porque sólo es divisible por sí mismo y por la unidad. p = 2 es un número primo q = 2 es divisible por sí mismo r = 2 es divisible por la unidad Fórmula: p ↔ (q ∧ r) 9. Decir que la suma de sucesiones positivas es una sucesión positiva y el producto de sucesiones positivas es una sucesión positiva equivale a decir que la suma y el producto de dos números reales positivos es un número real positivo. p = La suma de sucesiones positivas es una sucesión positiva q = El producto de sucesiones positivas es una sucesión positiva r = La suma de dos números reales positivos es un número real positivo s = El producto de dos números reales positivos es un número real positivo. Fórmula: (p ∧ q) ↔ (r ∧ s) 10. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente después de cada parto la sangre del recién nacido y, si ésta es Rh positivo, ha de administrarse a la parturienta el suero apropiado si se desea evitar complicaciones a otros hijos. p = El Rh de la futura madre es negativo. q = La sangre del recién nacido debe analizarse inmediatamente después de cada parto r = La sangre del recién nacido es Rh positivo s = Ha de administrarse a la parturienta el suero apropiado. t = Se desea evitar complicaciones a otros hijos. Fórmula: (p → q) ∧ (r → (t → s)) 1.3. Valoración de las Proposiciones Para determinar la valoración de las proposiciones moleculares, es necesario tener en cuenta las tablas de verdad. Considere los siguientes ejemplos: a) “Los virus son alternados no obstante son virulentos. Por tanto tienen una clasificación” Tenemos las proposiciones: p: “Los virus son alternados” q: “Los virus son virulentos” r: “Tienen una clasificación” Se formaliza por: (p q) r Docente: Wilderd Alejandro Cabanillas Campos 5
  • 6. Competencia UNIVERSIDAD SEÑOR DE SIPÁN Lógico Matemática PIMENTEL – CHICLAYO Luego: como se puede observar el esquema molecular tiene 3 proposiciones simples, es decir que para este caso se tiene: 2 3 = 8 asignaciones posibles para los valores de verdad en total. La tabla de verdad para el esquema molecular, está dada por: p q r (p q) r V V V V V V V V F V F F V F V F V V V F F F V F F V V F V V F V F F V F F F V F V V F F F F V F 1 3 2 b) Siempre que se apruebe el crédito entonces compraré el departamento; sin embargo se aprueba el crédito. Por tanto compraré el departamento. Sean las proposiciones: p: “Se aprueba el crédito” q: “Compraré el departamento” Se formaliza por: [(p q) p] q La tabla de verdad para el esquema molecular, está dada por: p q [(p q) p] q V V V V V V V V F F F V V F F V V F V V V F F V F V V F 1 3 2 c) La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en economía buscan soluciones, a pesar de que la crisis mundial no afecta a los países de bajos recursos. Tenemos las proposiciones: p: “La crisis mundial afecta a los países de bajos recursos económicos” q: “Los analistas en economía buscan soluciones” p: “La crisis mundial no afecta a los países de bajos recursos p q (p q) p económicos” V V V F F Se formaliza por: (p q) p V F F F F F V F F V La tabla de verdad para el esquema molecular, está dada por: F F F F V Como podemos apreciar las proposiciones, las expresamos en forma simbólica; a su vez que podemos encontrar sus valores de verdad. Con el fin de diferenciar los valores resultados de las expresiones, se definen los siguientes conceptos: A. Tautología: Una expresión es tautológica, cuando los valores de su conectivo principal resultan ser verdaderos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (b). Docente: Wilderd Alejandro Cabanillas Campos 6
  • 7. Competencia UNIVERSIDAD SEÑOR DE SIPÁN Lógico Matemática PIMENTEL – CHICLAYO B. Contradicción: La expresión resulta ser una contradicción, cuando los valores de su conectivo principal resultan ser falsos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (c). C. Contingencia: Aquella expresión, que en su conectivo principal resulten valores verdaderos y falsos a la vez, para todas las posibles asignaciones de la tabla de verdad. Ver ejemplo (a). ACTIVIDADES 1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es: tautología, contradicción o contingencia. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 2. A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente: 1. Si p es una proposición falsa, determinar el valor de verdad de: 2. Si es Falsa. Determine los valores de verdad de: a) b) c) d) 3. Si es verdadera. Determine los valores de verdad de: a) b) c) 4. Determinar el valor de verdad de la proposición molecular sabiendo que p es verdadera, q y r falsas. Hallar su valor de verdad. 5. Si la proposición es falsa, deduzca el valor de verdad de los esquemas moleculares: a) b) c) 6. Si p y r son dos proposiciones cualesquiera y q: “2 es número impar”, y es verdadera entonces el valor de verdad de los siguientes esquemas moleculares es: a) b) ACTIVIDADES DE EVALUACIÓN 1. Escribe en forma simbólica, identificando cada una de las proposiciones atómicas que aparezca en las afirmaciones siguientes: 1. Esta fiesta es muy divertida y la música es muy buena, por lo cual y según lo cual todos la pasaron de maravilla. 2. Me gusta bailar y leer libros de ciencia ficción, más aún si la música es merengue a no ser que no baile. 3. Si no estoy equivocado, ella conducía un carro rojo, y había un hombre sentado a su lado. Docente: Wilderd Alejandro Cabanillas Campos 7
  • 8. Competencia UNIVERSIDAD SEÑOR DE SIPÁN Lógico Matemática PIMENTEL – CHICLAYO 4. Dos niños tienen los mismos apellidos si y sólo si tienen la misma madre y el mismo padre. 5. O Hugo tiene razón, o María y Carlos son o ambos culpables o ambos son inocentes 6. Si se ganan las elecciones y nuestros representantes acceden al poder, confiaremos en ellos si y sólo si cumplen sus promesas y el poder no les corrompe. 7. El abogado no es justo ni competente, a condición de que es falso que no haya consultado con los peritos sobre la cotización del inmueble embargado. 8. Es inobjetable que, una condición suficiente para que los países europeos tengan baja inflación por lo tanto estabilidad económica, es que sus gobiernos tienen programas estratégicos de crecimiento así como modelos económicos. 9. Subirán los intereses bancarios porque subirá la cotización del dólar, en vista de que, subirá la cotización del dólar sólo si el gobierno no puede controlar la inflación. 10. Los candidatos mienten en sus promesas y el pueblo les cree pero si hablaran la verdad el pueblo no les creería, es por eso que el Perú está como país subdesarrollado. 2. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es: tautología, contradicción o contingencia. 1. 2. 3. 4. 5. 6. 7. 3. A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente: Si la proposición: , es falsa. Determine los valores de verdad de “p”, “q”, “r” y “s” 4. Si la proposición: p (q r) es falsa y la proposición s es verdadera. ¿Cuáles de las siguientes proposiciones son verdaderas? I) II) III) IV) 5. Si el esquema molecular: es verdadero, determine los valores de verdad de: a) b) c) Docente: Wilderd Alejandro Cabanillas Campos 8