Matriz de consistencia de las proposiciones lógicas

nombre Conjunción Disyunción Disyunción fuerte Condicional Bicondicional Negación conjunta Incompatibilidad Negación

notación pΛq pVq p∆q p→q p↔q p↓q p │q ~p

lectura pyq poq opoq Si p entonces q p cuando y sólo cuando q ni p ni q no p o no q no p

propiedad intrínsIca [ V(p Λ q) = 1] <=> [ V(p) = V (q) = 1] [ V(p V q) = 0] <=> [ V(p) = V(q) = 0] [ V(p ∆ q) = 0] <=> [ V(p) = V(q) ] [ V(p → q) = 0] <=> [ V(p) = 1 Λ V(q) = 0] [ V(p ↔ q) = 1] <=> [ V(p) = V(q) ] [ V(p ↓ q) = 1] <=> [ V(p) = V(q) = 0] [ V(p | q) = 0] <=> [ V(p) = V(q) = 1]

conclusión 1000 Contingencia 1110 Contingencia 0110 Contingencia 1011 Contingencia 1001 Contingencia 0001 Contingencia 0111 Contingencia 01 Contingencia