# data[].attributes.body
A origem da lógica vem de Aristóteles (filósofo grego – 342 a.C.), é uma área da filosofia que estuda a estrutura formal dos enunciados (proposições) e suas regras. É uma ferramenta sobre a forma correta de pensar. Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. Assim, a lógica avalia a ideia de falar e argumentar, verificando se o que foi dito faz sentido para quem ouve. Podemos dizer que quando um argumento faz sentido, ele tem lógica, ou seja é uma argumentação racional.

Na computação, a lógica de programação é a linguagem por trás das funções de um computador, para tal, a construção de algoritmos são conhecimentos fundamentais para programar. Ela é utilizada para representar problemas e obter suas soluções. Com a utilização de algoritmos é possível codificar um programa de computação em qualquer linguagem. Dessa forma é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional.

# data[].attributes.body
Proposições são sentenças declarativas as quais assumem um dos qualificativos “F - Falso” ou “ V - Verdadeiro”. As proposições podem ser simples ou compostas.

Uma proposição é simples se, e somente se, contiver uma única afirmação. Já uma proposição composta é formada por duas proposições simples ou mais.

As proposições são ligadas pelos conectivos: conjunção (^), disjunção (v), condicional (->), bicondicional (<->) e negação(~ ou ¬ ).

Exemplo: "não pode ocorrer que um bem seja normal e sua curva de demanda seja positivamente inclinada".
Princípio do terceiro excluído: P∨~P. Ou ocorre p ou ocorre a sua negação (não existe terceira opção).

# data[].attributes.body
Premissas são as “provas” evidentes da verdade de uma conclusão, sem elas a conclusão não é válida. Ou seja, a conclusão é uma consequência lógica das premissas, ou uma inferência decorrente das premissas.

# data[].attributes.body
Um argumento é uma sequência de proposições onde as sentenças afirmativas podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão.

O objetivo de um argumento é justificar uma afirmação que se faz, ou dar as razões para certa conclusão obtida. Logo, é uma reconstrução explícita do raciocino efetuado, sendo necessário expor todas as razões que levaram a conclusão lógica como forma de convencimento, ou seja, mostrar o fundamento do argumento.

# data[].attributes.body
O termo silogismo (syllogismos), vem do grego e significa “conclusão” ou “inferência”. O silogismo é a estrutura básica de um argumento ou um raciocínio dedutivo, o qual é formado por três proposições que estão interligadas.

Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.

Exemplo: Todo homem é mortal.
Sócrates é homem.
Sócrates é mortal.

# data[].attributes.body
O termo falácia deriva do verbo latino fallere, que significa enganar. Falácia é um raciocínio errado com aparência de verdadeiro. Na lógica e na retórica, uma falácia é um argumento incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega. Ou seja, as falácias são construídas por raciocínios aparentemente corretos que levam à falsas conclusões.

# data[].attributes.body
Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras. Ou seja, a inferência é a ação e o efeito de inferir (deduzir algo, tirar uma conclusão de outra coisa, conduzir a um resultado). A inferência surge a partir de uma avaliação mental entre distintas expressões que, ao serem relacionadas como abstrações, permitem traçar uma implicação lógica.

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

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.

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.