# data[].attributes.body
Segundo Forbellone (2005, p. 1), lógica é a “arte de bem pensar”, que é a “ciência das formas do pensamento”. Visto que a forma mais complexa do pensamento é o raciocínio, a lógica estuda a correção do raciocínio; podemos então enxergá-la simplesmente como uma maneira dos seres humanos raciocinarem ou mesmo como um encadeamento de fatos ou uma organização de técnica ou ciência pura, como, por exemplo, a matemática.

# data[].attributes.body
O estudo da lógica nos permite, portanto, de forma prática, entender como nosso raciocínio lógico é formado, fundamentar nossos argumentos, escrever e registrar de forma organizada, nos comunicar melhor, além de fazer conexões entre diversos assuntos e entender melhor o mundo que está a nossa volta. Atualmente, é fortemente estudada em matérias relacionadas à ciência da computação, tecnologia da informação e programação, pois é a base para a construção de algoritmos.

# data[].attributes.body
Para um melhor entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica.  Dentre os mais importantes, estão:

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.

# data[].attributes.body
Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. A inferência, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia.

# data[].attributes.body
Dada a necessidade de se obter resultados lógicos da combinação de proposições e conectores, um dos métodos mais utilizados é o método da Tabela Verdade. Por definição, a Tabela da Verdade é um método exaustivo de geração de valorações para uma dada fórmula (SILVA; FINGER; MELO, 2017). Entendemos por fórmula a composição de proposições e conectores lógicos, por exemplo, P V Q. Nas colunas, colocaremos primeiro as proposições (quantas forem necessárias testar) e, em seguida, as operações lógicas das quais queremos obter os resultados. Já nas linhas, colocaremos os valores lógicos (V – F) tanto para as proposições quanto para os resultados das fórmulas que obteremos, lembrando que nosso objetivo com a tabela verdade é analisar TODOS os resultados possíveis, e podemos compará-la com um mapa de resultados.