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,
Provas
Questão presente nas seguintes provas
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,
