Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado fornece a premissa
e pede para mostrar que a partir dela se pode inferir
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
– é essa suposição que, ao final, nos permitirá introduzir a implicação.
Passo 3
Da hipótese
e da premissa
aplicamos modus ponens para obter
Passo 4
Agora temos tanto
(Passo 2) quanto
(Passo 3). Aplicando a introdução de conjunção concluímos
Passo 5
Como tudo que fizemos no Passo 2–4 ficou sob a suposição
, podemos agora descarregar essa hipótese e usar a introdução de implicação (dedução condicional) para concluir
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.