Associe os exemplos a seguir a uma das regras de inferências da questão anterior.
(1) P vee Q
(2) sim P(3) Q

Passo 1

O enunciado dá as premissas
(1);P vee Q
(2);neg P
e conclui
(3);Q
Queremos identificar qual regra de inferência permite passar de (1) e (2) para (3).

Passo 2

A regra que permite, a partir de uma disjunção ,P vee Q e da negação de um dos termos ,neg P, inferir diretamente o outro termo Q é chamada de silogismo disjuntivo (ou eliminação da disjunção).

Resposta

Silogismo disjuntivo.

Exercícios relacionados