LOGICA ll

Ejemplo: La tabla de verdad d. [(- p -+ q) - q ] -+ p. es:

^
p q t
V V F V V F F V V
V F F V F V V V
F V V V V F F V F

!-l
F F V F F F' V V F

rA*--l
Y
Según la columna " R", la fórmula dada es una tautología.

4.2.2. CONTRADICCIÓN Es una fórmula proposicional que es falsa para cualquier

valor de verdad de las proposiciones que la componen.

Ejemplo: La tabla de verdad de la formula proposicional

(-p-+ 9) e (-pn-q) , es:

p q (-p -+ q) <> (-p A -q)
V V F V V F F F F

F F V F F F F V
F V V V F V F F

F F V F F F V V V

ró---l L-*ó*--,
-,1,_

Según la columlta " It". la forntula dada es una contradicción.

4.2.3 COi\TINGENCIA Es Llna fónlula proposicional qLrc no es tautología ni

contradicción.