Associe os exemplos a seguir a uma das regras de inferências da questão anterior.
Passo 1
O enunciado apresenta as premissas proposicionais
e a conclusão
O conteúdo é aplicação de regras de inferência em lógica proposicional.
Passo 2
A regra utilizada é o dilema construtivo, que diz: a partir de
inferimos
Passo 3
Fazendo as correspondências
as premissas (1) e (2) são
e
, e a premissa (3) é
.
Passo 4
Aplicando o dilema construtivo a essas três premissas, concluímos
isto é,
como quer a linha (4).
Resposta
A regra de inferência usada é o dilema construtivo.