Associe os exemplos a seguir a uma das regras de inferências da questão anterior.
& (1) x>3 x^2>9 & (2) x<-2 x^2>4 & (3) x>3 vee x<-2 hline (4) x^2>9 vee x^2>4

Passo 1

O enunciado apresenta as premissas proposicionais
(1);(x>3)to(x^2>9), (2);(x<-2)to(x^2>4), (3);(x>3)vee(x<-2),
e a conclusão
(4);x^2>9vee x^2>4
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
(Pto Q),(Rto S),(Pvee R)
inferimos
Qvee S

Passo 3

Fazendo as correspondências
Pequiv(x>3), Qequiv(x^2>9), Requiv(x<-2), Sequiv(x^2>4),
as premissas (1) e (2) são Pto Q e Rto S, e a premissa (3) é Pvee R.

Passo 4

Aplicando o dilema construtivo a essas três premissas, concluímos
Qvee S
isto é,
x^2>9vee x^2>4,
como quer a linha (4).

Resposta

A regra de inferência usada é o dilema construtivo.

Exercícios relacionados