(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:
Fonte: 104 - ANALISTA ADMINISTRATIVO E OPERACIONAL - AUDITOR / CEITEC S/A / 2016 / IADES