Indicar a regra de inferencia gue fustifica a validade dos seguintes argumentes:
c) p q, q neg n vdash p neg n

Passo 1

O enunciado nos dá as premissas p q e q neg n e pede uma justificativa, via regra de inferência da lógica proposicional, para chegar a p neg n.

Passo 2

A regra chamada silogismo hipotético (ou transitividade da implicação) afirma que, a partir de
A B
B C
podemos inferir
A C.

Passo 3

Aplicando essa regra às premissas
p q
q neg n
segue diretamente
p neg n.

Resposta

A regra de inferência usada é o silogismo hipotético.

Exercícios relacionados