PERG UNT A 2 1. Adotam-se ferramentas da lógica formal para verificar como chegar a conclusões, a partir de dadas proposições. O sistema envolvido ...

PERG UNT A 2
1. Adotam-se ferramentas da lógica formal para verificar como chegar a conclusões, a partir de dadas proposições. O sistema envolvido é denominado lógica proposicional, lógica declarativa ou cálculo proposicional. No presente contexto, o termo “cálculo” é utilizado no sentido mais amplo, portanto, muito mais inclinado à avaliação e ao raciocínio do que à diferenciação e à integração.

Com base nas informações apresentadas, analise as afirmativas a seguir e assinale V para a(s) verdadeira(s) ou F para a(s) falsa(s).

I. (V ) Um argumento válido deveria ser verdadeiro com base integralmente em sua estrutura interna.
II. (F ) Para todos os efeitos, uma hipótese de um argumento válido corresponde à conclusão do argumento.
III. ( V) Por meio do sistema lógico completo, entende-se que todos os argumentos válidos deveriam ser demonstráveis.

Assinale a alternativa que apresenta a sequência correta.

a . V, F, F.

b. V, V, F.

c. F, F, V.

d. F, V, V.

e. V, F, V.


a. V, F, F.
b. V, V, F.
c. F, F, V.
d. F, V, V.
e. V, F, V.