Question

Árvores de refutação é um método de prova por negação ou absurdo que tem a finalidade de verificar a validade de um argumento. O método é composto por um conjunto de regras para decomposição e avaliação das premissas.

Com relação à construção de árvores de refutação, marque a alternativa correta.

Selecione a resposta correta
A
As regras que não implicam na geração de bifurcações podem, na medida do possível, ser decompostas antes das demais.

B
Conjunção, dupla negação, negação da disjunção e negação da implicação devem ser executadas obrigatoriamente em primeiro lugar.

C
Um ramo será decomposto até obter um literal em sua extremidade. Nesse momento, deve-se parar e marcá-lo como aberto ou fechado.

D
A denominação de árvore de refutação deve-se ao fato de utilizar o método de negação ou absurdo em cada fórmula da árvore.

E
O fato de não encontrar contradições nas ramificações indica que a fórmula original foi provada ser verdadeira.

Answer 1

Resposta:

A) As regras que não implicam na geração de bifurcações podem, na medida do possível, ser decompostas antes das demais.

Explicação: