# data[].attributes.body
A lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos.

Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional. Este, por sua vez, envolve os recursos necessários para encontrar soluções a partir da tecnologia.

Os computadores executam tarefas por meio de comandos dados em uma programação. Essa, por sua vez, é feita com linguagens próprias, que funcionam como uma espécie de “idioma”, por meio do qual o programador se comunica com as máquinas. Algumas das mais conhecidas são Python, C e Java Script.

Porém, mais do que dominar essas linguagens, o programador precisa empregar a lógica computacional. A linguagem de programação é “o quê” se diz, mas é necessário aprender “como dizer”. Isso porque os algoritmos e os softwares são escritos com base em argumentos organizados em etapas e com instruções de causas e efeitos.

Em outras palavras, as instruções não são dadas para o computador como nós falamos com uma pessoa — um “preto no branco” —, mas por meio de um modo de pensar próprio, lógico e estruturado. Em síntese, o pensamento computacional obedece às seguintes etapas:

decomposição dos problemas em pequenas partes;

reconhecimento de padrões e categorização;

abstração dos problemas;

criação de um algoritmo (sequência de operações) para a resolução de problemas.

# data[].attributes.body
A Lógica pode ser entendida como o estudo do raciocínio dedutivo.
Conforme Pedro Menezes em https://www.todamateria.com.br/o-que-e-logica/
"A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar."

# data[].attributes.body
Proposição nada mais é do que uma sentença declarativa, que pode ser verdadeira ou falsa, mas não as duas coisas ao mesmo tempo.
Um dos princípios fundamentais decorrentes desses valores lógicos é que "Toda proposição tem um, e um só, dos valores, ou V ou F".
As proposições lógicas podem ser classificadas em dois tipos:

Proposição simples - São representadas de forma única. Ex:  O cachorro é um mamífero

Proposição composta - São formadas por um conjunto de proposições simples, ( duas ou mais proposições simples ligadas por “conectivos lógicos”).

Ex: Brasília  é a capital do Brasil  ou  Lima é a capital do Peru.

# data[].attributes.body
Premissa na lógica

Premissa em lógica é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.

Toda premissa, pode ser verdadeira ou falsa, bem como a conclusão, não aceitando jamais a ambiguidade. As frases que apresentam uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas), portanto, devem ser portadoras da verdade.

# data[].attributes.body
Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida, por exemplo.

Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.

# data[].attributes.body
Silogismo é um modelo de raciocínio baseado na ideia da dedução, composto por duas premissas que geram uma conclusão.

O precursor desta linha de pensamento lógico foi o filósofo grego Aristóteles, conhecido por ser um dos primeiros pensadores e filósofos de todos os tempos.

O chamado silogismo aristotélico é formado por três principais características: mediado, dedutivo e necessário.

O silogismo seria mediado devido a necessidade de se usar o raciocínio para se chegar à conclusão real. Seria dedutivo pelo fato de se partir de preposições universais para se chegar a uma conclusão específica. E, por fim, seria necessário por estabelecer uma conexão entre todas as premissas.

# data[].attributes.body
Falácia significa erro, engano ou falsidade. Normalmente, uma falácia é uma ideia errada que é transmitida como verdadeira, enganando outras pessoas.

No âmbito da lógica, uma falácia consiste no ato de chegar a uma determinada conclusão errada a partir de proposições que são falsas.

A filosofia de Aristóteles abordou a chamada “falácia formal” como um sofisma, ou seja, um raciocínio errado que tenta passar como verdadeiro, normalmente com o intuito de ludibriar outras pessoas.

De acordo com a lógica filosófica aristotélica, a “falácia informal” difere-se da formal, principalmente pelo fato da primeira usar de raciocínios válidos, a princípio, para chegar a resultados que sejam inconsistentes e com premissas falsas.

Ao contrário das falácias formais, que são mais fáceis de identificar, as falácias informais, por apresentar uma forma lógica válida, podem ser de difícil identificação.

fonte: https://www.significados.com.br/falacia/

# data[].attributes.body
Uma inferência é uma conclusão ou opinião alcançada levando em consideração evidências ou fatos conhecidos. Na lógica, uma inferência é definida como o processo de derivar consequências lógicas das suposições assumidas.

Tipo de inferência:

As inferências podem ser divididas em dois tipos: imediatas e mediatas.

a) A inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade. A inferência imediata pode ser obtida por oposição ou conversão.

b) A inferência mediata consiste numa conclusão obtida a partir de duas ou mais proposições. Este tipo de inferências podem ser de três tipos: analógicas, indutivas e dedutivas.