Tautología
Es una fórmula siempre válida, sean cuales sean los valores de verdad de
las proposiciones que la integran, es una fórmula cuya tabla de verdad final
sólo tiene verdaderos ( V ).
Sea el caso:
Ejemplo:
p ∨ ¬ q Se lee “p o no
q”
p
|
v
|
¬
|
q
|
V
|
V
|
F
|
V
|
F
|
V
|
V
|
F
|
Contradicción
Es una fórmula no válida nunca, sean cuales sean los valores de verdad
de las proposiciones que la integran, es una fórmula cuya tabla de verdad final
sólo tiene falsos ( F).
Sea el caso:
Ejemplo:
p ∧ ¬ q Se lee “p
y no q”
p
|
∧
|
¬
|
q
|
V
|
F
|
F
|
V
|
F
|
F
|
V
|
F
|
No hay comentarios:
Publicar un comentario