O Cálculo de Predicados, com sua linguagem rica e intricada, estende suas ramificações em várias aplicações de relevância, abrangendo não apenas o ...

O Cálculo de Predicados, com sua linguagem rica e intricada, estende suas ramificações em várias aplicações de relevância, abrangendo não apenas o campo da matemática e filosofia, mas também desempenhando um papel fundamental na formação dos estudantes de Ciência da Computação. Na demonstração do argumento abaixo, as regras lógicas aplicadas estão descritas como sendo X, Y, Z, W e T.

Com relação as regras lógicas aplicadas na demonstração, classifique V para as opções verdadeiras e F para as falsas:
( ) A conclusão é dada pelo Silogismo Hipotético em U.
( ) A Dupla Negação seguida da Implicação de Material acontece respectivamente em W e T.
( ) O Silogismo Disjuntivo se aplica em Z.
( ) A Eliminação da Conjunção é aplicada em X e Y.

Assinale a alternativa que apresenta a sequência CORRETA:


A V - F - V - V.
B F - V - F - F.
C F - F - V - V.
D V - V - F - V.