Universidad Catlica Los ngeles Matemtica y Lgica

de Chimbote
TAUTOLOGA

4.8 Tautologa. Es toda proposicin 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 Contradiccin: Es toda proposicin 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 (pq) [(pq)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 proposicin 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 nmero de proposiciones y la base los dos

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

Mg. Julio Nez Cheng 1

Universidad Catlica Los ngeles Matemtica y Lgica
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 Lgicamente Equivalentes. Dos proposiciones p y q

se llaman equivalentes, si sus tablas de verdad son idnticas. 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 proposicin ~ 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 idnticas y por eso son
proposiciones lgicamente equivalentes o simplemente equivalentes. Se
simboliza

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

Mg. Julio Nez Cheng 2

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
4.13 Leyes del lgebra Proposicional. En el clculo proposicional existen
tautologas tiles, cuya demostracin requiere hallar su tabla de verdad.

Doble Negacin. ~ (~ p) p

Idempotencia. (p p) p (p v p) p

Conmutatividad.

De la disyuncin. (p v q) (q v p)
De la conjuncin. (p q) (q p)

Asociatividad.

De la disyuncin. [(p v q) v r] [p v (q v r)]

De la conjuncin: [(p q) r] [p (q r)]

Leyes de De Morgan.

La negacin de una disyuncin, equivale a la conjuncin de las

negaciones.

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

La negacin de una conjuncin, equivale a la disyuncin de las

negaciones.

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

Ley del Tercio excluido.

(p v ~ p) V

Ley de Contradiccin.

(p ~ p) F

Las equivalencias lgicas, sirven para simplificar proposiciones compuestas.

4.14 Implicacin: Es toda condicional que resulta siempre tautolgica.

Si p q es una tautologa, se dice que p implica lgicamente a q y se

representa por:
pq

Mg. Julio Nez Cheng 3

Universidad Catlica Los ngeles Matemtica y Lgica
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 tautologa, por lo que

podemos afirmar que:

( p q) Implica a (p q)

Es decir, su tabla de verdad es tautolgica.

Conclusin: Si P implica a Q, su valor de verdad es una tautologa

Mg. Julio Nez Cheng 4