As fórmulas lógicas (P ^ Q → R) ↔ ( P → (Q → R)), (x = 1 v...
As fórmulas lógicas
(P ^ Q → R) ↔ ( P → (Q → R)),
(x = 1 v x > 3) ↔ ~(x < 3 ^ x = 1),
~P → Q ^ P,
são, respectivamente,
As fórmulas lógicas
(P ^ Q → R) ↔ ( P → (Q → R)),
(x = 1 v x > 3) ↔ ~(x < 3 ^ x = 1),
~P → Q ^ P,
são, respectivamente,