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