Question

Para construção de uma árvore de refutação, as fórmulas complexas devem ser decompostas seguindo algumas regras.

Com relação às regras para geração de árvores de refutação, marque a alternativa correta.

Selecione a resposta correta
A
Quando se tem uma fórmula que envolve relação de equivalência entre os literais, tem-se uma implicação sem negação.

B
Em uma fórmula com dupla negação, deve-se depositar o literal abaixo da proposição, sem um de seus sinais de negação.

C
Uma negação de conjunção é equivalente à derivação de conjunção, exceto pelos literais que devem ser ambos negados.

D
A decomposição da disjunção é semelhante à negação da conjunção, exceto pelo fato de que, na disjunção, os literais não são negados.

E
A negação da disjunção e a negação da conjunção têm equivalência, exceto pelo fato de que, na negação da conjunção, os literais não são negados.

Answer 1

Resposta:

D) A decomposição da disjunção é semelhante à negação da conjunção, exceto pelo fato de que, na disjunção, os literais não são negados.

Explicação: