UNIVERSIDAD NACIONAL DE EDUCACIN

ENRIQUE GUZMN Y VALLE

Alma Mter del Magisterio Nacional

FACULTAD DE CIENCIAS
DEPARTAMENTO ACADMICO DE MATEMTICA

PROFESOR: Mg. ISRAEL CORONADO

LGICA PROPOSICIONAL
TAUTOLOGA
CONTRADICCIN
CONTINGENCIA
ESQUEMAS PROPOSICIONALES EQUIVALENTES
LA IMPLICACIN LGICA
EQUIVALENCIA LGICA
 Tautologa
Se llama la tautologa toda la proposicon compuesta cuya ltima columna de su tabla de
verdad que posee siempre todas verdaderas.
Ejemplo:
a) b) ) d)
Demostrar que las proposiciones dadas es una tautologia
d) [( ) ] e) [ ~ ] ~

Contradiccin
Se llama la contradiccin toda la proposicon compuesta cuya ltima columna de su
tabla de verdad que posee siempre todas falsas.
Ejemplo:
a) b) ( ) ( ) )
Verificar que las siguiente proposiciones son contradicciones
a) ( ) ( ) b) [ ( )]
 Contingencia
Son proposiciones compuestas que no son ni tautologa ni contradicciones, es
decir, son proposiciones que en algunos casos es falso, y en otros es verdad.
Ejemplo:
a) ~ ) ) ( )

Esquemas Proposicionales Equevalentes

Dos proposiciones y son equivalente o (logicamente equivalentes) si sus tabla de verdad son
idnticas. En este caso se denota .
Ejemplo:
a) y ~ ~ b) y ( ) ( )
c) y ( )
 La implicacin lgica
Se llama implicacin lgica o simpemente implicacin a toda proposicin
condicional A es una tautologa se dice que implica logicamente a y
denotaremos por A
Ejemplo:
Verifica si la siguiente condicional es una impliocacin lgica.
A.
B. ~
A. ~ ~
B. ~
 Equivalencia lgica
Se llama equivalencia lgica o simplemente equivalencia a toda
bicondicional A es una tautologa se dice que A es lgicamente
equivalente a B y lo denotaremos como A .
Ejemplo:
Verifica si la siguiente bicondicional es una equivalencia lgica.
a) ) ( ) ( )
c) ~