# data[].attributes.body
1.O que é lógica?
Lógica computacional é um termo que descreve o progresso de tomada de decisão usado na programação e escrita de algoritmos. O pensamento computacional é uma maneira de descrever os problemas que permite que um computador nos ajude a resolvê-los.

2.O que é Proposição?
O termo proposição às vezes é usado como sinônimo de declaração, é capaz de ter um valor de verdade, como ser verdadeira ou falsa.

3.O que são Premissas?
Premissa significa o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão. Toda premissa, pode ser verdadeira ou falsa.

# data[].attributes.body
4.O que são Argumentos?
São uma sequência de afirmações para demonstrar a validade de uma asserção.

5.O que é Silogismo?
Silogismo é uma forma de raciocínio baseada na dedução. Consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.

6.O que é Falácia?
Falácia se refere a qualquer argumento equivocado ou falso.
São argumentos que logicamente estão incorretos.

7.O que é inferência? Quais os tipos?
Inferência é o processo que permite chegar a conclusões a partir de premissas. Inferências podem ser de três tipos: analógicas, indutivas e dedutivas.

# data[].attributes.body
A lógica de programação em geral baseia-se em uma lógica computacional compartilhada por humanos e máquinas, que é o que exploramos a medida que continuamos a interagir com as novas tecnologias.

Atualmente, a programação é quase tão importante quanto saber ler e escrever. Ao longo da história a educação sempre foi um fator importante no desenvolvimento humano, agora, com a era da informação, a principal ferramenta para se obter informação são os softwares.

# data[].attributes.headline
Como podemos trabalhar com ela em nosso cotidiano?

# data[].attributes.subject
Como podemos trabalhar com ela em nosso cotidiano?

# data[].attributes.body
Vivemos atualmente em uma era digital onde os processos cotidianos migram cada vez mais para a virtualidade e por isso é necessário ter um amplo conhecimento de sua gestão e desenvolvimento, o uso da lógica computacional é essencial para as ciências computacionais, programação e análise de algoritmos, projetados resolver problemas de forma ágil, prática e simples através da tecnologia.

É assim que o pensamento computacional aumenta os níveis de atenção e reflexão das pessoas que o executam, pois apoiará transversalmente a aquisição de diferentes conhecimentos, além disso, traz benefícios como promover a aprendizagem autônoma, desenvolver habilidades emocionais promovendo a criação, imaginação e inovação.

A tecnologia está presente na maioria das nossas atividades cotidianas, principalmente no mercado de trabalho. Em todos os ramos de tecnologia a lógica de programação está presente de alguma maneira, seja em programas de computador, jogos e aplicativos para celular, ou na programação do hardware que é utilizado para realizar as tarefas. Todo e qualquer sistema computacional foi escrito com uma linguagem de programação específica através de lógica de programação. Quanto mais complexa a atividade, mais difícil será a aplicação do conceito. Seja para fins empresariais ou pessoais, um software precisa dessa lógica para ser projetado.

# data[].attributes.headline
Lógica de programação - Definição e informações 

# data[].attributes.subject
Lógica de programação - Definição e informações 

# data[].attributes.attachment_link.title
Lógica De Programação: O Que é, Para Que Serve E Quais Os Benefícios.

# data[].attributes.attachment_link.description
Entenda o que é Lógica de programação, quais suas caracteristicas, utilidades e os principais benefícios que ela tem a oferecer.

# data[].attributes.attachment_link.readable_text
Fundamentos de lógica

Conceitos

Para melhorar o entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica. Mundim (2002) destaca :

Proposição: consiste em um enunciado, uma frase declarativa.

Premissas: consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do silogismo.

Argumento: conjunto de enunciados que se relacionam uns com os outros.

Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.

Falácia: consiste em argumentos que logicamente estão incorretos.

A partir dos vocabulários, podemos definir os tipos de lógica existentes, entre os quais estão a lógica formal e a lógica transcendental.

Lógica

Lógica Formal

Começa nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão.

Para se entender a lógica formal e como formamos nosso raciocínio é importante ter em mente alguns conceitos. Uma proposição é um pensamento em forma de frase declarativa. Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras.

Portanto, temos que as premissas podem ser verdadeiras ou falsas. Se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir se a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido.

Em especial no século XIX, alguns matemáticos e filósofos concluíram que a lógica formal não era suficiente para que se pudesse alcançar o rigor necessário na análise dos argumentos. Por isso que foi desenvolvida a lógica simbólica, relacionada à matemática, a partir do século XIX. Ela permite a expressão das premissas e de suas relações por meio de símbolos matemáticos, construindo equações para expressar argumentos. Tal linguagem é absolutamente precisa e não dá margem a duplas interpretações.

Lógica Formal

omeça nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão.

Para se entender a lógica formal e como formamos nosso raciocínio é importante ter em mente alguns conceitos. Uma proposição é um pensamento em forma de frase declarativa. Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras.

Portanto, temos que as premissas podem ser verdadeiras ou falsas. Se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir se a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido.

Lógica transcendental

É desenvolvida por toda a obra do filósofo Immanuel Kant, em especial em seu célebre livro Crítica da Razão Pura (2015). Nesse livro, Kant discute que nosso conhecimento, o conhecimento humano, parte de duas fontes principais. A primeira trata da receptividade das impressões por meio de nossos sentidos; a segunda fonte é relativa à faculdade de conhecer um objeto por representações mentais, a partir do pensamento.

Desse modo, a lógica transcendental opera a partir das representações, dos conceitos e não das coisas em si. Trata-se de uma investigação sobre as representações a priori, as categorias, os conceitos puros em relação aos objetos, enquanto a Lógica geral se volta para a forma lógica do pensamento.

programação

Kant distingue dois tipos de Conhecimento:

Conhecimento Empírico

Também chamado conhecimento a posteriori está relacionado ao que é obtido por meio de nossos sentidos, à observação, à experimentação, com base na presença real de determinado objeto.

Lógica

Conhecimento Puro

Também chamado de conhecimento a priori, é relativo à representação que não se mescla com a sensação, é puramente racional, não depende de nenhuma informação vinda de nossos sentidos.

Logica de programação

Lógica dedutiva

É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares. Vamos a um exemplo de inferência dedutiva ou dedução?

Todo o analista de sistemas sabe programar.

Mariana é analista de sistemas.

Portanto, Mariana sabe programar.

Aqui, partimos de uma informação geral sobre as habilidades dos analistas de sistemas para concluir sobre as habilidades de Mariana. Com base na afirmativa geral, tomada como verdadeira, a conclusão é inevitável. Chamamos Silogismo esse tipo de argumentação lógica.

Lógica indutiva

Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. Vamos a um exemplo de inferência indutiva ou indução?

Mariana é analista de sistemas e sabe programar.

Enzo é analista de sistemas e sabe programar.

Sabrina é analista de sistemas e sabe programar.

(...)

Portanto, todos os analistas de sistemas sabem programar.

Observe que, ao consultar dezenas ou centenas de analistas de sistemas, chegamos a uma conclusão geral com relação a eles. Um cuidado a ser tomado com a lógica indutiva é que um único contraexemplo é capaz de invalidar todo um raciocínio.

# data[].attributes.attachment_link.description
Fundamentos de lógica Conceitos Para melhorar o entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica. Mundim (2002) destaca : Proposição: consiste em um enunciado, uma frase declarativa. Premissas: consistem em proposições que são utilizadas como base para um raciocínio.