Qual a regra de inferência usada em cada um dos argumentos abaixo?
Alice é graduada em matemática. Por isso, Alice é graduada ou em matemática ou em ciência da computação.
Alice é graduada em matemática. Por isso, Alice é graduada ou em matemática ou em ciência da computação.
Passo 1
Denotemos
: “Alice é graduada em matemática”
: “Alice é graduada em ciência da computação”
O argumento parte de e conclui
.
O argumento parte de
Passo 2
Esse esquema de inferência, que a partir de
permite concluir
, é chamado de introdução de disjunção (ou adição).
Resposta
Introdução de disjunção (Adição)