# data[].attributes.body
A lógica de programação nada mais é do que a maneira correta de se escrever um algoritmo para que de forma logica e finita se possa chegar a resolução de uma determinada tarefa ou de um determinado problema. Em resumo, o algoritmo é como uma receita de bolo, ou seja, um conjunto de instruções para a realização de uma tarefa específica.

# data[].attributes.body
Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições. Toda proposição é uma oração declarativa onde possa ser expressa de forma afirmativa ou negativa, na qual atribuímos um dos valores lógicos verdadeiro (V) ou falso (F).

# data[].attributes.body
Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. Esta constitui-se de duas partes: uma coleção de premissas, e uma conclusão.

# data[].attributes.body
Um argumento é um conjunto de proposições que utilizamos para justificar (provar, dar razão, suportar) algo. A proposição que queremos justificar tem o nome de conclusão; as proposições que pretendem apoiar a conclusão ou a justificam têm o nome de premissas.

more_vertical

# data[].attributes.body
Silogismo pode se dizer que consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas. Esta linha de pensamento, criada pelo filósofo Aristóteles, utiliza duas preposições iniciais para se chegar a uma terceira, que no caso é a conclusão.

# data[].attributes.body
Falácia é a construção de uma ideia que aparenta uma lógica e veracidade, mas possui um ponto que o torna falso e falho. Em termos aristotélicos, são enunciados falsos que simulam a verdade também podem ser chamados de sofismas.

# data[].attributes.body
Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.

Temos dois tipos de inferência  a indutiva e a dedutiva:

Inferência indutiva - O raciocínio indutivo faz ampla generalização de observações específicas. Basicamente, não há dados, então as conclusões são extraídas dos dados. Isso é chamado de lógica indutiva.

Inferência dedutiva - Na inferência dedutiva, nós possuímos uma teoria e, com base nela, fazemos uma previsão de suas conseqüências, ou seja, prevemos o que as observações deveriam ser se a teoria estivesse correta.