Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
p q, q sim r longmapsto p sim r

Passo 1

O enunciado fornece as premissas (p to q) e (q to neg r) e pede para mostrar que daí decorre (p to neg r). Estamos trabalhando com regras de inferência da lógica proposicional, em particular com a transitividade do condicional.

Passo 2

Aplicamos o silogismo hipotético (ou transitividade do condicional), que afirma: de (A to B) e (B to C) podemos inferir (A to C). Aqui tomamos A = p, B = q e C = neg r. Logo, de (p to q) e (q to neg r) obtemos imediatamente (p to neg r).

Resposta

Silogismo hipotético (transitividade do condicional).

Exercícios relacionados