You are on page 1of 4

Tautologías. Equivalencias lógicas. Implicaciones lógicas.

Una proposición que siempre es verdadera se llama tautología.
Un ejemplo muy importante es:
pp.
Esta tautología se le conoce como el principio del medio excluido.
La proposición p  p es otro ejemplo de tautología.
Para las tautologías reservaremos la letra t.
La negación de una tautología es llamada una contradicción.
Una contradicción es una proposición que siempre es falsa. (¿por qué?)
Un ejemplo muy importante es:
pp.
Esta proposición nos dice que una proposición no puede ser falsa y verdadera al mismo
tiempo.
Para las contradicciones reservaremos la letra c.
Hay dos tipos de tautologías particularmente importantes en Lógica Matemática:
a) Las que tienen la forma de una bicondicional y
b) Las que tienen la forma de una condicional.
A las primeras les llamamos equivalencias lógicas mientras que a las de la segunda forma
les llamamos implicaciones lógicas.
La importancia de estas tautologías es que son las reglas que nos permiten transformar,
deducir u obtener información a partir de lo (supuestamente) dado por cierto.
EJEMPLOS DE EQUIVALENCIAS LÓGICAS
Para indicar que una bicondicional es una implicación lógica, en lugar de usar
usaremos “”.
1.

p  (p)

Ley de la doble negación.

2.

 p  q    q  p

Leyes conmutativas de la
disyunción,
de la conjunción,
de la bicondicional.

3.

  p  q   r   p   q  r  
  p  q   r   p   q  r 

Leyes asociativas de la
disyunción,
de la conjunción,

 p  q   q  p
 p  q   q  p

“”,

1

9. si se usa adecuadamente.  p  q  r   p   q  r  de la bicondicional.4.  p  q     p  q    q  p  :   p  q   r   p   q  r  13. (p  q) (p   q)  c Ley de la contrapositiva Leyes de la implicación Ley de la equivalencia Ley de la reducción al absurdo 14. (p  c)  p Ley del absurdo Típicamente el uso que se le da a las equivalencias lógicas es que en una proposición compuesta P si reconocemos un lado de una equivalencia lógica podemos sustituirlo por el otro. se puede obtener una proposición más sencilla. 6.  p  p  p  p  p  p p   p  c  p  c  c  p  t  t  p  t  p  p   p  t  p   p  c Leyes de idempotencia  p  q     p   q  Leyes de De Morgan.  p  q     q   p  p  q    p  q  p  q    p   q   p  q    p  q  p  q    p  q  11. Esto tiene la ventaja de que no se cambia el valor de verdad de P y. Por ejemplo: 2 .   p  r    q  r      p  q  r   p  q   p  r    p   q  r  12. 10. (p  q)  (p  q) 15. 7. Leyes de identidad  p  q     p   q   p  q     p   q  p  q     p   q 8.  p   q  r    p  q   p  r  Leyes distributivas  p   q  r      p  q   p  r   5.

6. (p  q)  6. entonces podemos construir P’= “(p)(pq)” y después P’’= “(p)( pq)”. y luego P’’= “((p) p) q” para obtener finalmente P’’= “(p p) q”. Observe que los paréntesis se usan sólo para agrupar las proposiciones y se pueden desaparecer cuando la proposición que obtengamos sea la misma. 2. p  (p  q)  q 5. 5.Si tenemos P = “(pc)(pq)” . 4. p  q  (p  q) p   p  q (p  q)  p (p  q)  q   q  p  q Modus ponens Adición Simplificación Modus tollens Silogismo disyuntivo 3 . 3. Pregunta: ¿Cuáles fueron las leyes usadas y en qué orden en el ejemplo anterior? EJEMPLOS DE IMPLICACIONES LÓGICAS 1.

(p  q)  (r  s)  (p  r)  (q  s) (p  q)  (r  s)  (p  r)  (q  s) 10.7. (p  q)  (q  r)  (p  r) 8. (p  q)  (r  s)  (  r) (p  q)  (r  s)  ( r)   q   s)  ( Transitividad de  o silogismo hipotético Dilemas constructivos  p  q   s)  (  p  4 . (p  q)  (p  r)  (q  r) (p  q)  (p  r)  (q  r) (p  q)  (q  r)  (p  r) 9.