Matriz de consistencia de las proposiciones lógicas

nombre notación lectura propiedad intrínsIca conclusión

1000
Conjunción pΛq pyq [ V(p Λ q) = 1] <=> [ V(p) = V (q) = 1]
Contingencia

1110
Disyunción pVq poq [ V(p V q) = 0] <=> [ V(p) = V(q) = 0]
Contingencia
0110
Disyunción fuerte p∆q opoq [ V(p ∆ q) = 0] <=> [ V(p) = V(q) ]
Contingencia
1011
Condicional p→q Si p entonces q [ V(p → q) = 0] <=> [ V(p) = 1 Λ V(q) = 0]
Contingencia
p cuando y sólo 1001
Bicondicional p↔q [ V(p ↔ q) = 1] <=> [ V(p) = V(q) ]
cuando q Contingencia
Negación 0001
p↓q ni p ni q [ V(p ↓ q) = 1] <=> [ V(p) = V(q) = 0]
conjunta Contingencia
0111
Incompatibilidad p │q no p o no q [ V(p | q) = 0] <=> [ V(p) = V(q) = 1]
Contingencia
01
Negación ~p no p
Contingencia