# data[].attributes.body
A lógica também sendo a base da lógica computacional e estudada por grandes mentes, é possível ser aplicada em diversas situações do cotidiano, pode ser para situações simples como trocar os pneus do carro ou algo complexo como lidar com ações da bolsa de valores, sendo assim se há premissa > raciocínio > construção > resultado, já se considera um pensamento lógico.
Contudo, o estudo de seus fundamentos pode auxiliar na estruturação e conclusão de novas ideias e conceitos que podem ser extremamente importantes para a nossa evolução humana e tecnológica.
Como em um estudo feito pelas Alunas Jessica Silva e Alba Lopes da IFRN, que estimulam o ensino do pensamento computacional e lógico no ensino fundamental por meio da OBI ( Olimpíada Brasileira de Informática ) como incentivo as novas gerações a se interessarem mais por esse tipo de assunto, fomentando assim futuros programadores, cientistas e entre outros cargos envolvendo a lógica computacional.

Link do estudo citado acima:

https://br-ie.org/pub/index.php/sbie/article/view/8186%20acesso%2025jul21

# data[].attributes.body
Idealizada por George Cantor, este seguimento da matemática contribuiu muito além da estrutura da lógica formal, mas também para a Matemática Moderna.

# data[].attributes.body
Inventor do sistema, George Boole, criou o primeiro sistema que lida em detalhes com a lógica e o cálculo, utilizando apenas dois números para distinguir verdadeiro e falso, que são respectivamente, 1 e 0.  Onde símbolos como + (adição) são representados pelo conectivo OU e  x (multiplicação) pelo conectivo E.

# data[].attributes.body
Princípio lógico regido por 3 fundamentos: Identidade, Não-Contradição e Terceiro Excluído. Princípios esse que agem como leis para formulação de conclusões lógicas.
Definições dos Fundamentos:
Identidade: Proposição verdadeira é verdadeira. Proposição falsa é falsa.
Não-Contradição: Proposição não pode ser verdadeira e falsa ao mesmo tempo.
Terceiro Excluído: Toda proposição ou é verdadeira ou é falsa, não há possibilidade de 3 opção.

# data[].attributes.body
Dentro dessa lógica temos dois tipo: Indutiva e Dedutiva, mas quais são suas definições?
INDUTIVA: Verdades e fatos particulares na busca de uma conclusão geral.
DEDUTIVA: Premissas gerais que buscam concluir verdades especificas e particulares.

# data[].attributes.body
PREMISSAS: proposições que são utilizadas como base do raciocínio;
PROPOSIÇÃO: toda frase declarativa expressada em símbolos ou palavras que atribui a apenas 2 valores lógicos: verdadeiro ou falso;
ARGUMENTOS: conjunto de enunciados que se relacionam entre si;
FALÁCIA: argumentos logicamente incorretos.

# data[].attributes.body
A logica formal teve inicio na Grécia Antiga pelo grande Aristóteles, sendo esta definida como a lógica que lida com as relações de premissas e conclusões que podem ser consideradas falsas ou verdadeiras.
Dentro desse conceito temos a Lógica de Inferência, que se destrincha nos tipos dedutiva e indutiva. Quando uma inferência é falsa é chamada de falácia.

# data[].attributes.body
A lógica é considerara pelos seus admiradores a "arte do pensar corretamente", mas também podemos definir como o estudo dos modos do pensamento correto. Sendo assim, esse estudo auxilia o entendimento prático do raciocínio quando formado além dos fundamentos de argumentos, premissas e conclusões, com princípios que ajudam na identificação de argumentos verdadeiros ou falsos.