# data[].attributes.body
Proposição: é uma declaração, uma asserção, um enunciado, qualquer afirmação que possa ser tomada como verdade

Premissas: são as proposições do silogismo, as ideias base de um raciocínio

Argumentos: são enunciados que compõem o raciocínio da onde ser tira uma consequência

Silogismo: é o resultado de um raciocínio lógico perfeito por meio de premissas, utilizando da dedução para chegar a conclusão

Falácia: são os argumentos que estão logicamente incorretos, com aparência de verdadeiro mas sem fundamento

Inferência: Inferência é a forma de chegar em conclusões a partir de premissas já conhecida

# data[].attributes.body
Por Forbellone, a lógica é a "arte de bem pensar", a "ciência das formas de pensamento"

É a forma de raciocinarmos corretamente a fim de gerar uma conclusão a partir de pressupostos

# data[].attributes.body
Pode não parecer, mas a lógica está presente em todos os dias e a todo tempo do nosso cotidiano, desde a formulação de uma frase a ser dita até a escolha de um melhor caminho para o trabalho, sempre utilizamos da lógica para tomar uma decisão ou ação, a fim de conseguir o melhor resultado/conclusão do que estamos fazendo

# data[].attributes.body
Lógica computacional é a aplicação da lógica para criação de algoritmos, sendo assim a base para compreensão de qualquer linguagem de programação. A lógica formal é muito utilizada, as maquinas realizam todas as operações da formal para tomada de decisões pelas entradas inseridas

# data[].attributes.body
Operações com preposições são denominadas operações lógicas, obedecem as regras do cálculo proposicional e seus principais conectivos são:

~ : til representa negação
^ : cunha representa conjunção, correspondendo ao conectivo "e" (em programação utiliza-se "AND" ou "&")
v : letra v representa disjunção, correspondendo a palavra "ou" (em programação utiliza-se "OR")
-> : seta representa condicional, correspondendo a relação "se... então..."
<-> : dupla seta representa bicondicional, corresponde a relação "se, e somente se..."

# data[].attributes.body
Duas proposições são logicamente equivalentes quando apresentam as mesmas informações mas representadas de formas diferentes, sendo assim suas tabelas-verdades mostram resultados idênticos

Podemos ver um exemplo na figura acima

# data[].attributes.body
Tautologia é quando uma proposição é sempre verdadeira, quando montamos sua tabela-verdade sempre obtemos a ultima coluna formada por apenas resultados verdadeiros