1)
Hoje em dia, com sistemas informacionais espalhados por todos os setores da economia e em nosso dia-a-dia, uma das escolhas mais populares na hora de decidir qual a profissão seguir são, com certeza, profissões relacionadas à computação, programação ou análise de sistemas. Para ser um profissional dessa área e ter condições de progredir na profissão que demanda construção de sistemas que envolvem software, será necessário um conhecimento sólido de lógica computacional. A lógica formal começa nos estudos de Aristóteles, na Grécia Antiga.

A lógica é dita formal quando

Alternativas:

a)
analisa e representa a forma de qualquer argumento para que possa ser considerado válido para se chegar a uma conclusão, em que se pode inferir alguma resposta.

b)
permite expressar as premissas e suas relações por meio de símbolos matemáticos, construindo equações para expressar argumentos.

c)
nosso conhecimento, o conhecimento humano, parte de duas fontes principais. A primeira trata da receptividade das impressões através de nossos sentidos.

d)
é relativa à faculdade de conhecer um objeto por representações mentais, através do pensamento.

e)
está relacionado ao que é obtido através de nossos sentidos, à observação, à experimentação, com base na presença real de determinado objeto.