Tautologia, Contradiccion y Contigencia

3.- Tautología, Contradicción, Contingencia

Dada la estructura lógica de una forma proposicional:

* Si se tienen solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales, se dice que es una TAUTOLOGÍA.

* Si se tienen solamente proposiciones falsas para todos los valores de verdad de las variables proposicionales, se dice que es una

CONTRADICCIÓN.

* Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variables proposicionales, se dice que es una CONTINGENCIA.

Ejercicios

*1.  Encontrar si    [( Ø p Ù q)  Þ  Ø r ] Þ [ r Ù Ø ( p Ú Ø q )]    es tautología, contradicción y contingencia.

p	q	r	[(Ø p      Ù         q )    Þ   Ø r ]    Þ     [ r      Ù   Ø (   p     Ú    Ø q )]
0 0 0 0 1 1 1 1	0 0 1 1 0 0 1 1	0 1 0 1 0 1 0 1	1 1 1 1 0 0 0 0	0 0 1 1 0 0 0 0	0 0 1 1 0 0 1 1	1 1 1 0 1 1 1 0	1 0 1 0 1 0 1 0	0 1 0 1 0 1 0 1	0 1 0 1 0 1 0 1	0 0 1 0 0 0 0 0	0 0 1 1 0 0 0 0	0 0 0 0 1 1 1 1	1 1 0 0 1 1 1 1	1 1 0 0 1 1 0 0

Es contiguencia:

2. Encontrar si   p Ù q   Þ   p Ú q es contradicción tautología y contingencia

p	q	p   Ù   q	Þ	p    Ú   q
0 0 1 1	0 1 0 1	0 0 0 1	1 1 1 1	0 1 1 1

Es tautología:

3. Identifique cuál de las siguientes formas proposicionales es tautológica:

a)  ( p    q)  d) [ p  (p   q)]  q

b)   ( p  q)    e) (p  v q)  (p  q)

c) p  v (p  q)

p	q	p      q	[ p  (p   q)]	[ p  (p   q)]  q
0 0 1 1	0 1 0 1	1 1 0 1	0 0 0 1	1 1 1 1

4.  Identique si es tautológica  ( p  Ú  q )   Þ  ( p Þ Ø q )          

p	q	( p  Ú  q )       Þ      ( p Þ Ø q )
0 0 1 1	0 1 0 1	0                 1               1             1                1               1         1                1               1          1               0               0

No es tautológica.

56. Demuestre que la siguiente forma proposicional es tautológica.

[(p  Þ   q) Þ   r] Þ   [p Þ   (q   Þ   r)

p	q	r	[( p       Þ    q)    Þ     r]   Þ   [  p    Þ   ( q    Þ      r)
0 0 0 0 1 1 1 1	0 0 1 1 0 0 1 1	0 1 0 1 0 1 0 1	0 0 0 0    1 1 1 1	1 1 1 1 0 0 1 1	0 0 1 1 0 0 1 1	0 1 0 1 1 1 0 1	0 1 0 1 0 1 0 1	1 1 1 1 1 1 1 1	0 0 0 0 1 1 1 1	1 1 1 1 1 0 1 1	0 0 1 1 0 0 1 1	1 1 0 1 1 0 1 1	0 1 0 1 0 1 0   1