FUNDAMENTOS DE LOGICA MATEMATICA Por: Wilson Arias Centro de estudios heisenberg Quito - Ecuador w_arias@yahoo.

com

LOGICA MATEMATICA .

2

CONTENIDO
1.1 Introducción …………………………………………………...……………………............... 1.2 Proposiciones ……………………………...…………....................................................... 1.3 Tipos de proposiciones ……………………………...…………………............................... 1.4 Conectivos lógicos ……………………………...…………………...................................... 1.5 Tautologías, Contradicciones y Contingencias …………………..................................... 1.6 Principales leyes tautológicas ……………………………...…………………..................... 1.7 La inferencia lógica o argumento lógico ……………………………...…………………..... 1.8 Inferencias válidas notables ……………………………...…………………....................... 1.9 Método abreviado …………………………………………………………………................. 1.10 Lógica cuantificacional ……………………………...………………………………………. 1.11 Métodos de demostración ……………………………...…………………......................... 2 2 2 3 5 7 9 9 11 23 26

LOGICA MATEMATICA .

3

1. LOGICA MATEMATICA
1.1. INTRODUCCIÓN
La lógica estudia la forma del razonamiento (a lo que se le denomina lógica formal), es una disciplina que por medio de reglas y técnicas determina si un argumento es válido, sin importar la verdad o falsedad de los enunciados que lo componen. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En las matemáticas para demostrar teoremas e inferir resultados matemáticos que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por ejemplo; si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, todo esto es la aplicación de la lógica.

1.2. PROPOSICIONES
Una proposición o enunciado es una oración que puede ser calificada como falsa o verdadera pero no ambas a la vez. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. EJEMPLOS p: La tierra es redonda. Es una proposición pues podemos razonar si es verdadero o falso q: -15 + 30 = 15 Es una proposición pues podemos decir si esta igualdad es verdadera o falsa r: x > y - 9 No es proposición. Pero si le asignamos un valor a las variables se convierte en una proposición.

s: El Nacional será campeón en este año. Es una proposición, aunque para determinar si es verdadera o falsa es necesario esperar que termine el campeonato

t: Adiós No es una proposición, no se puede determinar si es verdadera o falsa

w: Lava el coche por favor. No es una proposición, no se puede determinar si es verdadera o falsa

1.3. TIPOS DE PROPOSICIONES
a) PROPOSICIONES SIMPLES: Son aquellas que no contienen ningún conectivo lógico o término de enlace (y, o, no, etc.) Ejemplo: • 7 es número impar

b) PROPOSICIONES COMPUESTAS O MOLECULARES: Son proposiciones que contienen al menos un conectivo lógico. La forma de las proposiciones compuestas depende del término de enlace utilizado, y no del contenido de la proposición o proposiciones simples. Ejemplo: • • “9 es un número impar” y “Guayaquil es la capital de la provincia del Guayas”. “Si 9 es número impar” entonces “8 es un número par”

VALOR DE VERDAD DE UNA PROPOSICION: Se denomina así a la verdad o falsedad de su contenido

“sin embargo”.4. pero se trata de una proposición compuesta. En este último caso las dos "o" son parte del mismo término de enlace y la forma de la proposición es: P o Q. Q V F V F PvQ V V V F La primera proposición es verdadera y la segunda es falsa. siendo los más importantes los que se detallan a continuación. CONECTIVOS LOGICOS Son expresiones que sirven para unir dos o más proposiciones. puede pasar inadvertida. Ejemplo: “El día no está caluroso”. entonces: V v F= V ( De acuerdo a la tabla V v F= V ) EJEMPLO La expresión: “Es tarde o está muy oscuro”. “además”. La notación matemática utilizada es ~P. que también unen proposiciones conjuntivamente y se pueden simbolizar por “ ∧ ”. también puede expresarse como: “O es tarde o está muy oscuro”. entonces la negación de P es otra proposición a la que se le antepone la palabra “no” o “no es cierto”. . entonces la negación es: Quito no es frío (F) Cuando la palabra "no" se encuentra en el interior de una proposición simple. CONJUNCION ( ∧ ): Es un conectivo lógico que une dos proposiciones simples para formar una proposición compuesta. “a la vez”. TABLA DE VERDAD P V V F F EJEMPLO: Hallar el valor de verdad de: P :: 3 > 2 y Q:: “ Loja está ubicada en el norte del Ecuador”. NEGACION ( ~ ): Dada una proposición P. “aunque”. 3.LOGICA MATEMATICA . Puede presentarse como: “No ocurre que el día esté caluroso” ~P F V 2. TABLA DE VERDAD P V V F F EJEMPLO: Hallar el valor de verdad de: P :: 3 + 2 = 5 ó Q:: “ Ambato es la capital del Ecuador”. “. es decir “P ∧ Q” que se lee “P y Q”. 1. TABLA DE VERDAD P V F EJEMPLO Quito es frío (V). la unión se realiza con nexo “o” cuyo símbolo es v. 4 1. “no obstante”. Q V F V F P∧Q V F F F La primera proposición es verdadera y la segunda es falsa entonces: V ∧ F=F ( De acuerdo a la tabla V ∧ F=F ) Nota: Hay palabras como “pero”. es decir “p v q” que se lee “p o q”.”. DISYUNCION ( v ): Es un conectivo lógico que unes dos proposiciones simples para formar una proposición compuesta. la unión se realiza con nexo “y” cuyo símbolo es ∧ . etc.

LOGICA MATEMATICA . entonces Q”. “ya que”. TABLA DE VERDAD P V V F F Q V F V F P|Q F V V V La proposición de Shaffer es la negación de la conjunción. Q V F V F P→ Q V F V V Solución: La implicación quiere decir que “si 3 – 2 = 1” entonces “Sebastián de Benalcazar fundó la ciudad de Quito”. En este ejemplo puede suprimirse la palabra "entonces" y reemplazarse por una ". TABLA DE VERDAD P V V F F EJEMPLO: Hallar el valor de verdad de: P :: 3 − 2 = 1 y Q:: “ Sebastián de Benalcazar fundó la ciudad de Quito”. “puesto que”. BICONDICIONAL ( ↔ ): La doble implicación o bicondicional de dos proposiciones P y Q. llego temprano. es la proposición compuesta mediante el conectivo lógico “si y solo si” que se simboliza como P ↔ Q o lo que es lo mismo ( P → Q ∧ Q → P ) . A la expresión P se le denomina antecedente y a Q consecuente. “cada vez que”. Q es verdadera (V) . CONDICIONAL ( → ): Si p y q son proposiciones. el conectivo lógico condicional o implicación nos da una nueva proposición P → Q que se lee “P entonces Q” o “P condición Q” o “si P. es la proposición compuesta mediante el conectivo lógico “o” que se simboliza como P∆Q o también P v Q. lo que es equivalente a (p ∨ q)∧ ~ (p ∧ q) . ed. etc. P es verdadera (V) . 5 4. TABLA DE VERDAD P V V F F Q V F V F P↔Q V F F V V V = V ( De acuerdo a la tabla V V = V) 6.: p | q = ~ (p ∧ q) . la proposición de shaffer respecto a “p” y “q” se denota “p | q” y se lee “p incompatible con q”. entonces: EJEMPLO: Si madrugo entonces llego temprano." así: Si madrugo. DISYUNCION EXCLUSIVA ( ∆ o v ): La disyunción exclusiva de dos proposiciones P y Q. La proposición P → Q por definición equivale ~P v Q. “cuando”. Nota: También son conectivos condicionales los términos “por que”. 5. TABLA DE VERDAD P V V F F Q V F V F P∆Q F V V F 7. BARRA DE SHAFFER O DE INCOMPATIBILIDAD ( | ): Siendo “p” y “q” dos proposiciones cualesquiera.

: p ↓ q =~ (p ∨ q) PRECEDENCIA DE LOS CONECTIVOS LOGICOS Si una proposición compuesta tiene varios conectivos lógicos y no posee signos de puntuación o paréntesis. Ejemplos: P V F V V b) CONTRADICCIONES a) P∧~P ≡ F ~P F V P ∧ ~P F F b) ~P ↔ P ≡ F ~P F V P V F P↔P Son proposiciones compuestas que siempre son falsas cualquiera que sea el valor de las proposiciones componentes. CONTRADICCIONES Y CONTINGENCIAS Evaluar una fórmula proposicional es determinar el grado de validez de la misma para sus distintos valores. TABLA DE VERDAD P V V F F Q V F V F P|Q F F F V La proposición de Nicod es la negación de la disyunción.LOGICA MATEMATICA . ∧ . v . FLECHA DE NICOD O DE NEGACION CONJUNTA ( ↓ ): Siendo “p” y “q” dos proposiciones cualesquiera. Ejemplo: P V V F F IMPLICACION LOGICA: Se denomina así a toda proposición condicional P Q que sea una tautología. 6 8. Los tres casos son. TAUTOLOGIAS. ed. → . Ejemplo: P V F F F c) CONTINGENCIAS a) P ∧ Q Q V F V F P∧Q V F F F Son proposiciones compuestas que en algunos casos son verdaderas y en otros casos son falsas. EJEMPLO: p ∨ q → ~ q equivale a (p ∨ q) → (~ q) 1.5. la proposición de Nicod se simboliza: p ↓ q y se lee “ni p ni q”. PROPOSICIONES LOGICAMENTE EQUIVALENTES: Cuando las tablas de verdad de dos proposiciones P y Q son idénticos se denominan equivalentes (o lógicamente equivalentes) en tal caso se simboliza en la forma P ≡ Q. ↔ ) y agrupar para evitar ambigüedades. para poder operar es necesario considerar el siguiente orden: ( ~. ∨ . . a) TAUTOLOGIA a) P v ~P ≡ V ~P F V P v ~P V V b) P ↔ P ≡ V P V F P V F P↔P Son proposiciones compuestas que siempre son verdaderos cualquiera que sea el valor de las proposiciones componentes. EQUIVALENCIA LOGICA: Se denomina así a toda proposición bicondicional P ↔ Q que sea una tautología.

contradicción o contingencia ~(p →~q) ∨ (p ∨ ~q) Solución p q ~q (p → ~q) ~(p → ~q) (p ∨ ~q) ~(p →~q) ∨ (p ∨ ~q) 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 En conclusión. se trata de una contingencia EJEMPLO 2 Halle el valor de verdad de la siguiente proposición: [(p v q) ∧ r] → ~q ∧ p p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 (p v q) 1 1 1 1 1 1 0 0 (p v q) ∧ r 1 0 1 0 1 0 0 0 ~q 0 0 1 1 0 0 1 1 ~q ∧ r 0 0 1 0 0 0 1 0 [(p v q) ∧ r] → ~q ∧ p 0 1 1 1 0 1 1 1 Se trata de una contingencia EJEMPLO 3 Use la tabla de verdad para decidir si la siguiente proposición es una tautología. contradicción o contingencia [p → ( { ( r → t) v q } ∧ p) ] ∧ ( p ∧ ( t→ p ) ) t→ p 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 p ∧ (t → p) 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 Exp 1 ∧ Exp 2 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 p q r t (r → t) (r → t) v q [(r → t) v q] ∧ p p → [(r → t) v q] ∧ p 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 Se concluye que la expresión es una contingencia .LOGICA MATEMATICA . contradicción o contingencia [~p ∧ (p → q)] → q p 1 1 0 0 q 1 0 1 0 ~p 0 1 0 1 p→ q 1 0 1 1 ~p ∧ (p → q) 0 0 0 1 [~p ∧ (p → q)] → q 1 1 1 0 De la tabla se concluye que se trata de una contingencia EJEMPLO 4 Use la tabla de verdad para decidir si la siguiente proposición es una tautología. 7 EJEMPLO 1 Use la tabla de verdad para decidir si la siguiente proposición es una tautología.

...... 8 1.p n ) → r ≡ (p1 ∧ p 2 ∧ . no hay tercera posibilidad EQUIVALENCIAS NOTABLES • Ley de la doble negación a) ~ (~ p) ≡ p • Ley de idempotencia a) (p ∧ p) ≡ p b) (p ∨ p) ≡ p • Ley conmutativa a) (p ∧ q) ≡ (q ∧ p) b) (p ∨ q) ≡ (q ∨ p) c) (p ↔ q) ≡ (q ↔ p) • Ley asociativa a) p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r b) p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r c) p ↔ (q ↔ r) ≡ (p ↔ q) ↔ r • Ley distributiva a) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) d) p → (q ∨ r) ≡ (p → q) ∨ (p → r) b) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) c) p → (q ∧ r) ≡ (p → q) ∧ (p → r) • Leyes De Morgan a) ~ (p ∧ q) ≡ (~ p ∨ ~ q) b) ~ (p ∨ q) ≡ (~ p ∧ ~ q) • Leyes del condicional a) p → q ≡~ p ∨ q b) ~ (p → q) ≡ (p ∧ ~ q) • Leyes del bicondicional a) p ↔ q ≡ (p → q) ∧ (q → p) b) p ↔ q ≡ (p ∧ q) ∨ (~ p ∧ ~ q) c) p ↔ q ≡ ~(p v q) • Leyes de Absorción a) p ∧ (p ∨ q) ≡ p d) p ∨ (~ p ∧ q) ≡ p ∨ q b) p ∨ (p ∧ q) ≡ p e) p ∨ (p ∧ ~ q) ≡ p c) p ∧ (~ p ∨ q) ≡ p ∧ q f) p ∧ (p ∨ ~ q) ≡ p • Leyes de transposición a) p → q ≡~ q → ~ p b) p ↔ q ≡ ~ q ↔ ~ p • Leyes de Exportación a) (p ∧ q) → r ≡ p → (q → r) b) (p1 ∧ p 2 ∧ ...6.p n −1 ) → (p n → r) • Leyes de Complementación a) p ∨ ~ p ≡ V b) p ∧ ~ p ≡ F • Elementos neutros para la conjunción y disyunción a) p ∧ V ≡ p c) p ∨ V ≡ V b) p ∧ F ≡ F d) p ∨ F ≡ p • Diferencia Simétrica a) p ∆ q ≡ (p ∨ q)∧ ~ (p ∧ q) • Otras a) (p ∨ q) ∧ (p∨ ~ q) ≡ p b) (p ∧ q) ∨ (p ∧ ~ q) ≡ p c) p → ( p ∨ q ) ≡ V .LOGICA MATEMATICA . PRINCIPALES LEYES LOGICAS Y TAUTOLOGICAS PRINCIPIOS LOGICOS • Ley de Identidad p→p p ↔ p Una proposición solo son idénticos a sí mismos • Ley de no contradicción ~ ( p ∧ ~ p ) Una proposición no puede ser verdadero y falso a la vez • Ley del tercio excluido ( p ∨ ~ p ) Una proposición es verdadera o falsa.

9 EJEMPLO 2 Reducir la expresión: (p ∧ q) → (p ∨ q) Solución: (p ∧ q) → (p ∨ q) EJEMPLO 1 Reducir la expresión: [(p → q) ∧ q] → p Solución: [(p → q) ∧ q] → p ~[(p → q) ∧ q] ∨ p [~(p → q)∨ ~ q] ∨ p [(p∧~q)∨ ~ q] ∨ p [~q ∨ (~q ∧ p)] ∨ p (~q) ∨ p q→p Ley del condicional Ley de Morgan Ley del condicional Ley conmutativa Ley de absorción Ley del condicional ~(p ∧ q) ∨ (p ∨ q) (~p∨ ~ q) ∨ (p ∨ q) (~p ∨ p) ∨ (~ q ∨ q) Ley del condicional Ley de Morgan Ley asociativa Ley de complementación Ley de idempotencia V∨V V EJEMPLO 3 Reducir la expresión: (p ∧ q) → p Solución: (p ∧ q) → p ~(p ∧ q) ∨ p (~p∨ ~ q) ∨ p (~p ∨ p)∨ ~ q EJEMPLO 4 Simplificar la siguiente proposición: (~ p ↔ ~ q) → p Solución: (~ p ↔ ~ q) → p Ley del condicional Ley de Morgan Ley asociativa Ley de elementos neutros Ley de elementos neutros [(~ p →~ q) ∧ (~ q →~ p)] → p Ley bicondicional ~ [(p∨ ~ q) ∧ (q ∨ ~ p)] ∨ p [~ (p∨ ~ q)∨ ~ (q ∨ ~ p)] ∨ p [(~ p ∧ q) ∨ (~ q ∧ p)] ∨ p (~ p ∧ q) ∨ [(~ q ∧ p) ∨ p] (q ∧ ~ p) ∨ p Ley condicional De Morgan De Morgan Asociativa Absorción Absorción V∨ ~ q V p∨q EJEMPLO 5 Reducir la expresión: ([p → (p ∨ q)] ∧ q) → (p ∨ q) Solución: ([p → (p ∨ q)] ∧ q) → (p ∨ q) ([~p ∨ (p ∨ q)] ∧ q) → (p ∨ q) EJEMPLO 6 Reducir la expresión: (p∨ ~ q) → (~ p →~ q) Solución: (p∨ ~ q) → (~ p →~ q) Ley del condicional ~ (p∨ ~ q) ∨ (p∨ ~ q) (~ p ∧ q) ∨ (p∨ ~ q) [(q ∧ ~ p) ∨ p]∨ ~ q (q ∨ p)∨ ~ q p ∨ (q ∨ ~ q) p∨V Ley del condicional Ley de Morgan Ley asociativa Ley de absorción Ley asociativa Elemento neutro Elemento neutro ([(~p ∨ p) ∨ q)] ∧ q) → (p ∨ q) Ley asociativa ([V ∨ q)] ∧ q) → (p ∨ q) (V ∧ q) → (p ∨ q) Ley de complementación Ley de elementos neutros Ley de elementos neutros Ley del condicional Ley asociativa Ley de elementos neutros Ley de elementos neutros q → (p ∨ q) q∨ ~ (p ∨ q) (q ∨ ~ p) ∨ q V∨q V V EJEMPLO 7 Simplificar la expresión: p∧ ~ q →~ p Solución p∧ ~ q →~ p ≡ (p∧ ~ q) →~ p ≡ ~(p∧ ~ q)∨ ~ p Agrupamiento y ley del condicional (~p ∨ q)∨ ~ p ≡ q ∨ (~p∨ ~ p) q∨ ~p p→q Ley de Morgan y asociativa Ley de idempotencia Ley del condicional .LOGICA MATEMATICA .

. p2. entonces su conclusión también es verdadera. y que son falsas cuando al menos una de ellas sea falsa... A continuación proporcionamos tres formas equivalentes de establecer este criterio de validez: Si las premisas de un argumento válido son verdaderas.LOGICA MATEMATICA .. EL RAZONAMIENTO O INFERENCIA LOGICA (LOGICA INFERENCIAL) La idea de inferencia se puede expresar diciendo que. "Platero es un burro". Por tanto. en tanto que conjuntos de proposiciones. son verdaderas sólo cuando todas y cada una de ellas sean verdaderas. lo esencial para determinar si un argumento es o no válido es analizar su forma o estructura (independientemente de su contenido material). en este caso es posible que la conclusión sea falsa mientras que las premisas son verdaderas. Todo problema que se resuelve usando inferencia lógica tiene la forma: (p1 ∧ p 2 ∧ . de proposiciones verdaderas (premisas verdaderas) se obtienen solo conclusiones que son verdaderas. En un argumento válido. entonces es inválido. Luego "Platero vuela". . Para saber si un razonamiento es o no válido sin necesidad de traducirlo al lenguaje natural se pueden usar tablas de verdad. o las leyes lógicas (inferencias válidas). ∧ p n ) → q o también: . 1.... pero que sólo podemos garantizar la verdad de la conclusión haciendo una inferencia válida a partir de premisas verdaderas.. INFERENCIAS VALIDAS NOTABLES • Ley de Modus Ponendo Ponens: [(p → q) ∧ p] → q P1 : p→q p ∴q P2 : También se escribe como: • Ley de Modus Tollendo Tollens: [(p → q) ∧ (~ q)] → (~ p) P1 : p → q P2 : ~q ∴ ~p También se escribe como: • Ley del Silogismo Hipotético: [(p → q) ∧ (q → r)] → (p → r) P1 : p → q P2 : q → r ∴ p→r También se escribe como: . ….. Fíjate que la validez de la inferencia de un argumento deductivo es independiente de la verdad de sus premisas. p1 . Es imposible que la conclusión de un argumento válido sea falsa siendo sus premisas verdaderas. la verdad de las premisas es incompatible con la falsedad de la conclusión En este contexto también consideraremos que las premisas. Todos los burros vuelan".. p 2 . Cuando un argumento no es válido. VALIDEZ DE UNA INFERENCIA La lógica se ocupa principalmente de establecer una clara distinción entre razonamientos válidos y razonamientos inválidos. A la lógica sólo le importa la validez formal..8. Incluso puede ocurrir que en un argumento inválido (la inferencia es incorrecta) las premisas sean verdaderas y la conclusión sea verdadera o falsa. Los razonamientos válidos son aquellos en los que la inferencia entre las premisas y la conclusión es perfecta. A continuación tenemos un razonamiento que es válido pero materialmente falso. la cual también se llama argumento lógico. p n → q donde las proposiciones p1. Pn se llaman premisas y que originan como consecuencia otra proposición q llamada conclusión.7. 10 1.

a partir de las premisas: P1: p ∨ q → p P2: q ∨ p Solución P1: p ∨ q → p ≡ ~ (p ∨ q) ∨ p ≡ (~ p ∧ ~ q) ∨ p ≡ ~ q ∨ p Entonces: P1: ~ q ∨ p P2: q ∨ p C1: ~ q ∨ p Por ley simplificación C1: q → p Ley condicional EJEMPLO 3 Demostrar la siguiente conclusión: ~ p → r . a partir de las premisas: P1: p∨ ~ s P2: ~ r → s . p) → q ∧ p P1 : q P2 : p ∴q ∧ p EJEMPLO 1 Demostrar la siguiente conclusión r → ~ q a partir de las premisas. P1: ~ (r ∧ s) P2: q → s Solución P1: ~ (r ∧ s) ≡ ~ r ∨ ~ s ≡ r →~ s P2: q → s ≡ ~ s →~ q En conclusion P1: r → ~ s P2: ~ s → ~ q C1: r→~q Ley de Silogismo Hipotético EJEMPLO 2 Hallar la siguiente conclusión: q → p . 11 a) [(p ∨ q) ∧ (~ p)] → q P1 : p∨q • Ley Módus Tollendo Ponens: b) [(p ∨ q) ∧ (~ q)] → p P1 : p ∨ q P2 : ~q ∴p También se escribe como: P2 : ~ p ∴q • Ley del Silogismo disyuntivo: [(p → q) ∧ (r → s) ∧ (p ∨ r)] → (q ∨ s) P1 : p → q P2 : r → s P : p∨ r También se escribe como: 3 ∴ q∨s P1 : p → q P2 : r → q P3 : p ∨ r ∴q Caso particular: • Ley de Simplificación o eliminación de la conjunción: a) p ∧ q → p También se escribe como: P1 : p ∧ q ∴p P1 : p ∧ q ∴q b) p ∧ q → q • Ley de Simplificación conjuntiva: a) (p ∧ q) ∧ q → p P1 : p∧q q ∴p P2 : b) (p ∧ q) ∧ p → q P1 : p ∧ q P2 : p ∴q También se escribe como: • Ley de Adjunción o adición de la conjunción: a) (p.LOGICA MATEMATICA . q) → p ∧ q P1 : p P2 : q ∴p ∧ q b) (q.

. no hay contradicción por lo tanto no es una inferencia válida.. Los pasos a seguir son: 1. EJEMPLO: Analice la inferencia [(p → q) ∧ q] → p Solución: Analizando cada premisa Donde: p es F y q es V Como podemos observar. v.. existe otra forma de conocer la validez de una inferencia (p1 ∧ p 2 ∧ .. haciendo cada vez más difícil su resolución. entonces la inferencia no es válida. por ello aparte de la tabla de valores.. también aumenta la complejidad de los mismos.9. entonces quedará demostrado que no es posible que la conjunción de premisas sea V y la conclusión F. 2. . 4. ya que la conjunción de premisas es V y la conclusión es F. METODO ABREVIADO Conforme las inferencias aumentan en número de variables y conectivos.. 12 Solución P1: p∨ ~ s ≡ ~ p →~ s Ley condicional P2: ~ r → s ≡ ~ s → r Ley de transposición Entonces P1: ~ p →~ s P2: ~ s → r C1: ~ p → r Silogismo hipotético EJEMPLO 4 Resolver el siguiente razonamiento P1: ~ p∨ ~ t → s P2: ~ (p ∧ t) Solución: P1: ~ p∨ ~ t → s ≡ P2: ~ (p ∧ t) Entonces P1: (p ∧ t) ∨ s P2: ~ (p ∧ t) C1: s Silogismo disyuntivo ~ (~ p∨ ~ t) ∨ s ≡ (p ∧ t) ∨ s 1. ∧ p n ) → q que se conoce como método abreviado.. . presentar en cada premisa. ∧ p n ) y falso (F) a la conclusión. Si cada una de las variables proporcionales tiene un solo valor. ~ que se puedan 3. es decir: En otras palabras la implicación es falsa solo cuando el antecedente es verdadero (V) y el consecuente es falso (F).. por lo tanto hay implicación y la inferencia es válida. Se asigna el valor de verdad V a cada una de las premisas (p1 ∧ p 2 ∧ ..LOGICA MATEMATICA . Se deduce el valor de cada una de las variables proporcionales teniendo en cuenta las reglas ∧ . p siempre es falsa y q siempre es verdadera.. Este método consiste en analizar la única posibilidad de ser falsa la implicación p → q . Si una variable proporcional llega a tener dos valores a la vez ( V v F).

Solución: P: Jaime es puntual Q: Tomas llega tarde Entonces tenemos: ~ P ∨ Q d) Ni Antonio ni Ana estudian en la Universidad. pierden su forma original. Solución: P: Patinaremos Q: El hielo es demasiado delgado Entonces tenemos: P ↔ ~ Q . julio no es un mes de verano. o Jaime es tesorero. utilizando los símbolos correspondientes a cada término de enlace. Solución: P: Dos ondas se atraviesan Q: Conservan la forma original Entonces tenemos: P →~ Q c) O Jaime no es puntual o Tomás llega tarde. Solución: P: En el hemisferio sur Q: Es verano en Julio Entonces tenemos: P∧ ~ Q b) Si dos ondas se atraviesan.LOGICA MATEMATICA . Solución: P: Pedro es Presidente Q: Juan es tesorero R: Jaime es tesorero Entonces tenemos: (P ∧ Q) ∨ R f) Si este cuadro es negro entonces aquel cuadro es rojo y su rey está sobre el cuadro rojo. a) En el hemisferio sur. Solución: P: Cuadro negro Q: Cuadro rojo R: Rey sobre cuadro rojo Entonces tenemos: P → (Q ∧ R) g) Patinaremos si y sólo si el hielo no es demasiado delgado. Solución: P: Antonio estudia en la Universidad Q: Ana estudia en la Universidad Entonces tenemos: ~ P∧ ~ Q e) O Pedro es presidente y Juan es tesorero. 13 EJERCICIOS RESUELTOS EJERCICIO 1 Simbolizar las proposiciones siguientes.

Pero no saldré del país. Así: ~ u ∨ (w ∧ x) d) Se requiere valor y preparación para escalar esta montaña. t:: ‘lloverá esta noche’. 14 EJERCICIO 2 Escribir las correspondientes sentencias lógicas para las siguientes frases: a) Una relación es una relación de equivalencia si y sólo si es reflexiva. x:: ‘se encuentra un nuevo fármaco’. probablemente será elegido. a:: ‘se escala esta montaña’. Así: r → (s ∨ t) c) El cáncer no se cura al menos que se determine su causa y se encuentre un nuevo fármaco.LOGICA MATEMATICA . simétrica y transitiva’. Así : p ↔ q b) Si la humedad es alta. Solución: Sean: p:: ‘un matrimonio feliz me espera” q:: “recibiré muchos regalos’ s:: ‘me es indiferente la vida’ r:: ‘saldré del país’ Así:: {[p → (q ∨ r)]∧ ~ r } → [~ r → (~ p ∨ s)] . simétrica y transitiva. lloverá esta tarde o esta noche. c:: ‘es un hombre que probablemente será elegido’. Solución: Sean: r:: ‘la humedad es alta’. entonces no me espera un matrimonio feliz o me es indiferente la vida. z:: ‘se requiere preparación’. En consecuencia si no saldré del país. q:: ‘la relación R es reflexiva. Solución: Sean: u:: ‘el cáncer se cura’. Solución: Sean: p:: ‘la relación R es relación de equivalencia’. w:: ‘se determina la causa’. Así: (z ∧ y) → a e) Si es un hombre que hace una campaña dura. Así:: b → c f) Si un matrimonio feliz me espera. Solución: Sean: y:: ‘se requiere valor’. entonces recibiré muchos regalos o saldré del país. s:: ‘lloverá esta tarde ‘. Solución: Sean: b:: ‘es un hombre que hace una campaña dura’.

EJERCICIO 5 Determinar el valor de verdad de los siguientes enunciados a) No es verdad que 3+2=6 o que 3+1=4. . S: El vuelo se retrasó Expresar en el lenguaje ordinario las siguientes proposiciones: P ∧ ((Q → R) ∨ S) a) Solución: Juan viajó en el avión de las 8 a. Q: Pedro llegó a tiempo al aeropuerto. S designan las proposiciones: P: Juan viajó en el avión de las 8 a. y Pedro llegó a tiempo al aeropuerto. si Pedro llegó a tiempo al aeropuerto entonces el proyecto se expuso o el vuelo se retrasó. e) Si. ni está enfermo ni es injuriado.m.m.LOGICA MATEMATICA . Q . b) (P ∧ (Q → R)) ∨ S Solución: O Juan viajó en el avión de las 8 a. entonces el proyecto se expuso ante la junta directiva. Solución: Sea: p:3+2=6 y q: 3+1=4.m. c) Si necesita un doctor y un abogado. (Es obvia la aplicación de una de las leyes de Morgan).m. b) 4 es número par si solo si 3 es número primo Solución: Sea: p: 4 es número par y q: 3 es número primo. no necesita un doctor. EJERCICIO 4 Con la siguiente asignación de significados para las variables proposicionales: p:: necesita un doctor q:: necesita un abogado r:: tiene un accidente s:: está enfermo u:: es injuriado expresar en español las siguientes sentencias: a) (s → p) ∧ (r → q) b) p → (s ∨ u) c) (p ∧ q) → r d) (p ∧ q) ↔ (s ∧ u) e) ~ (s ∨ u) → ~ p Solución: a) Si está enfermo necesita un doctor y si tiene un accidente necesita un abogado. entonces “p v q” es verdadero por lo tanto ~(pvq) es falso. Luego p es falso y q es verdadero. entonces “p ↔ q” es verdadero. y. y. 15 EJERCICIO 3 Si P . R . b) Si necesita un doctor. está enfermo o es injuriado. R: El proyecto se expuso ante la junta directiva. d) Necesita un doctor y un abogado. si Pedro llegó a tiempo al aeropuerto entonces el proyecto se expuso ante la junta directiva. si y sólo si está enfermo y es injuriado. tiene un accidente. ((P ∧ Q) → R) ∨ S c) Solución: O Juan viajó en el avión de las 8 a. o el vuelo se retrasó. Luego p es verdadero y q es verdadero. o el vuelo se retrasó.

5) ~r 6) p Ley M. 16 EJERCICIO 6 Demostrar que se puede concluir p si se conoce las siguientes premisas: (p∨ ~ r) → p .P. b) p → (p ∧ q) Si p=V y q=F tenemos que: V → (V ∧ F) ⇒ V → F ⇒ F Si p=V y q=V tenemos que: V → (V ∧ V) ⇒ V → V ⇒ V En conclusión la proposición es indeterminada c) ~ (s ∨ q) ∨ ~ q Si s=V y q=V tenemos que: ~ (V ∨ V) ∨ ~ V ⇒ ~ (V) ∨ F ⇒ F ∨ F ⇒ F Si p=V y q=F tenemos que: ~ (V ∨ F) ∨ ~ F ⇒ ~ (V) ∨ V ⇒ F ∨ V ⇒ V En conclusión la proposición es indeterminada d) (p ∨ q) → p Si p=V y q=V tenemos que: (V ∨ V) → V ⇒ (V) → V ⇒ V Si p=F y q=V tenemos que: (F ∨ V) → F ⇒ (V) → F ⇒ F En conclusión la proposición es indeterminada e) (p → q) → (~ q →~ p) ⇒ (p → q) → (p → q) es tautología. ~(q v ~r). EJERCICIO 7 Para cada una de las siguientes sentencias comprobar si son tautologías. p → p es tautología.LOGICA MATEMATICA . q. EJERCICIO 8 Comprobar la validez de las siguientes sentencias a) (p → q) ∨ (q → p) Solución: (p → q) ∨ (q → p) ≡ (~ p ∨ q) ∨ (~ q ∨ p) ≡ (~ p ∨ p) ∨ (~ q ∨ q) ≡ V∨V ≡ V Es una tautología b) (p →~ q) ↔ ~ (p ∧ q) Solución: (p →~ q) ↔ ~ (p ∧ q) ≡ (~ p∨ ~ q) ↔ (~ p∨ ~ q) ≡ V Es una tautología c) ~ q∨ ~ [(p → ~ q) ∧ p] Solución: ~ q∨ ~ [(p →~ q) ∧ p] ≡ ~ q∨ ~ [(~ p ∨ q) ∧ p] ≡ ~ q ∨ [~ (~ p ∨ q)∨ ~ p] ≡ ~ q ∨ [(p ∧ ~ q)∨ ~ p] ≡ ~ (q ∧ p) No es tautología. Ley M. ~ q ∨ [(p∨ ~ p) ∧ (~ q∨ ~ p)] ≡ ~ q ∨ [V ∧ (~ q ∨ ~ p)] ≡ ~ q ∨ (~ q ∨ ~ p) ≡ ~ q∨ ~ p .P entre 4 y P3.P entre P1 y 5. P1: (p∨ ~ r) → p ≡ ~ (p∨ ~ r) ∨ p ≡ (~ p ∧ r) ∨ p ≡ p ∨ r ≡ ~ r → p P2: ~(q v ~r) ≡ (q ↔ ~ r) ≡ (q →~ r) ∧ (~ r → q) P3: q 4) q →~ r Ley de simplificación de la conjunción en P2. contradicciones o indeterminaciones: a) ~ (~ p) → p b) p → (p ∧ q) c) ~ (s ∨ q) ∨ ~ q d) (p ∨ q) → p e) (p → q) → (~ q →~ p) Solución: a) ~ (~ p) → p .P.

entonces analizamos la única posibilidad para que esto puedo darse. se necesita que el antecedente sea verdadero y el consecuente falso. Q y R ? Solución: Realizamos la tabla de verdad P 1 1 1 1 0 0 0 0 Q 1 1 0 0 1 1 0 0 R 1 0 1 0 1 0 1 0 P→Q 1 1 0 0 1 1 1 1 RvP 1 1 1 1 1 0 1 0 RvQ R ∨ P → R ∨ Q ( P → Q ) ( R ∨ P → R ∨ Q ) 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 Según la tabla. R fórmulas. ed. para que la expresión sea verdadera. R ∨ P = V y Q ∧ P = F . entonces: Q ∧ P = F se cumple ya sea que Q sea falsa o verdadera ( Conjunción: solo dos verdades dan otra verdad) R ∨ P = V se cumple solo si R es verdadera. Para que la implicación nos de falso. P. Q. Si se sabe únicamente que P es verdadero. EJERCICIO 10 Demuestre que es una tautología: [p → (q → r)] → [(p ∧ q) → r] Solución: [p → (q → r)] → [(p ∧ q) → r] [~ p ∨ (~ q ∨ r)] → [(p ∧ q) → r] [(~ p∨ ~ q) ∨ r)] → [(p ∧ q) → r] [~ (p ∧ q) ∨ r)] → [(p ∧ q) → r] [(p ∧ q) → r)] → [(p ∧ q) → r] Es una tautología EJERCICIO 11 Si R ∨ P → Q ∧ P es falsa y P es falsa. En este caso tenemos que el antecedente: Q∧ ~ P siempre es falso por tanto la implicación siempre será verdadera. Solución: Como P es verdadero entonces: ~ P es falso.LOGICA MATEMATICA . (Disyunción: solo dos falsedades dan otra falsedad) Conclusión: R es Verdad y Q puede ser Falsa o Verdadera. ( En la conjunción se necesitan dos verdades para dar otra verdad). EJERCICIO 12 Si (P → Q) → (R ∨ P → R ∨ Q) es verdadera. Q. pero P es Falsa. ¿Qué puede afirmarse de P. Es decir que: Q∧ ~ P → R ∧ Q es verdadera. entonces Q∧ ~ P siempre será falso. EJERCICIO 13 Comprobar si es cierta la equivalencia: ~ (p ↔ q) ≡ (p∧ ~ q) ∨ (q ∧ ~ p) Solución: ~ (p ↔ q) ≡ ~ [(p → q) ∧ (q → p)] ≡ [~ (p → q)∨ ~ (q → p)] ≡ [(p ∧ ~ q) ∨ (q ∧ ~ p)] ed: si son equivalentes . R pueden ser verdaderas o falsas. 17 EJERCICIO 9 Sean P. ¿Qué puede afirmarse del valor de verdad de Q∧ ~ P → R ∧ Q . ¿Qué puede afirmarse de R y de Q ? Solución: Como la implicación es falsa.

q: James estudia portugués. ~q o también: [(p → q)∧ ~ p] → ~ q EJERCICIO 18 Dadas las proposiciones. ∴ q ~p . Solución: Sean: p: Aumenta el precio del petróleo q: El Ecuador crecerá económicamente Entonces: p . Simbolice la siguiente proposición: “No es cierto que James no estudia Quichua y Chino sino Portugués”. r: James estudia Quichua. Solución: Se trata de la negación de una conjunción. por lo tanto la proposición en símbolos es: ~ ((~ r ∧ p) ∧ q) .LOGICA MATEMATICA . p: James estudia chino. no crecerá económicamente. Por lo tanto. pero el precio del petróleo no ha subido. 18 EJERCICIO 14 Simplifique la expresión (p ↔ q) ↔ [(p ∨ q) ↔ (p ∧ q)] Solución: (p ↔ q) ↔ [(p ∨ q) ↔ (p ∧ q)] (p ↔ q) ↔ [{(p ∨ q) → (p ∧ q)} ∧ {(p ∧ q) → (p ∨ q)}] (p ↔ q) ↔ [{~(p ∨ q) ∨ (p ∧ q)} ∧ {~(p ∧ q) ∨ (p ∨ q)}] (p ↔ q) ↔ [{(~ p∧ ~ q) ∨ (p ∧ q)} ∧ {(~ p∨ ~ q) ∨ (p ∨ q)}] (p ↔ q) ↔ [{ (~ p ∨ (p ∧ q)) ∧ (~ q ∨ (p ∧ q))} ∧ {(~ p ∨ p) ∨ (~ q ∨ q)}] (p ↔ q) ↔ [{ ((~ p ∨ p) ∧ (~ p ∨ q)) ∧ ((~ q ∨ p) ∧ (~ q ∨ q))} ∧ { V ∨ V}] (p ↔ q) ↔ [{ (V ∧ (~ p ∨ q)) ∧ ((~ q ∨ p) ∧ V))} ∧ V] (p ↔ q) ↔ [(~ p ∨ q) ∧ (~ q ∨ p)] (p ↔ q) ↔ [(p → q) ∧ (q → p)] (p ↔ q) ↔ (p ↔ q) Ley del bicondicional Ley del condicional Ley de Morgan Ley distributiva Ley distributiva Ley de elementos neutros Ley de elementos neutros Ley del condicional Ley de identidad V Es una tautología EJERCICIO 15 Simplifique (p∨ ~ p) ∧ (~ q ∨ ~ p) Solución: (p∨ ~ p) ∧ (~ q ∨ ~ p) V ∧ ~ (q ∧ p) ~ (q ∧ p) Ley de complementación Ley de elementos neutros EJERCICIO 16 Simplifique [(~ p → q) ∧ (p → q)] → q Solución: [(~ p → q) ∧ (p → q)] → q [(p ∨ q) ∧ (~ p ∨ q)] → q ~ [(p ∨ q) ∧ (~ p ∨ q)] ∨ q [~ (p ∨ q)∨ ~ (~ p ∨ q)] ∨ q [~ (p ∨ q) ∨ (p ∧ ~ q)] ∨ q ~ (p ∨ q) ∨ [(p ∧ ~ q) ∨ q] ~ (p ∨ q) ∨ (q ∨ p) ~ (p ∨ q) ∨ (p ∨ q) V Ley del condicional Ley de Morgan Ley de Morgan Ley asociativa Ley de absorción Ley conmutativa Tautología EJERCICIO 17 Construya la siguiente inferencia: El Ecuador crecerá económicamente si aumenta el precio del petróleo.

19 EJERCICIO 19 Diga si la proposición “ Un estudiante bebe agua y estudia” es equivalente a la proposición “ No es el caso que un estudiante no estudie o no beba agua”. Si no hay control de precios. si: V V .LOGICA MATEMATICA . F F . EJERCICIO 21 Tradúzcase a la forma simbólica y establezca si el argumento es o no válido. determine la validez de la proposición (p ∨ q) → r Solución: Analizamos el caso en el que la implicación nos da falso A continuación analizamos cada componente r: verdadero s: falso Ahora analizamos (p ∨ q) → r Según la implicación es verdadera pueden ser verdaderas o falsas. Con esto se concluye que se trata de un razonamiento válido r→q q . P1: p → q P2: p∨ ~ r ≡ r → p P3: ~ r → s P4: 5) 6) 7) r ~s p→q p∨ ~ r ~ r →s ~s ∴q M. por tanto los salarios son bajos. “ Solución: Sean: p: Los precios son bajos q: Los salarios son bajos r: Hay control de precios s: Hay inflación Hay que demostrar que a partir de las premisas dadas.P. entonces hay inflación. No hay inflación.T entre P3 y P4 Silogismo hipotético entre P2 y P1 M. Solución: Sean las componentes: P: Un estudiante bebe agua Q: Un estudiante estudia La primera proposición equivale a : (p ∧ q) La segunda proposición equivale a : ~ (~ p∨ ~ q) aplicando morgan tenemos (p ∧ q) Por lo tanto las proposiciones si son equivalentes EJERCICIO 20 Si la proposición (p → q) → (r → s) es falsa. entonces los salarios son bajos.T. F V es decir que p y q La implicación siempre será verdadera mientras el consecuente sea verdadero. “Si los precios son bajos. se puede obtener q. Los precios son bajos o no hay control de precios.P entre 6 y 5.

si a los estudiantes no les gusta la lógica. “La lógica es fácil o les gusta a los estudiantes. complementación Elemento neutro y conmutativa y complementación Elemento neutro aplicado dos veces Ley del condicional . P1 : P2 : p ∨ q ≡ ~ p → q Ley del condicional r →~ p r →~ p Ordenando: P2 : P1 : ~ p → q r→q Ley del silogismo hipotético. Si las matemáticas son difíciles entonces la lógica no es fácil. lo que necesita es un médico EJERCICIO 24 Sean p. q proposiciones.LOGICA MATEMATICA . las matemáticas no son difíciles”. Por tanto. simplificar con las leyes del álgebra: ~ p ↔ (q → ~ p) Solución: ~ p ↔ (q → ~ p) ≡ [(~ p → (~ q ∨ ~ p)] ∧ [(~ q∨ ~ p) →~ p] [(p ∨ (~ q ∨ ~ p)] ∧ [~ (~ q∨ ~ p)∨ ~ p] [(p∨ ~ p)∨ ~ q] ∧ [(q ∧ p)∨ ~ p] [ V∨ ~ q] ∧ [(q ∨ ~ p) ∧ (p∨ ~ p] V ∧ [(~ p ∨ q) ∧ V] (~ p ∨ q) p→q Ley del condicional y definición bicondicional Ley del condicional Ley asociativa y D morgan Ley Distributiva y elemento neutro. EJERCICIO 23 Se dan los dos enunciados siguientes: • • Juan necesita un abogado o Juan necesita un médico Si Juan necesita un abogado entonces Juan necesita un médico Usando la lógica proposicional conteste la siguiente pregunta: ¿Necesariamente se deduce que “Juan necesita un abogado”? Solución: Sean: P: Juan necesita un abogado Q: Juan necesita un médico Entonces: (p ∨ q) ∧ (p → q) (p ∨ q) ∧ (~ p ∨ q) (q∨ ~ p) ∧ (q ∨ p) q ∨ (~ p ∧ p) q∨F q Inverso de la ley distributiva Conclusión: Juan no necesita un abogado. Solución: Sean: p: La lógica es fácil q: A los estudiantes les gusta la lógica r: Las matemáticas son difíciles La inferencia quedaría de la siguiente manera: P1 : p ∨ q P2 : r →~ p ∴~ q →~ r Entonces debemos demostrar que a partir de las premisas es posible obtener ~ q → ~ r . 20 EJERCICIO 22 Tradúzcase a la forma simbólica y establezca si el argumento es o no válido. (Notar que: ~ q → ~ r ≡ r → q ). Se concluye que se trata de un argumento válido.

T.T. por lo que se concluye que se trata de una inferencia válida. r → p. . lo cual es una contradicción.T entre P1 y P2. ~ r.T entre P3 y 6) Ley de simplificación en P4 M. q∨ ~ p.T. 6) ~r 7) (r ∨ ~ t) 8) ~ t M. EJERCICIO 26 Demostrar que se puede concluir ~p a partir de las siguientes premisas: p → (~ q ∨ r).LOGICA MATEMATICA .P entre 7 y 6. 21 EJERCICIO 25 Demostrar que se puede concluir ~t a partir de las siguientes premisas.T entre P1 y 5. M. ~p EJERCICIO 27 Utilizando el método abreviado encuentre el valor de verdad de la siguiente expresión: [(~ q ∨ r) ∧ (r → s)] → (s →~ p) Solución: Podemos ver que r puede tomar dos valores V y F. Solución: P1: p → (~ q ∨ p) P2: ~r P3: (s ∨ q) ∧ q ≡ q 4) ~r ∧ q 5) 6): ~ (~ q ∨ r) (s ∨ q) ∧ q Por absorción Adición del ∧ entre P2 y P3 Morgan en 4. ~ (~ r ↔ t) Solución: P1: q∨ ~ p ≡ p → q P2: ~ q∨ ~ (r → q) ≡ ~ q ∨ (r ∧ ~ q) ≡ ~ q ∨ (~ q ∧ r) ≡ ~ q P3: r → p Ley de absorción P4: ~ (~ r ↔ t) ≡ ~ [(~ r ∧ t)∨ ~ (~ r ∨ t)] ≡ [~ (~ r ∧ t) ∧ (~ r ∨ t)] ≡ (r ∨ ~ t) ∧ (~ r ∨ t) 5) ~p M.T. ~ q∨ ~ (r → q).

entonces no estudio. me motivé. h) 20 ÷ 5 = 4 ∧ 3 − 2 = 2 b) Ella está triste cuando está desempleada. Hallar el valor de verdad de la proposición a) (~ p → s) → (~ q → r) (p ∧ q) → (s ∨ t) . a) P(p. q : 6x5 = 30 . trabajo. entonces 2 + 3 = 5 y 4 + 2 ≠ 6 para que las proposiciones. luego. Q. p: 3 > 5 q :x 2 + 2 = 0 .LOGICA MATEMATICA . hallar el d) ~ ( p ↔ q ) ≡ p ↔ ~ q ≡ ~ p ↔ q valor de verdad de: e) ( p → q ) → r ≡ ( p ∧ ~ r ) → ~ q c) (p∨ ~ t) ∨ q f) ( p ∧ q ) → r ≡ ( p → r ) ∨ ( q → r ) d) ~ (p ∧ (q → t)) 9. Si la proposición [(p → q)∧ ~ q] → p es falsa. luego está empleada”. Escribir en palabras y determinar el valor de verdad de las siguientes proposiciones. Estudio o repruebo el b) q ∨ ( q ∧ ~ q ) curso de matemáticas. Sean P. b) ~ p → p → q c) ( p ↔ q ) → ( q → p ) d) q → ( p ∧ q ) ↔ p . entonces 2 x + 3 = 7 alegre ni desempleada”. a) ( p ∧ q ) → ( p → q ) encontrar el valor de verdad de p. entonces 3 − 2 ≠ 2 (~ p ↓ ~ q) v r y ~ r ↔ (p ∧ q) sean verdaderas a la vez. entonces 9 es número par a) Si ella está alegre y no está empleada. Demostrar si existe o no implicación lógica: 20. entonces me quedaré en casa. Dadas las proposiciones: “p: ella está alegre” y “q: ella está empleada”. a) ~ ( p ∧ ~ q ) b) Si trabajo. hallar el valor 8. ¿Qué puede afirmarse 6. Encuentre el valor de verdad de las proposiciones p. q) si se conoce que: valor de verdad. pero si no i) 5 + 3 = 8 ∨ 9 − 3 = 6 está alegre. Sean P. q) : p ↔ q b) Viva el Ecuador c) Que es la lotería nacional 11. Voy al cine. entonces 4 es numero primo f) Si 3 < 2 . hallar el valor de verdad de: 7. ella no está ni g) Si 2 x − 1 = 0 . r. Q y R fórmulas. Si p : 3 + 2 = 4 y a) Si no me motivo. Si [(~ p ∨ q) ∨ (r → q)] ∧ [(~ p ∨ q) → (q ∧ ~ p)] es falsa. q) : p ∧ q a) Todo entero es divisible para dos b) Q(p.conociendo que (p ∨ q) es F y (~t → s) b) (~ q ∧ ~ r) ∨ [~ t ∧ (p ∨ q)] es también F. Determinar analíticamente el valor de verdad de p si se de P. Si la proposición (~ p → q) → [(p ∧ r) ∨ s] es falsa. Determinar el valor de verdad de las siguientes proposiciones: 12. 22 EJERCICIOS PROPUESTOS 1. Q y R ? conoce que la proposición (p ∨ ~ q) ∧ ( ~ p → q) es una tautología y que ( ~ q ) es una contradicción. d) ( p ↔ ~ q ) ~p 4. q. Por tanto. Determinar si se cumplen o no las siguientes de verdad de: equivalentes lógicas: a) (p ∨ q) ∧ (q →~ p) a) p → ~ q ≡ q → ~ p b) (p ∧ q) ∧ (p → q) b) ~ ( p → q ) ≡ p ∧ ~ q c) ~ ( ~ p ↔ q ) ≡ p ↔ q 19. Indique cuales frases son proposiciones e indique su 10. 18. entonces 13. ¿Qué puede afirmarse de P. c) 5 − 2 = 1 y 3 + 2 = 5 si y solo si 5 − 2 = 1 o 3 + 2 = 5 d) No es verdad que: si a + b = c y 2 + 2 = 4 . Escriba simbólicamente las siguientes proposiciones 3. Determinar en que casos pueden ser verdaderas las proposiciones que se indican a continuación: a) (~ q ∨ p) ~ (r ∧ ~ p) si r: 2 + 3 ≠ 5 b) q → [(p ∧ q) ∨ (q p)] si q: 4 – 1 = 3 16. x número real r : Quito es la capital del Ecuador Hallar el valor de verdad de: a) [(p ∧ q)∧ ~ r] → q b) [p → (q → r)] → (p ∨ q) 15. r a) Si 2 + 3 ≠ 5 . ¿Qué puede afirmarse de Q ? b) Si R ∧ P → Q ∧ P es falsa. b) Si 3 − 2 = 2 o 4 + 2 = 6 . QyR? c) Si Q ∨ R → (P ∧ Q) ∨ R es falsa. Determinar en que caso la siguiente proposición será d) La capital de Zamora es Loja verdadera: q → [(p ∧ q) ∨ (q → p)] e) La longitud de un círculo es igual a 2πr Si se conoce que (q ∧ ~p) es una verdad. ¿qué puede afirmarse del valor de verdad de cada una de las proposiciones siguientes? a) R → P b) ~ P → Q ∧ R c) P → P ∨ S d) P ∨ S → Q ∧ ~ P 5. entonces: a) Si Q → Q ∧ P es verdadera y P es falsa. 17. Demostrar que P(p. escriba simbólicamente las siguientes a+b<c . q. Aprobé el curso de c) ( ~ p ∧ q ) p matemáticas. Dadas las proposiciones. R y S fórmulas. Si la proposición (p ∧ q) ∧ (q → t) es verdadera. j) 2 + 3 = 5 ↔ 3 + 2 = 4 14. 2. q) → Q(p. Si se sabe únicamente que P es verdadero. proposiciones: e) Si 3 es impar.

Demuestre la validez de los siguientes esquemas de inferencias: a) ( p ∧ q ) → r b) r → s c) ( r → q ) ∧ r r→s p∨q s→t q∧~s ~ ( ~p → s ) r→s --------------------~p → q ~p --------------q∨t q∧~r d) ~ p∨ ~ t → s e) ~ p∨ ~ t → s ∨ r f) t ~ (p ∧ t) --------------- ~ s∧ ~ r ------------------ t →~ q ~ q →~ s ---------------- 32. Luego. es suficiente que sea un excelente curso. ~ (t ∧ r) . (r ∧ s) → (p ∨ t) . Nacional ganó el campeonato. encontrar el valor de verdad de (p ∨ q) ∧ q 26. entonces Liga no fue el segundo. q → (u ∧ s) . Demuestre que se puede concluir ~ r ∨ s . No llueve. si no tienen los papeles en regla. Tradúzcase a la forma simbólica y establézcase para cada argumento si es o no válido. g) Para que el candidato llegue a la presidencia es necesario que gane las elecciones en su provincia. i) Voy al estadio o me quedo en casa. no iré al cine. Por tanto. Voy al colegio. O las calificaciones son justas o no vale la pena tomar el curso.LOGICA MATEMATICA . Estoy golpeado. Mas el partido no se cancela. h) Si asisto al colegio conversaré con mis amigos. 24. luego. El ganará las elecciones en su provincia únicamente si defiende los derechos civiles. no es un excelente curso. me golpearé. consulté el diccionario de sinónimos. 23 EJERCICIOS PROPUESTOS 21. a partir de las siguientes premisas. encontrar el valor de verdad de [(~ p ∧ q) ∧ (~ r ∨ r)] ∧ s 27. Por lo tanto no serán expulsados del país. entonces Luego. 31. a) ( p → q ) → ( q → p ) b) [p ∧ (p → q)] → q c) ( p → q ) → ( ~ q → ~ p ) d) ( p ∨ q ) → p e) (r → s) → [(r ∨ t) → (s ∨ t)] f) ( p ∧ ( q → p ) ) → p g) [(p → q) ∧ (~ p → r) ∧ (p∨ ~ s)] → (p ∨ r) 23. e) Si voy al colegio pasaré por la biblioteca. o está lloviendo si hace frío. entonces Nacional no ganó el campeonato. Si paso por la biblioteca consultaré el diccionario de sinónimos. Si voy al estadio entonces dormiré en la casa de mi hermano. entonces Barcelona fue el segundo o Liga fue el segundo. luego. a partir de las siguientes premisas. Demuestre que se puede concluir ~ r ∧ q . Si (~ p ∧ q) → [(p ∧ r) ∨ t)] es falsa. a) Los ilegales serán expulsados del país. Si ~ (q ∨ r)∧ ~ (p → q) es verdadera. ~ s → q . Si (p ∨ q) → (p ∧ q) es falsa. Luego Emelec no fue el segundo. c) Si llueve. no está lloviendo si hace frío. me caí de la bicicleta. Luego: Si no voy al colegio entonces no conversaré con mis amigos. s → (t ∧ r) . el candidato no llegará a la presidencia. Si (~ p ∧ q) → (~ s ∨ r) es falsa. {[~ (p → q) ∨ p] ∧ [q → (~ q ∧ t)]} ↔ {[(s ∨ t) ∧ s] → [s ∨ (s ∧ ~ t)]} ( p ∧ ~ r ) ∨ [~ q →~ ( p ∧ r )] t → [( p → q ) → q ] ∧ [~ p ∧ (q → p )] [~ p ∧ (q∨ ~ r )] ↔ [(~ p ∧ q )∨ ~ ( p ∨ r )] [(~ p ∧ q) → (q → p)] ∧ p [( p ∧ ~ q) ∧ (q → p) ∧ r ] ∨ p [(~ p ∧ q) → (r ∧ ~ r )]∧ ~ q d) Si me caigo de la bicicleta. Por tanto. j) Si Nacional ganó el campeonato. iré al cine. pero tienen los papeles en regla. Demostrar que se puede concluir q → p a partir de las premisas: u → r . Utilizando las tablas de verdad diga si las siguientes sentencias son tautologías. Las calificaciones no son justas. b) El partido se cancela. encontrar el valor de verdad de (~ p → t) → (~ q → r) 25. Luego: Dormí en la casa de mi hermano. Si Barcelona fue el segundo. Utilizando el método abreviado halle el valor de verdad de los siguientes esquemas moleculares. No me quedé en casa. Si Emelec fue el segundo. El no defenderá los derechos civiles. P1: [(p ∧ q) ∨ (p ∧ r)] ∧ (q ∨ ~ r) P2: p → q → (r → s) 29. contradicciones o indeterminaciones: a) ~( s ∨ q ) ∨ ~ q b) p ∨ ( p → q ) c) p ∨ ( q → ~ p ) d) ( p ∨ ~ q ) ∧ ( ~ p ∨ q ) e) ~ p ∧ ( ~ ( p → q ) ) f) [(p ∨ q) ∨ r] ↔ [p ∨ (q ∨ r)] g) [p ∨ (q ∧ r)] ↔ [(p ∨ q) ∧ (p ∨ r)] h) ~ (p → q) ↔ [p ∧ (~ q)] 22. Mediante las leyes del álgebra de proposiciones simplificar: a) ~ (p ∨ q) ∨ (~ p ∧ q) b) (p ↔ q) → (q ∨ q) c) (p ∧ q) → [(~ p ∨ q) ∧ (~ q ∨ p)] d) ( p →~ q) → [~ (q → ~p)∧ ~(m → n)] e) [( p∨ ~ q ) ∧ (~ r ∨ p)] → [ p∨ ~ (q ∨ r )] f) g) h) i) j) k) l) m) n) [( p → q) → (q → r )] ↓ [~ q → ( p → r )] [ p → (q → r )] → [~ p → (~ q →~ r )] 30. encontrar el valor de verdad de a) (r → q) b) (~ p∨ ~ r) →~ (p ∨ q) c) [(q → r)∧ ~ r]∧ ~ q 28. ~t. f) Para que valga la pena tomarlo.

24 1.. “Pedro”. Los nombres propios hacen referencia a cualquier tipo de individuos determinados: personas. x=7 tenemos que P(7):: “7-3=5” ésta se convierte en proposición en este caso falsa.1 FUNCION PROPOSICIONAL Una función proposicional (a una o varias variables) sobre un conjunto A. países. Podemos transformarla en una proposición anteponiendo la frase “para todo”. “es muy bonito”. se convierte en proposición falsa. “es estudioso”.10. CUANTIFICADORES Los cuantificadores son símbolos que nos permiten evaluar una función proposicional..2. 1. es una expresión tal que al reemplazar la variable o las variables por elementos del conjunto A se obtiene una proposición. (∀x)[P(x)] Ejemplo: • Sea P(x):: “x-3=7”. animales. Puede escribirse como: ∀x : P(x) . ∀x / P(x) . C Por lo tanto la simbolización de las proposiciones sería de la siguiente manera: Aj. 3. P(y):: “3y-1>4” . EJEMPLOS: 1.10. Ejemplo: Juan es muy alto Pedro es estudioso Quito es muy bonito En estas proposiciones los individuos son: “ Juan”. Se llamará predicado a la propiedad que se afirma acerca del sujeto o término. ríos. Ejemplo Juan es alto y Pedro es estudioso Aj y Bp 1. c . Se simbolizarán con letras minúsculas a. Bp . “ es muy alto”. O lo que es lo mismo. q Es muy alto. Si y=2. Si z=6. en este caso verdadera P(z):: “z+2 =10”. se convierte en proposición. En los ejemplos anteriores podemos simbolizar a: Juan. CUANTIFICADOR UNIVERSAL: Se simboliza como ∀ y se lee “para todo”. E. y se simbolizará con letras mayúsculas: A. (∀x)( x − 3 = 7) . ejemplo. b.10. p Quito. y se llamarán constantes individuales o términos . Al colocar este cuantificador delante de una función proposicional la convierte en una proposición. “Quito”. y las propiedades son las expresiones. 2. Este tipo de proposiciones en donde se atribuye una propiedad a un individuo determinado son las llamadas proposiciones monádicas . etc. A Es estudioso. P(x):: “x-3=5” Es función proposicional pues al reemplazar x por un número. Cq Como ya mencionamos anteriormente se pueden usa conectivos lógicos para formar proposiciones compuestas.d: “Para todo x : : x-3=7”. etc. B. LOGICA CUANTIFICACIONAL (LOGICA DE PREDICADOS) La lógica cuantificacional nos permite identificar dentro de una proposición cuales son los individuos y sus propiedades. B Es muy bonito.LOGICA MATEMATICA . j Pedro. Se lee “ Para todo x se cumple que: x-3=7” . C.

La proposición "ninguno es medico" no equivale a la proposición "no todos son médicos" sino a la expresión "para todo x. se usa el signo ∃! que se lee como “ existe un único”. CONVERSIONES ( EQUIVALENCIAS) [∀x ∈ A : P(x)] ≡~ [∃x ∈ A :~ P(x)] [∃x ∈ A : P(x)] ≡ ~ [∀x ∈ A :~ P(x)] Cuatro modelos básicos de enunciados de la lógica clásica: • • • • Enunciado Universalmente Afirmativo: Enunciado Universalmente Negativo: Enunciado Particularmente Afirmativo: Enunciado Particularmente Negativo: ∀x : P(x) [Todos los x son P] [Ningún x es P] (∀x) : ~ P(x) ∃x : P(x) [Algún x es P] ∃x : ~ P(x) [Algún x no es P] NEGACIÓN DE UN CUANTIFICADOR Proposición ∀x : P(x) ∃x : P(x) ∀x ∈ A : P(x) ∃x ∈ A : P(x) Negación ∃x : ~ P(x) ∀x : ~ P(x) ∃x ∈ A : ~ P(x) ∀x ∈ A : ~ P(x) DISTRIBUTIVIDAD DE LOS CUANTIFICADORES Sean P . Podemos transformarla en una proposición anteponiendo la frase “existe un”. las proposiciones existenciales pueden tener negaciones internas como "algo no es mortal" la cual se simboliza como (∃x) ~ (Fx) donde Fx simboliza la expresión "x es mortal". como en el enunciado: "No todos son médicos". Las palabras "ningún".LOGICA MATEMATICA . entonces: • (∀x)(P ∧ Q) ≡ [(∀x)(P) ∧ (∀x)(Q)] • • • • (∀x)(P ∨ Q) ≡ [(∀x)(P) ∨ (∀x)(Q)] (∃x)(P ∧ Q) ≡ [(∃x)(P) ∧ (∃x)(Q)] (∃x)(P ∨ Q) ≡ [(∃x)(P) ∨ (∃x)(Q)] (∀x)(P → Q) ≡ [(∀x)(P) → (∀x)(Q)] .d: “Existe por lo menos un x : : x-3=7”. En este caso la simbolización será: ~ [(∀x)(Px)] donde Px es la función proposicional "x es medico" que toma valores dentro del conjunto de referencia formado por los hombres. E. "ninguno". ∃x / P(x) . (∃x)( x − 3 = 7) . "nada". Las proposiciones existenciales pueden estar negadas. 25 CUANTIFICADOR EXISTENCIAL: Se simboliza como ∃ y se lee “ existe por lo menos un”. O lo que es lo mismo. "nadie" corresponden también a enunciados universales con negaciones. como por ejemplo "no es cierto que hay fantasmas" la cual se simboliza como ~ (∃x)(Fx) donde Fx simboliza la expresión "x es un fantasma". Se lee: “ Existe por lo menos un x tal que x-3=7” Nota: Si P(x) es verdadera para un único elemento de A. Puede escribirse como: ∃x : P(x) . Las proposiciones universales pueden aparecer negadas. pero de una manera distinta a las proposiciones anteriores. Q fórmulas no cuantificadas en x . Análogamente a lo que ocurre con los cuantificadores universales. (∃x)[P(x)] Ejemplo: • Sea P(x):: “x-3=7”. Al colocar este cuantificador delante de una función proposicional la convierte en una proposición. x no es medico" que se simboliza (∀x) ~ (Px) .

donde ∪ es el conjunto de los naturales. Q(x) ↔ x < 10 . ya que no existe ningún x ∈ ℕ tal que 2x − 1 = 0 . la proposición: “Hay animales carnívoros” Solución Observe que puede escribirse como: “ existe al menos un x. que en algunos casos se omite y el cuantificador universal se refiere a cada elemento de este conjunto. EJEMPLO 5 Hallar el conjunto de verdad de: P(x) ∧ Q(x) . la proposición: “Todos los gatos tienen cola” Solución Si definimos a: G(x): x es gato C(x): x tiene cola ∪ : Conjunto de todos los animales Entonces tenemos: (∀x ∈ ∪)[G(x) → C(x)] EJEMPLO 4 Hallar el conjunto de verdad de: P(x) ↔ 2x − 1 = 0 . Nota 2: Se denomina conjunto de verdad de una función proposicional P(x). la proposición: “Todas las hormigas son insectos” Solución Si definimos a: H(x): x es hormiga I(x): x es insecto ∪ : Conjunto de todos los insectos Entonces tenemos: (∀x ∈ ∪)[H(x) → I(x)] Nota 1: El conjunto U se denomina dominio de referencia. tal que el conjunto A hace verdadera la proposición P(x). al subconjunto A del dominio U de la variable. tal que x es animal y x es carnívoro”. Si definimos a: A(x): x es animal C(x): x es carnívoro ∪ : Conjunto de todos los animales Entonces tenemos: (∃x ∈ ∪)[A(x) ∧ C(x)] EJEMPLO 3 Escribir con símbolos y cuantificadores. Solución Esta proposición es falsa. Solución S = {x ∈ ℝ/P(x) ∧ Q(x) es verdad} = {x ∈ ℝ / x ≥ 1 ∧ x < 10} = {x ∈ ℝ /1 ≤ x<10} . EJEMPLO 2 Escribir con símbolos y cuantificadores.LOGICA MATEMATICA . ∪ es el conjunto de los reales. 26 EJEMPLO 1 Escribir con símbolos y cuantificadores. donde P(x) ↔ x ≥ 1 .

Los siguientes métodos de demostración son los más usuales. EJEMPLO Probar que si n es un número par.11 METODOS DE DEMOSTRACION Las proposiciones de una teoría matemática se clasifican en dos tipos: Las aceptadas sin demostración que son los axiomas y definiciones ( donde no hay nada que demostrar) y las deducidas llamadas teoremas. EJEMPLO Demostrar utilizando el método directo que la siguiente proposición es teorema: La suma de tres enteros consecutivos es un múltiplo de tres. por tanto: x = n. EJEMPLO Mediante el método directo comprobar la validez de la inferencia lógica. .. es suficiente demostrar que. entonces.. x + y + z = 3p . z son enteros consecutivos. y. ∧ p n ) → q. entonces T es verdadera. y = n + 1. “Demostrar el teorema”. entonces n2 es también par. z = n + 2 . 27 1. La demostración de un teorema es un procedimiento en el que se enlazan o combinan dos o más proposiciones utilizando ciertas reglas lógicas. consecuentemente n 2 = (2m) 2 = 4m 2 = 2(2m 2 ) Sea p = (2m 2 ) un número entero. Es decir que x + y + z es múltiplo de 3. Prácticamente todos los teoremas matemáticos están compuestos por implicaciones de este tipo (p1 ∧ p 2 ∧ .1 METODO DIRECTO De acuerdo a la tabla de verdad de la implicación.LOGICA MATEMATICA . luego n = 2m para algún entero m. es demostrar que la implicación es una tautología. Solución: La hipótesis dice que n es un número par. x + y + z = n + ( n + 1) + (n + 2) = 3n + 3 = 3(n + 1) Sea p = n + 1 un número entero. Note que no estamos tratando de demostrar que q (la conclusión) es verdadera. sino solamente que q es verdadera si todas las pi son verdaderas.. p → (p ∨ q) Solución: p → (p ∨ q) ≡ ~ p ∨ (p ∨ q) ≡ (~ p ∨ p) ∨ q ≡ V∨q ≡V Es una tautología. si la proposición H es verdadera. 1. Donde la pi son llamadas hipótesis o premisas. n 2 ≡ 2p Es decir que n2 es también par.11. entonces. Solución: Suponemos que x. donde n es un entero. para demostrar que la proposición H → T es verdadera. y q es llamada conclusión...

11. un resultado imposible. El segundo término implica que a 2 es un entero par y por la demostración anterior a es par. 28 1. dos proposiciones contradictorias. Es decir que de la tautología (p → q) ↔ (~ q →~ p) se sigue que para demostrar que q es verdadera sabiendo que p es verdadera. Demostrar que el cuadrado de la razón de dos enteros no puede ser exactamente 2.1 CONTRADICCION O REDUCCION AL ABSURDO De acuerdo a la tabla de verdad de la implicación. 1. 0 EJEMPLO. es suficiente deducir de la hipótesis: p es verdadera y q falsa. 0 1 1 es un número real. mencionaremos dos tipos de demostración indirecta.n = 0 . Esto completa la demostración.2. es decir. El sentido de indirecto se aplica más bien a la estrategia general. Substituyendo el valor de a obtenemos 4s 2 = 2b 2 . b = 2t. sin embargo debemos ser cuidadosos en esta clasificación. pero no al método en sí.2 METODO DE LA CONTRAPOSICIÓN (CONTRARECIPROCO) Este método se basa en que una proposición es equivalente a su contrarecíproco. Para demostrar esta proposición demostraremos que su negativa es falsa. Vamos a suponer sin pérdida de generalidad que a y b no tienen factores comunes y que la negación de la proposición es cierta es decir que (a / b) 2 = 2 entonces a 2 = 2b 2 . O sea a = 2s. En consecuencia tenemos que demostrar que si a y b son dos enteros entonces (a / b) 2 = 2 no es posible.n Pero sabemos que para todo número real 0. EJEMPLO Demostrar que Solución: Suponemos que Entonces: 1 = 0. puesto que la demostración en sí utiliza el método directo. por lo que se concluye que 1 no es un número real.11.2 METODO INDIRECTO Algunas veces la demostración directa tiene algunas dificultades y se opta por establecer la demostración utilizando una fórmula equivalente. Solución: La proposición dice que si a y b son dos enteros entonces (a / b) 2 ≠ 2 . entonces al reemplazar en la igualdad anterior tenemos que 1 = 0 Lo cual es un absurdo.2. basta demostrar que (~ q →~ p) es verdadera. . lo cual implica que b 2 es par y por lo tanto b es par. en contra de la suposición de que a/b no tiene factores comunes. Nota1: El hecho de demostrar una implicación utilizando su contrarecíproco hace que este método se designe como un método indirecto de demostración. 1. para demostrar que la proposición p → q es verdadera. El hecho que a = 2s y b = 2t significa que a y b tiene como factor común 2.11. es decir que = n 0 0 1 no es un número real. esto es.LOGICA MATEMATICA . Consecuentemente no es cierto que (a / b)2 = 2 . donde s es algún entero.

por tanto es una implicación lógica 1. EJEMPLO Demostrar que [(p → q) ∧ p] → q es una implicación válida Solución: Según el método de reducción al absurdo. ii) Si n es impar..11. .. entonces n = 2t + 1 para algún entero t. o es un múltiplo de 4 o difiere de un múltiplo de 4 en 1.. ∧ p n ) → ~ p1 y demostrar que es una tautología. debemos demostrar que: [~ q ∧ p] →~ (p → q) ≡~ [~ q ∧ p]∨ ~ (p → q) ≡~ [p∧ ~ q]∨ ~ (p → q) ≡~ [~ (p → q)]∨ ~ (p → q) ≡ (p → q) ∨ ~ (p → q) ≡ V Es una tautología. n entero entonces n2 = 4t o n2 = 4t + 1 para algún entero t. Luego n2 = 4t2 + 4t + 1 = 4u + 1. en 1. Si damos un ejemplo donde la conclusión resulta falsa..d: n es impar Si n es impar. cada uno de los cuales conduce igualmente a la conclusión prevista.3 DEMOSTRACIÓN POR CONTRAEJEMPLO Cuando hemos probado la validez de la implicación p → q.11. con este método se debe tratar de formar el siguiente argumento. entonces n es par.. Es una implicación falsa por que n = 2 es primo y sin embargo es par. Esto es. 1. entonces: n = 2m − 1 . se sigue por las reglas de inferencia que ~ (q → p) es verdadera y por lo tanto q → p es falsa.. Por definición de número impar ⇒ n 2 = (2m − 1)2 = 4m 2 − 4m + 1 = 2(2m 2 − 2m + 1) − 1 = 2p − 1 . frecuentemente se trata de investigar la validez de la reciproca q → p.4 DEMOSTRACIÓN POR DISYUNCION DE CASOS (SILOGISMO DISYUNTIVO) Aplicando la regla de inferencias podemos mostrar la validez del siguiente razonamiento: P1 : p ∨ q P2 : p → r P3 : q → r conclusión: r Hacemos uso de este razonamiento en teoremas cuya hipótesis puede partirse en casos mutuamente excluyentes. m ∈ ℤ ... 29 EJEMPLO Demostrar que si n 2 es par. Empezamos analizando casos particulares que satisfagan la hipótesis q y confrontamos la validez o no de la conclusión p. es decir n2 es múltiplo de 4. p ∈ ℤ ⇒ n 2 es impar. Solución: Negamos la tesis: Suponemos que n no es par.LOGICA MATEMATICA . EJEMPLO El cuadrado de todo entero. Solución Puesto que n es entero la separamos en dos casos: n es par o n es impar (p ∨ q) i) Si n es par entonces n = 2s para algún entero s. ∧ p n ) → q . Esto es la negación de la hipótesis Esto quiere decir que la contrarecíproca es válida. El determinar la falsedad de q → p mediante un caso particular se denomina un contraejemplo. Puesto que ~ (q → p) ↔ q ∧ ~ p . En este caso. tenemos que q ∧ ~ p es verdadera. e. n = 2 es un contraejemplo.. Nota 2: Si consideramos el argumento (p1 ∧ p2 ∧ . EJEMPLO Si n es un entero primo entonces n es impar. Luego n2 = 4s2. por tanto queda demostrado el ejercicio.. es decir n2 difiere de un múltiplo de 4. ((~ q) ∧ p 2 ∧ .

y ∈ R . 30 EJERCICIOS RESUELTOS EJERCICIO 1 Utilizando el método de reducción al absurdo. (r ∧ p)∧ ~ (r ∧ p) Conjunción entre ítem 3 y 7. p ∧ p → q ≡ q 6. hay algo rojo. Suponemos: p 5. Considerar x. Solución: (∀x) :~ P(x) h) Nada se daña. 8. ∀x : ( x + y = 7 ∧ x − y = 5) Solución: Es falso. r ∨ ~ q 2. ∃x : ( x + y ≠ 7 ∨ x − y ≠ 5) . Solución: (∀x) :~ P(x) c) No todo es perecedero. a) ∀x : x + 5 = 0 Solución: Es falso. ~ (r ∧ p) Premisa 1 Premisa 2 Premisa 3 Premisa auxiliar. Solución: ~ [(∀x) :P(x)] f) Nada es perecedero. Contradicción Entonces la premisa es válida EJERCICIO 2 Simbolizar los siguientes enunciados: a) Todo es desechable. Solución: (∀x) : P(x) d) Alguien no es perfecto. Negación: ∃x : x + 5 ≠ 0 b) ∃y.LOGICA MATEMATICA . Reducción al absurdo Modus Ponens entre premisa auxiliar y premisa 2 4. pues si x=2 entonces no se cumple que x + 5 = 0 . ∃x : ~ ( x + y = 7 ∧ x − y = 5) ≡ ∀y . q ∧ (r ∨ ~ q) ≡ (q → r) ∧ q ≡ r Modus Ponens entre ítem 5 y premisa 1 7. Solución: [(∀x) :P(x)][(∃x) :P(x)] b) Hay extraterrestres Solución: (∃x) : P(x) e) No hay cosas sólidas. r ∧ p Conjunción entre ítem 4 y 6. p → q 3. Solución: (∀x) :~ P(x) i) Todo humano es débil Solución: (∀x) :P(x) EJERCICIO 3 Hallar el valor de verdad de las siguientes proposiciones y luego negarlas. demuestre la validez de la siguiente premisa. r∨ ~ q p→q ~ (r ∧ p) ∴~ p Solución: 1. pues solo se cumple si x=6 y y=1. Negación: ∀y . Solución: (∃x) : ~ P(x) g) Si todo es rojo.

Sean: A x : x es un animal . M x : x es un mamífero . es decir: “Existe algún hombre que es mortal”. siempre existirá otro número m que pertenezca a los naturales que hace que n = m + 1 “. y si n=4 entonces m=5. Es una verdad pues cualquiera que sea n. es mamífero y vertebrado EJERCICIO 7 Indique el valor de verdad de a) (∀n ∈ N)(∃m ∈ N)(n = m + 1) Solución: La proposición dice que: “ Para todo número n que pertenezca a los naturales. V x : x es un vertebrado a) (∃x)(Ax ∧ Vx) Solución: Existe un ente x que es animal y es vertebrado b) (∃x)(Ax ∧ Vx ∧ ~ Mx) Solución: Existe un ente x que es animal. Es una falsedad pues si n=10 entonces m=11. P(x): x es mortal. y ∈ R)(x + y = 2) d) Todo número entero positivo elevado al cuadrado es no negativo. Solución: Simbolización: (∀x. da por resultado dos.LOGICA MATEMATICA . b) (∃m ∈ N)(∀n ∈ N)(n = m + 1) Solución: La proposición dice que: “ Existe un número m que pertenezca a los naturales. Es decir que m=11 y m=5. vertebrado pero no es mamífero c) (∀x)(Hx → (Ax ∧ Mx ∧ Vx)) Solución: Para todo ente x se tiene que si es hombre entonces es un animal. EJERCICIO 5 Simbolizar los siguientes enunciados c) “Existe un número real. podemos encontrar m haciendo que: m = n − 1 . . lo cual es una contradicción pues la proposición dice que existe al menos un elemento que siempre hace cumplir esa igualdad. H x : x es un hombre .“ Solución: Simbolización: (∃x. que sumado con cualquier número real. para cualquier otro número n que pertenezca a los naturales que hace que n = m + 1 “. x ∈ R)(∀y. 31 EJERCICIO 4 Negar la proposición: “Ningún hombre es mortal” Solución: Sea. x ∈ Z+ )[~ (x 2 < 0)] EJERCICIO 6 Expresar en el lenguaje corriente los enunciados simbolizados que se presentan a continuación. entonces la expresión en símbolos es: (∀x) : ~ P(x) Negación: ~ [(∀x) : ~ P(x)] ≡ (∃x) :P(x) .

y) Solución Para cada x y para cada y se cumple que y es mas alto que x. 32 EJERCICIO 8 Considerando las funciones proposicionales: P(x.y) → Q(x. Por tanto. Solución Suponga que m y n son enteros impares (hipótesis auxiliar). Luego mn es impar y por tanto. ∀y. EJERCICIO 9 Expresar en función de los signos (→. y) → P(x. mn también es impar. ya que si x = 2.y): x es mas rápido que y Q(x. entonces y es mas alto que x b) ∀x. 2k1k2 + k1 + k2 = k. luego.y): y es más alto que x Escriba en lenguaje simbólico lo siguiente: a) P(x.Q(x. ↔) las fórmulas: a) ~ (x ∈ A ∨ x ∈ B) ∨ (x ∈ A ∪ B) Solución: ~ (x ∈ A ∨ x ∈ B) ∨ (x ∈ A ∪ B) (x ∈ A ∨ x ∈ B) → (x ∈ A ∪ B) ~ (~ (x ∈ A ∨ x ∈ B)) → (x ∈ A ∪ B) ~ (x ∉ A ∧ x ∉ B) → (x ∈ A ∪ B) Ley del condicional Ley de doble negación Ley de Morgan b) ~ (~ (~ (x ∈ A)∨ ~ (x ∈ B))) ∨ (x ∈ A ∩ B) Solución: ~ (~ (~ (x ∈ A)∨ ~ (x ∈ B))) ∨ (x ∈ A ∩ B) ~ (~ (~ ((x ∈ A) ∧ (x ∈ B)))) ∨ (x ∈ A ∩ B) ~ ((x ∈ A) ∧ (x ∈ B)) ∨ (x ∈ A ∩ B) ((x ∈ A) ∧ (x ∈ B)) → (x ∈ A ∩ B) Ley de Morgan Ley de doble negación Ley del condicional EJERCICIO 10 Negar las siguientes proposiciones y dar su valor de verdad a) (∀x ∈ ℝ )(x 3 ≥ 0) Solución (∃x ∈ ℝ)(x 3 < 0) Esta proposición es verdadera b) (∃x ∈ ℝ)(∀y ∈ ℤ)( x + y ≠ 5) Solución (∀x ∈ ℝ)(∃y ∈ ℤ)( x + y = 5) Esta proposición es falsa. . entonces: m = 2k1 + 1 y n = 2k2 + 1. ∧. entonces su producto mn es un entero impar. k ∈ Z. y x es mas rápido que y. con k1 y k2 enteros. Ahora (2k1k2 + k1 + k2 ) ∈ Z.y) Solución Si x es mas rápido que y. se concluye que: Si m y n son impares.LOGICA MATEMATICA . Esto es: mn = 2k + 1. no hay ningún y ∈ ℤ tal que x +y=5 EJERCICIO 11 Usando el método directo demostrar que si m y n son números enteros impares. mn = ( 2k1 + 1 ) ( 2k2+ 1 ) = 4k1k2 + 2k1+2k2 +1 = 2(2k1k2 + k1 + k2 ) + 1.

• • • • Como 2 = a / b entonces 2 = a 2 /b 2 y por tanto 2b 2 =a 2 . De esa forma tenemos que ~p es falsa y p es verdadera. 2 = a / b . Se ha demostrado que a y b son PARES y por lo tanto tienen factor común 2. por tanto. por lo tanto b es PAR. l∈ ℤ . es decir que 3n+2 es par. entonces 2b 2 = 4c 2 por lo que b 2 = 2c 2 esto significa que b2 es PAR. q(x) : x 2 > 1 . EJERCICIO 13 Demostrar que Solución Sea p: la proposición 2 es irracional 2 es irracional y supongamos que ~p es verdadera. • • • Entonces se nota que ~p implica tanto r como ~r donde r es la sentencia a y b son enteros sin FACTORES COMUNES. Sea • 2 un racional. Bien. EJERCICIO 14 Hallar el conjunto de verdad de: ~ [p(x) → q(x)] donde p(x) : x 2 = 1 . Solución Vamos a utilizar el método del contrarecíproco. Entonces 2 es racional. Esto es una CONTRADICCION a la suposición de que en 2 = a / b . Mostraremos que esto nos conduce a una contradicción. y a es de la forma a =2c para algún c ∈ ℤ . o sea. Entonces: 3n+2=3(2k)+2=2(3k)+2=2(3k+1) Sea l = 3k+1 . 33 EJERCICIO 12 Demostrar que si 3n + 2 es impar. es decir que n es par. x ∈ Z Solución: ~ [p(x) → q(x)] ≡ p(x)∧ ~ q(x) S = {x ∈ ℤ/ ~ [p(x) → q(x)]} = {x ∈ ℤ/ p(x)∧ ~ q(x)} = {x ∈ ℤ/ x 2 = 1 ∧ x 2 ≤ 1} = {x ∈ ℤ/ x = ±1 ∧ −1 ≤ x ≤ 1} = {x ∈ ℤ/ x = ±1} .LOGICA MATEMATICA . es decir 2 es IRRACIONAL. En consecuencia. entonces n es impar. entonces n = 2k para algún entero k y demostraremos ~p es decir que 3n+2 es par. Esto significa que a2 es PAR. Para que ~ p → F sea verdadera ~p debe ser FALSA y por tanto p es VERDADERA. a y b no tiene FACTORES COMUNES. ~p. 3n+2=2l . donde a y b no tiene FACTORES COMUNES ( o sea no hay una Existen dos enteros a y b de tal forma que fracciona equivalente a a/b mas pequeña). Sean: p: 3n+2 es impar q: n es impar Suponemos la ~q. entonces a es PAR.

∃y : ( x. Sea “p: El ecuatoriano el pobre”. Que enunciados son verdaderos a) (∀x ∈ R )(∃y ∈ R ) ( y > x ) b) (∃y ∈ R )(∀x ∈ R ) ( y > x ) c) (∀x ∈ R )(∃y ∈ R ) (2 x + y = 0) d) (∃y ∈ R )(∀x ∈ R ) ( x. n) Para todo número entero existe otro número entero mayor que él.2. existe un número real tal que su suma es igual a cero.1. Determine el valor lógico de las proposiciones. p) Todo entero de la forma 6k+5 es también de la forma 3k+2. ∀y : ( x + y = 2 ∨ x − y = −2) ∀x. P1: Si todo número natural es mayor o igual a cero. k) Existe un número natural menor o igual que cualquier número natural. 15. Por lo tanto: Algunos números naturales son menores que cero. ∀x : x + y = 0 ∃x. i) Todo número entero es par o impar.3} determine el valor de verdad de: a) ∀x ∈ A : x 2 + 1 = 10 b) ∃x ∈ A : x 2 + 1 = 5 c) ∀x ∈ A : x 2 − 3 = 0 d) ∃x ∈ A : 2 x = 1 6. Px: x es un abogado Qx: x es un doctor Rx: x es honesto Sx: x es político a) ~ (∃x)( Px ∧ ~ (Qx )) b) ~ (∀x)( Px → ( Rx)) c) (∃x)( Px →~ ( Sx )) d) (∀x )(Qx ∨ ( Sx )) 10. entonces de la existencia de algunos números irracionales se deduce que no pueden ser racionales” 12. Hallar el valor de verdad de: (p ∧ q) → (~ p ∧ r) . a) ∀x : x + 1 = 2 b) ∃x : x + 3 ≤ 5 c) d) e) f) g) h) i) j) k) ∀x : ~ ( x 2 + 1 ≤ 0) ∀x. Utilice esta notación para expresar mediante simbología de la lógica matemática la siguiente proposición. Determine cuales son equivalentes entre sí: a) Hay ecuatorianos pobres e infelices b) Algunos ecuatorianos no son pobres ni infelices c) Es falso que todo ecuatoriano es pobre. Expresar en el lenguaje corriente los enunciados simbolizados que se presentan a continuación. Escriba en forma simbólica los siguientes enunciados. Ix: x es número irracional. existe un entero positivo n tal que nx > y . Utilizando reglas de inferencia. y algunos números enteros no son racionales. y son enteros positivos. si: p: ∀x ∈ R : x 2 + 1 ≠ 0 q: ∃x ∈ Q : x + 3 = 3 x − 5 r: ∃x ∈ R : x 2 + 3x + 1 = 0 7. j) La ecuación x 2 + 1 = 0 no tiene solución en los reales. l) Para todo número real. simplifique y niegue la siguiente proposición: “Si todos los ecuatorianos apoyan al gobierno.LOGICA MATEMATICA . compruebe si el siguiente razonamiento es válido. entonces algunos números naturales son impares. demostrar que el número real 2 es irracional. Escriba en palabras la negación de la proposición: “Ni algunos políticos son corruptos. Por el método indirecto. ( ∃n ∈ N ) : (1/ n) <∈ (∀ ∈> 0)( ∀a ∈ R )(∃n ∈ N ) : (n ∈> a ) 8.0 < 1) (∀ ∈> 0). 34 EJERCICIOS PROPUESTOS 1. m) Si x . ∀y / x 2 + y 2 > 4 c) ∃x. Simplificar la siguiente proposición y negar el resultado [(∃x ~ px ) → (∀ x ~ qx )] ∧ {[(∃x q x ) → (∀x p x )] ∨ (∀x ~p x )} 11.y ∈ R . pero es cierto que algunos de ellos no son felices. ∃x : x + y = 0 (∀x ∈ R )(∀y ∈ R)(∃z ∈ R )( z < x − y ) ∃y. “ Si de todo número racional se concluye que no es irracional. demostrar que si 3n+2 es impar. Hallar el valor de verdad de las siguientes proposiciones y luego negarlas. Simbolizar las siguientes proposiciones a) Todo número es real b) Ningún Juez es neutral c) Nada se levanta d) No todo lo que brilla es oro e) No hay profesor malo f) Nadie hace las cosas gratis g) Ningún artista es romántico h) La ecuación x 2 − 2x + 1 tiene una solución en los reales. Niegue y simplifique la siguiente proposición ∀x ∈ R : ∃x > 0 : {|x-2|<0 → (x=-2 ∧ x=2)} 5. d) La mayoría de ecuatorianos cuando son pobres son infelices. a) ∃x. y = 0) 9. y = 0 ∧ x + y ≠ 1) ∀x : ( x + 3 = 1 → x. e) El 100% de los ecuatorianos son felices siempre que no sean pobres. 2. entonces n es impar. Utilizando el método de reducción al absurdo. Sean: Rx: x es número racional. 3. algunos partidos políticos no aprobarán la creación de nuevos impuestos” 14. Demostrar que las siguientes proposiciones son lógicamente equivalentes: “Si x2 es par entonces x es par “ “Si x es impar entonces x2 es impar “ 17. ∀y / x + y < 2 b) ∀x. 18. 16. P2: No es cierto que: Algunos número naturales no son pares o todos los números enteros son pares. Si A = {0. 13. y “q: El ecuatoriano es feliz”. Demuestre que la suma de dos impares es par. . Considerar x. ∀y / x 2 + y 2 ≥ 1 4. ni todos los jueces son honrados”. Formalice. o) El producto de dos enteros consecutivos es un número par.

q(x) : x 2 + 2x − 15 . b) El congreso asigna los fondos si y solo si hay consenso entre los diputados c) No hay consenso entre los diputados ∀x ∈ ℕ. 17. Demuestre que si x e y son números reales. Usando las demuestre leyes que del álgebra de es proposiciones lógicamente m = n o m = −n 2. Diga si se puede concluir ~ p a partir de las premisas (p ∨ ~q) → ~ p . Demuestre que n2 = m2 si y sólo si 15. Demostrar que se puede concluir ~ p ∧ q . a partir de las siguientes premisas. 6. 2x + 3 = 7) Simplificar y luego negarla. p proposiciones demuestre que se puede concluir r →~ p . (x i y). ∃y ∈ ℝ / x i y = 1 donde A = {2. x ∈ Z Se puede concluir: El proyecto se ejecuta? 12. Demuestre que es falsa la siguiente proposición (∀x ∈ R) : (6x 2 − x − 2 = 0 → x > 0) 11. 35 MISCELANIA DEL CAPITULO 1. ~ (q ∨ ~ r) . 13. 16. 9. Hallar el conjunto de verdad de: ~ [p(x) → q(x)] donde p(x) : x 2 = 25 . 5. 1/x también lo es. Sabiendo que: a) Si el congreso asigna los fondos. q 8. Demuestre que la suma de dos racionales es un número racional (CONTRADICCION) 4. 2x + 3 ≠ 7 → (∀x ∈ ℕ.0} 23. s. Sean r. x ≠ 0 . Demuestre que el producto de dos racionales es racional. Dadas las siguientes premisas: 2 (~ p ↔ q) ∨ p equivalente a q . demostrar que (x+y). entonces max(x. Si x ∈ ℚ . a) b) c) d) Un entero no puede ser par e impar a la vez Si n2 es par también lo es n Si n es impar también lo es n Si todo número racional puede expresarse en la forma a/b siendo a. y) = x+y . Determinar el valor de verdad de la siguiente [~ (~ p ∨ q)∧ ~ (p∨ ~ q)] ∨ (p ∨ q) 7.b ∈ ℤ . ∀y ∈ ℤ / x i y − 1 ≠ −1 ↔ ∀x ∈ ℤ. 14. a) Expresarla mediante símbolos b) Simplificarla justificando todos sus pasos y dar una proposición equivalente. Dada la siguiente proposición: Si x es par entonces x+1 es múltiplo de 3. p → (~p ∧ q) . 25. 19. Demuestre que si x es irracional. y es irracional. o x es par. Determinar el valor de verdad de la proposición (p ∧ q) → (p ↔ q) 10. bajo las siguientes premisas.LOGICA MATEMATICA . 26. Sean m y n enteros. Demostrar que se puede concluir siguientes premisas: p . (p ∨ ~r) → p . Demuestre que la suma de un irracional y un racional es un irracional. 1} . ~ s ∨ (q ∧ ~ s) .3x = 6 ∧ ∃x ∈ ℕ. (y/x) son todos irracionales. 0. el proyecto se ejecuta. Utilizando reglas de inferencia demostrar que se puede concluir r . q ∨ ~ r . ~ (r ∨ s) . q. Dadas las proposición y luego negarla. Negar a) (∀x ∈ ℝ) : (x + 1 = 0 → x = −1) b) (∃x ∈ ℝ) : (x > 1) ∨ (∀x ∈ ℝ)(x − 1 > 8) 20. e impar si n + 1 es par. q ∨ (r ∧ s) . Demostrar las siguientes afirmaciones. Un entero se llama par si n = 2m para un cierto entero m. entonces uno de ellos por lo menos es impar. r 21. r → (s →~ p) . Simplificar la proposición: p →~ q . Diga si el siguiente razonamiento es válido: P1: p ∨ q → r ↓ t P2: ~ p ∧ q P3: r ∨ s C: s 22. (x-y). Hallar el valor de verdad de: (∃x ∈ A)(∀y ∈ A)(x > 1 − y ↓ x = y) si A = { − 1. ~ q . Demostrar analíticamente que la proposición es una tautología. 24. 18. y)+min(x. (q ∧ ~r) → p . (r ↓ s) . ∃x ∈ A. 3. Determinar en que caso q → [(p ∧ q) ∨ (q → p)] es verdadero si (q ∧ ~ p) es verdad.1.

Sign up to vote on this title
UsefulNot useful