PERGUNTA 1

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.
2. 
   
3. 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).
4. 
   
5. I. ( ) Um argumento válido deveria ser verdadeiro com base integralmente em sua estrutura interna.
6. II. ( ) Para todos os efeitos, uma hipótese de um argumento válido corresponde à conclusão do argumento. 
7. III. ( ) Por meio do sistema lógico completo, entende-se que todos os argumentos válidos deveriam ser demonstráveis.
8. 
   
9. Assinale a alternativa que apresenta a sequência correta.
10. a.V, V, F.
11. b.F, V, V.
12. c.V, F, V.
13. d.V, F, F.
14. e.F, F, V.