Las tablas de verdad es una estrategia de la lógica simple que permite establecer la validez de varias propuestas en cuanto a cualquier situación, es decir, determina las condiciones necesarias para que sea verdadero un enunciado propuesto, permitiendo clasificarlos en tautológicos (resultan verdaderos durante cualquier situación) contradictorias (son enunciados falsos) o contingentes (enunciados que será tantos verdaderos como falsos no existen tendencia a un solo sentido).
Simbologia:
ž¬,
negación, No
žɅ,
conjunción, Y
žV,
Disyunción, O
ž→,
Condicional, Entonces
ž↔,
Bicondicional, Si y Solo Si
Tablas de Verdad
Negación:
|
P
|
¬ P
|
|
0
|
1
|
|
1
|
0
|
|
P
|
Q
|
P Ʌ Q
|
|
0
|
0
|
0
|
|
1
|
0
|
0
|
|
0
|
1
|
0
|
|
1
|
1
|
1
Disyunción
|
|
P
|
Q
|
P V Q
|
|
0
|
0
|
0
|
|
1
|
0
|
1
|
|
0
|
1
|
1
|
|
1
|
1
|
1
Entonces
|
|
P
|
Q
|
P → Q
|
|
0
|
0
|
1
|
|
1
|
0
|
0
|
|
0
|
1
|
1
|
|
1
|
1
|
1
Si y solo si
|
|
P
|
Q
|
P ↔ Q
|
|
F
|
F
|
1
|
|
V
|
F
|
0
|
|
F
|
V
|
0
|
|
V
|
V
|
1
|
No hay comentarios:
Publicar un comentario