Вы находитесь на странице: 1из 4

Tautologas. Equivalencias lgicas. Implicaciones lgicas.

Una proposicin que siempre es verdadera se llama tautologa.


Un ejemplo muy importante es:
pp.
Esta tautologa se le conoce como el principio del medio excluido.
La proposicin p p es otro ejemplo de tautologa.
Para las tautologas reservaremos la letra t.
La negacin de una tautologa es llamada una contradiccin.
Una contradiccin es una proposicin que siempre es falsa. (por qu?)
Un ejemplo muy importante es:
pp.
Esta proposicin nos dice que una proposicin no puede ser falsa y verdadera al mismo
tiempo.
Para las contradicciones reservaremos la letra c.
Hay dos tipos de tautologas particularmente importantes en Lgica Matemtica:
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 lgicas mientras que a las de la segunda forma
les llamamos implicaciones lgicas.
La importancia de estas tautologas es que son las reglas que nos permiten transformar,
deducir u obtener informacin a partir de lo (supuestamente) dado por cierto.
EJEMPLOS DE EQUIVALENCIAS LGICAS
Para indicar que una bicondicional es una implicacin lgica, en lugar de usar
usaremos .
1.

p (p)

Ley de la doble negacin.

2.

p q q p

Leyes conmutativas de la
disyuncin,
de la conjuncin,
de la bicondicional.

3.

p q r p q r
p q r p q r

Leyes asociativas de la
disyuncin,
de la conjuncin,

p q q p
p q q p

4.

p q r p q r

de la bicondicional.

p q r p q p r

Leyes distributivas

p q r p q p r

5.
6.

7.

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.

Leyes de identidad

p q p q

p q p q
p q p q

8.
9.
10.

p q q p
p q p q
p q p q
p q p q
p q p q

11.

p r q r p q r
p q p r p q r

12.

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 implicacin

Ley de la equivalencia

Ley de la reduccin al
absurdo

14. (p q) (p q)
15. (p c)

Ley del absurdo

Tpicamente el uso que se le da a las equivalencias lgicas es que en una proposicin


compuesta P si reconocemos un lado de una equivalencia lgica podemos sustituirlo por el
otro. Esto tiene la ventaja de que no se cambia el valor de verdad de P y, si se usa
adecuadamente, se puede obtener una proposicin ms sencilla.
Por ejemplo:
2

Si tenemos
P = (pc)(pq) , entonces podemos construir
P= (p)(pq)
y
despus
P= (p)( pq), y luego P= ((p) p) q para obtener finalmente P= (p p)
q. Observe que los parntesis se usan slo para agrupar las proposiciones y se pueden
desaparecer cuando la proposicin que obtengamos sea la misma.
Pregunta: Cules fueron las leyes usadas y en qu orden en el ejemplo anterior?

EJEMPLOS DE IMPLICACIONES LGICAS


1.
2.
3.
4.

p (p q) q

5.

5. (p q)

6.

6. p q (p q)

p p q

(p q) p
(p q)
q

p q

Modus ponens
Adicin
Simplificacin
Modus tollens
Silogismo disyuntivo

7.

(p q) (q r) (p r)

8.

(p q) (p r) (q r)
(p q) (p r) (q r)
(p q) (q r) (p r)

9.

(p q) (r s) (p r) (q s)
(p q) (r s) (p r) (q s)

10. (p q) (r s) (

r)

(p q) (r s) (
r)

q s) (

Transitividad de o
silogismo hipottico

Dilemas constructivos

q s) ( p