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.
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
e conclui
e conclui
O que precisamos identificar é a regra que permite inferir
a partir de
.
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
é verdadeira, podemos inferir que
é verdadeira, para qualquer proposição
. Formalmente:
Aplicando-a aqui, a partir de
podemos concluir
podemos concluir
Resposta
Introdução da Disjunção (Regra da Adição)