Associe os exemplos a seguir a uma das regras de inferências da questão anterior.
(1)
Passo 1
O enunciado dá as premissas
e conclui
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 e da negação de um dos termos , inferir diretamente o outro termo é chamada de silogismo disjuntivo (ou eliminação da disjunção).