Clasificacin de las Tablas de Verdad

El resultado de las tablas de verdad se pueden clasificar en:

Tautologa: Es aquella proposicin compuesta que es cierta para todos los valores
de verdad que se asignen a cada una de las proposiciones (1,1,1,1,1,1)

Esto quiere decir que todo el resultado ser 1.

Contradiccin: Una proposicin compuesta corresponde a una contraccin cuando

los valores de verdad que se asignen a cada una de las proposiciones son falsas.
(0,0,0,0,0,0)

Osea que todo el resultado ser 0.

Contingencia: Una proposicin compuesta cuyos valores en sus diferentes lneas de

la tabla dan como resultado 1 y 0 se conoce como contingencia, inconsistencia o falacia.

Leyes DeMorgan

El lgico del siglo XIX Augustos de Morgan, descubri 2 equivalencias lgicas que desde entonces
llevan su nombre.
Una de ellas se puede expresar de la siguiente modo negacin:

(p^q) p v q

p q p q (p ^ q) (p ^ q) p v q

0 0 1 1 1 1

0 1 1 0 0 1

1 0 0 1 0 1

1 1 0 0 0 1

(p v q) p ^ q

p q p q (p v q) (p v q) p ^ q

0 0 1 1 1 1

0 1 1 0 0 1

1 0 0 1 0 1

1 1 0 0 0 1
3.1.4 Tautologas, Contradiccin y Contingencia.
Con cinco conectivas lgicas bsicas se construyen proposiciones compuestas que pueden
ser tautologas, contradicciones o contingencias.

Si la tabla de verdad de la proposicin es siempre verdadera, independientemente de

la verdad o falsedad de las proposiciones simples, entonces la expresin
es tautolgica.

Si la tabla de verdad es siempre falsa, ser unacontradiccin.

Si es verdadera y falsa, la proposicin es una contingencia.

TAUTOLOGA: Una proposicin compuesta es una tautologa si es verdadera para todas

las asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra
forma, su valor V no depende de los valores de verdad de las proposiciones que la forman,
sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras.
Sea el caso:

CONTRADICCIN: Se entiende por proposicin contradictoria, o contradiccin, aquella

proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de
otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman,
sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el
caso:

CONTINGENCIA:Se entiende por verdad contingente, o verdad de hecho, aquella

proposicin que puede ser verdadera o falsa, (combinacin entre tautologa y
contradiccin) segn los valores de las proposiciones que la integran. Sea el
caso: