# data[].attributes.body
A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo.

# data[].attributes.body
Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa ou negativa, na qual podemos atribuir um valor lógico “V” (verdadeiro) ou “F”(falso). Uma proposição também pode ser expressa por símbolos.

# data[].attributes.body
PREMISSA: Uma afirmação usada num argumento para sustentar uma conclusão. Por exemplo, a premissa do argumento "O aborto não é permissível porque a vida é sagrada" é a afirmação "A vida é sagrada".

# data[].attributes.body
Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.

# data[].attributes.body
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.

# data[].attributes.body
A falácia é um tipo de argumento utilizado com a intenção de parecer correto, porém quem opta por esse recurso geralmente omite algumas informações por trás do discurso. Por definição, a falácia se refere a qualquer ideia equivocada ou falsa crença em algo.

# data[].attributes.body
Uma inferência é uma conclusão ou opinião alcançada levando em consideração evidências ou fatos conhecidos. Na lógica, uma inferência é definida como o processo de derivar consequências lógicas das suposições assumidas.

Uma premissa também é definida como uma afirmação dada como verdadeira e da qual é tirada uma conclusão.

Os 3 tipos de inferência

1- Dedução

Dedução é o processo de derivar uma conclusão dos axiomas e fatos dados. Ou seja, tire uma conclusão com base nos conhecimentos e observações disponíveis.

A conclusão pode ser tirada aplicando a regra do modus ponens . Esta regra de inferência afirma que, se for sabido que P e P → Q são verdadeiros, pode-se concluir que Q também deve ser verdadeiro. Inferência por dedução também é conhecida como inferência lógica.

2- Indução

Por outro lado, indução implica derivar uma regra geral (também chamada axioma) de observações particulares ou específicas.

Esse tipo de raciocínio é o oposto do dedutivo. Basicamente, significa extrair conclusões ou inferências de vários dados, indo do específico para o geral. Os cientistas usam o raciocínio indutivo para formar hipóteses e teorias.

3- Rapto

Esse tipo de inferência começa com um conjunto incompleto de observações, resultando na explicação mais provável possível.

Baseia-se na criação e teste de hipóteses, utilizando as melhores informações disponíveis. Geralmente envolve fazer uma suposição após observar um fenômeno para o qual não há uma explicação clara.