Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
p q vee r longmapsto p p wed>=(q vee r)

Passo 1

O enunciado fornece a premissa
pto(qveer)
e pede para mostrar que a partir dela se pode inferir
ptol(pwed>=(qveer)r)
Para isso vamos usar o método da dedução condicional (introdução de implicação), apoiado em modus ponens e introdução de conjunção.

Passo 2

Suponha temporariamente a hipótese
p
– é essa suposição que, ao final, nos permitirá introduzir a implicação.

Passo 3

Da hipótese p e da premissa pto(qveer) aplicamos modus ponens para obter
qveer

Passo 4

Agora temos tanto p (Passo 2) quanto qveer (Passo 3). Aplicando a introdução de conjunção concluímos
pwed>=(qveer)

Passo 5

Como tudo que fizemos no Passo 2–4 ficou sob a suposição p, podemos agora descarregar essa hipótese e usar a introdução de implicação (dedução condicional) para concluir
ptol(pwed>=(qveer)r)

Resposta

A validade do argumento se justifica pelo uso da dedução condicional (introdução de implicação), juntamente com modus ponens e introdução de conjunção.

Exercícios relacionados