Question

A árvore de refutação é uma das metodologias utilizadas em lógica proposicional para validar argumentos. Considerando uma árvore de refutação construída para a fórmula H = (P ∧ Q ∧ ((P ∧ R) → ¬P1) ∧ (Q1 → R) ∧ (Q → Q1)) → ¬P1, analise as afirmativas a seguir e classifique-as em verdadeiras (V) ou falsas (F):

( ) É impossível construir uma árvore para H, pois a fórmula H está mal formada estruturalmente.
( ) Durante a demonstração, para a construção da árvore de refutação, deverão ser utilizadas as regras 1, 3, 5, 6 e 8.
( ) A árvore construída apresentará quatro ramos, sendo um aberto e três fechados, levando à conclusão de uma árvore aberta.
( ) Para a demonstração, serão aplicadas as regras de negação da conjunção, conjunção, dupla negação, implicação e negação da implicação.
( ) A árvore construída para ¬H tem cinco ramos fechados. Logo, H pode ser concluída como tautologia.​​​​​​​

Assinale a alternativa que preenche as lacunas de forma correta.

Selecione a resposta correta
A
F, V, F, F, F.

B
V, F, V, F, V.

C
V, F, F, V, V.

D
F, V, F, V, F.

E
F, V, F, V, V.

Answer 1

Resposta:

E) F, V, F, V, V.

Explicação: