Lógica - Regras de Substituição
Last updated
Last updated
São válidas quer na lógica proposicional quer na lógica de primeira ordem.
~(A ^ B) = ~A V ~B
~(A V B) = ~A ^ ~B
Leis de DeMorgan generalizadas (estas são específicas da lógica de primeira ordem):
~~A = A
A => B = ~A V B
A => B = ~B => ~A
A ^ B = B ^ A
A V B = B V A
(A ^ B) ^ C = A ^ (B ^ C)
(A V B) V C = A V (B V C)
A ^ (B V C) = (A ^ B) V (A ^ C)
A V (B ^ C) = (A V B) ^ (A V C)
