Simulado Agência Reguladora de Águas, Energia e Saneamento Básico do Distrito Federal - ADASA | Técnico de Regulação de Serviços Públicos | 2020 | Questão 156

Matemática e Raciocínio Lógico / Lógica de primeira ordem

(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