# data[].attributes.body
a imagem acima retrata a figura de George Boole, o inventor da lógica booleana, a qual utiliza apenas dois dígitos: 0 e 1.

# data[].attributes.body
Na lógica computacional existem os chamados conectivos lógicos, os quais tem a finalidade de unir as proposições compostas e influenciar na sua valoração, os quais são:

não : que terá valor falso quando a proposição for verdadeira e vice-versa.

e : que será verdadeira somente quando todas as proposições forem verdadeiras.

ou : será verdadeira quando pelo menos uma das preposições forem verdadeiras.

ou, ou : (disjunção exclusiva) verdadeira se e somente se as preposições forem diferentes.

se ... então : será falsa quando a preposição antecedente for verdadeira e a consequente for falsa, e vice-versa.

se... e somente se : será verdadeira quando ambas as preposições forem verdadeiras, ou ambas falsas.

# data[].attributes.body
A lógica subdivide-se em algumas partes, tais como:

1. Lógica formal: é a lógica que analisa e representa a forma de qualquer argumento para que se possa ser considerada uma conclusão, porém ela não define a veracidade de uma proposição, mas tal preposição será definida verdadeira ou falsa de acordo com a veracidade de suas premissas.  Logo:

Premissas verdadeiras ----->  conclusões verdadeiras

Lógica simbólica: é a lógica relacionada a matemática, ela expressas as premissas e suas relações por meio de símbolos matemáticos.

Lógica transcendental: é a lógica que opera a partir das representações dos conceitos (sentidos) e não das coisas em si. Baseada no pensamento do filósofo Immanuel Kant.

Lógica dedutiva: é a lógica parte a partir de premissas afirmativas ou leis gerais obtendo verdades menos gerais ou particulares.
Ex:
"Todo analista de sistemas sabe progrmar"
"Sheila é analista de sistemas"
"Sheila sabe programar"

Lógica indutiva: é a lógica que se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. Porém um único contra argumentos é capaz de invalidar todo o raciocínio.
Ex:
"Mariana é enfermeira e sabe usar todos os utecílios médicos"
"Lucas é enfermeiro e sabe usar todos os utecílios médicos"
"Amanda é enfermeira e sabe usar todos os utecílios médicos"
"Portanto, todos os enfermeiros sabem usar todos os utecílios médicos"

# data[].attributes.body
Assim como todo temática tem seu vocabulário característico, com a lógica computacional não difere, essa possue termos que são importantícimas para sua compreenção, tais como os seguintes:

1. Proposições: que são frases declarativa.

2. Premissas: que são frases declarativas (proposições) fundadas em um raciocínio.

3. Argumento: que é um conjunto de enuciados que se relacionam um com os outros..

4. Silogismo: que é um raciocínio dedutivo, que possibilita a dedução de uma conclusão a partir de premissas.

5. Falácia: que consiste em argumentos logicamente incorretos.