Universidad Católica Los Ángeles Matemática y Lógica

de Chimbote
TAUTOLOGÍA

4.8 Tautología. Es toda proposición simple o compuesta, cuyo valor de verdad

es siempre verdadero.

Ejemplo: La tabla se representa: [ ( p  q )  q ]  p

p q ( p  q ) [ ( p  q )  q ]  ~p
V V V F V F
V F F F V F
F V V F V V
F F V V V V

4.9 Contradicción: Es toda proposición que resulta siempre falsa, para todas
las combinaciones de sus valores de verdad.

Ejemplo: Hallar la tabla de verdad: [ ( p  q )  q ]  q

p q (pq) [(pq)q]  q
V V V V F F
V F F F F V
F V F V F F
F F F F F V

4.10 Contingencia. Cuando la proposición compuesta contiene al menos uno

verdadero o al menos uno falso.

4.11 Combinaciones de Proposiciones. Cuando se tienen dos

proposiciones, se pueden obtener cuatro combinaciones posibles (22) y cuando
se tienen tres proposiciones, se obtiene ocho combinaciones (23) y así
sucesivamente:

Nº PROPOSICIONES COMBINACIONES
2 22 = 4
3 23 = 8
4 24 = 16
5 25 = 32
6 26 = 64

El exponente representa el número de proposiciones y la base los dos

valores de verdad: verdadero y falso.
Para el caso de tres proposiciones se tiene:

Mg. Julio Núñez Cheng 1

Universidad Católica Los Ángeles Matemática y Lógica
de Chimbote

p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

4.12 Proposiciones Lógicamente Equivalentes. Dos proposiciones p y q

se llaman equivalentes, si sus tablas de verdad son idénticas. Se representa por:

p q

La tabla de p q es:

p q p q
V V V
V F F
F V V
F F V

La tabla de verdad de la proposición ~ p v q resulta:

p q ~ p v q
V V V
V F F
F V V
F F V
Los valores de verdad de ambas proposiciones son idénticas y por eso son
proposiciones lógicamente equivalentes o simplemente equivalentes. Se
simboliza

(p q) (~ p  q)
Las proposiciones equivalentes, pueden sustituirse sin afectar sus valores de
verdad.

Mg. Julio Núñez Cheng 2

Universidad Católica Los Ángeles Matemática y Lógica
de Chimbote
4.13 Leyes del Álgebra Proposicional. En el cálculo proposicional existen
tautologías útiles, cuya demostración requiere hallar su tabla de verdad.

 Doble Negación. ~ (~ p) p

 Idempotencia. (p  p) p (p v p) p

 Conmutatividad.

De la disyunción. (p v q) (q v p)
De la conjunción. (p  q) (q  p)

 Asociatividad.

De la disyunción. [(p v q) v r] [p v (q v r)]

De la conjunción: [(p  q)  r] [p  (q  r)]

 Leyes de De Morgan.

La negación de una disyunción, equivale a la conjunción de las

negaciones.

~ (p v q) (~ p  ~ q)

La negación de una conjunción, equivale a la disyunción de las

negaciones.

~(p q) (~ p v ~q)

 Ley del Tercio excluido.

(p v ~ p) V

 Ley de Contradicción.

(p  ~ p) F

Las equivalencias lógicas, sirven para simplificar proposiciones compuestas.

4.14 Implicación: Es toda condicional que resulta siempre tautológica.

Si p  q es una tautología, se dice que p implica lógicamente a q y se

representa por:
pq

Mg. Julio Núñez Cheng 3

Universidad Católica Los Ángeles Matemática y Lógica
de Chimbote
Ejemplo: Hallar la tabla de verdad de: ( p  q) (p  q)

p q ( p  q) (p  q)
V V F V V
V F F V V
F V V V V
F F F V F

Como se puede observar, su tabla de verdad es una tautología, por lo que

podemos afirmar que:

( p  q) Implica a (p  q)

Es decir, su tabla de verdad es tautológica.

Conclusión: Si P implica a Q, su valor de verdad es una tautología

Mg. Julio Núñez Cheng 4