Simulado Diretoria Geral da Administração Penitenciária - DGAP/GO | Agente de Segurança Prisional | 2019 | Questão 355

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