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.

Passo 1

Denotemos p: “Alice é graduada em matemática” q: “Alice é graduada em ciência da computação”
O argumento parte de p e conclui p \lor q.

Passo 2

Esse esquema de inferência, que a partir de p permite concluir p \lor q, é chamado de introdução de disjunção (ou adição).

Resposta

Introdução de disjunção (Adição)

Exercícios de Livros Relacionados