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