(1) x ≠ 1 ⟶ x . y ≠ y . (2) x.y =1 Ao utilizar a regra Mo...
(1) x ≠ 1 ⟶ x . y ≠ y .
(2) x.y =1
Ao utilizar a regra Modus tollens, a conclusão para o par de
premissas apresentadas é a seguinte:
(1) x ≠ 1 ⟶ x . y ≠ y .
(2) x.y =1
Ao utilizar a regra Modus tollens, a conclusão para o par de
premissas apresentadas é a seguinte: