Para a programação de softwares, é importante o entendimento da lógica para a elaboração de algoritmos que sejam utilizados para a implementação de funcionalidades. A lógica deve ser considerada como um método e um princípio para identificar o certo e errado.
Assim, considerando as informações apresentadas e os conteúdos estudados, analise as lógicas a seguir e associe-as com suas respectivas características.
I) Lógica informal.
II) Lógica formal.
III) Lógica matemática.
IV) Lógica simbólica.
( ) Estuda a inferência lógica e a inferência com conteúdos puramente formais.
( ) Extensão da lógica simbólica para outras áreas.
( ) Estuda a argumentação em uma língua natural.
( ) Estuda as abstrações simbólicas e é dividida em lógica proposicional e de predicados.
A partir das relações feitas anteriormente, assinale a alternativa que apresenta a sequência correta:
Soluções para a tarefa
A lógica informal examina argumentos apresentados em linguagem comum, em contraste com a apresentação de argumentos apresentados em linguagem artificial, formal ou técnica.
A lógica formal é o estudo das conclusões com conteúdo puramente formal. Uma conclusão tem um conteúdo puramente formal se puder ser expressa como um caso especial de uma regra completamente abstrata.
A lógica matemática é uma subseção da matemática que estuda as aplicações da lógica formal à matemática. Basicamente, tem fortes conexões com a matemática e computação teórica.
A lógica simbólica é o estudo das abstrações simbólicas que capturam as características formais do raciocínio lógico.
A lógica simbólica é frequentemente dividida em dois ramos:
- Lógica proposicional.
- Lógica de predicados.
Portanto, a sequência correta é: II, III, I e VI.
O que é Lógica?
A lógica tem dois significados principais:
- Trata do uso do raciocínio em alguma atividade
- É o estudo normativo e filosófico do raciocínio válido.
Em outras palavras, a lógica é discutida principalmente no campo da filosofia, matemática e ciência da computação.
Aprenda mais sobre Lógica aqui: https://brainly.com.br/tarefa/49272503?referrer=searchResults
#SPJ9