Qual a regra de inferência utilizada em cada um dos argumentos a seguir?
Steve trabalhará em uma indústria de computadores neste verão. Por isso, neste verão ele trabalhará em uma indústria de computadores ou ele será um desocupado na praia.

Passo 1

O enunciado nos dá a proposição p:\text{“Steve trabalhará em uma indústria de computadores neste verão.”}áúã
e conclui
p \lor q:\text{“Steve trabalhará em uma indústria de computadores ou será desocupado na praia.”}áúá
O que precisamos identificar é a regra que permite inferir p \lor q a partir de p.

Passo 2

Em lógica proposicional existe a regra chamada Introdução da Disjunção (também conhecida como Regra da Adição). Ela diz que, se sabemos que p é verdadeira, podemos inferir que p \lor q é verdadeira, para qualquer proposição q. Formalmente:
\frac{p}{\therefore p \lor q}
Aplicando-a aqui, a partir de p:\text{“Steve trabalhará em uma indústria de computadores neste verão.”}áúã
podemos concluir
p \lor q:\text{“Steve trabalhará em uma indústria de computadores ou será desocupado na praia.”}áúá

Resposta

Introdução da Disjunção (Regra da Adição)

Exercícios de Livros Relacionados