# 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, como veremos a seguir, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia.
indutiva: Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares.

Dedutiva: É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares

# data[].attributes.body
Falácia: consiste em argumentos que logicamente estão incorretos.

Falácias lógicas • Com a ampliação sem precedentes de produtores se conteúdo na Web e de oportunidades de debates e discussões nas redes sociais, nunca foi tão relevante a capacidade de detecção de falácias lógicas, as quais têm sido usadas por cada vez mais pessoas e de modo cada vez mais frequente.
• Definição: Uma falácia é um argumento que não apresenta consistência lógica, ou seja, em que a sua conclusão não é sustentada logicamente pelas premissas.
• São, portanto, raciocínios inválidos, mal-estruturados e incoerentes, mas que podem ser tomados como verdadeiros, explorando a “ingenuidade” do interlocutor e empregando técnicas de persuasão.
• Cabe alertar que, se os argumentos ou as premissas forem falaciosos, nada se pode concluir sobre o valor-verdade da conclusão, nem que ela é verdadeira, nem que ela é falsa.

# data[].attributes.body
Silogismo   nada   mais   é   do  que   um   argumento   constituído   de   proposições   das   quais

se   infere   (extrai)   uma   conclusão.   Assim,   não   se   trata   de   conferir   valor   de   verdade

ou   falsidade   às   proposições   (frases   ou   premissas   dadas)   nem   à   conclusão,   mas

apenas   de   observar   a   forma   como   foi   constituído.   É   um   raciocínio   mediado   que

fornece   o   conhecimento   de   uma   co isa   a   partir   de   outras   coisas   (buscando   sua

causa) (CABRAL, 2020).

# data[].attributes.body
A base da estruturação de um algoritmo e/ou programação é o Argumento usado, ou seja, a "busca da verdade" e seus fundamentos lógicos. Um argumento é uma sequência de proposições que nada mais é que as sentenças afirmativas que podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas.

Exemplo:
1. O Batman não voa.
2. De facto, o Batman é um morcego.
3. Os morcegos são mamíferos.
4. E os mamíferos não voam .
- Neste caso a conclusão é a primeira fase que se justifica (“de facto ...”) pelas premissas que se seguem.

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

Para o filósofo Aristóteles a lógica não é ciência e sim um instrumento para o pensar corretamente. O objeto da lógica é o silogismo (argumento formado de três proposições; a maior, a menor (premissas) e a final (conclusão) deduzida da maior, por intermédio da menor.

Exemplo de silogismo:

P1 - Todo homem é mortal (V)
P2 - Sócrates é homem (V)
C - Logo, Sócrates é mortal (V).

# data[].attributes.body
Proposição: • Todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo • Afirmam fatos ou exprimem descrições de objetos, eventos ou contextos • Uma proposição, na lógica booleana, é uma sentença que é verdadeira (V) ou falsa (F), mas não ambas. • princípio do terceiro excluído

# data[].attributes.body
Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve. Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.
Lógica como ciência do raciocínio:
• Argumento: conceito central da lógica dedutiva. • sequência de afirmações para demonstrar a validade de uma asserção. • Como saber se a conclusão obtida de um argumento é válida? • As afirmações que compõem o argumento são aceitas como válidas ou • As afirmações que compõem o argumento podem ser deduzidas de afirmações anteriores. • Em lógica, a forma de um argumento é diferente do seu conteúdo. • “Análise lógica” não determina a validade do conteúdo de um argumento. • “Análise lógica” determina se a verdade de uma conclusão pode ser obtida da verdade de argumentos propostos.

# data[].attributes.body
Lógica computacional é o uso da lógica para executar ou raciocinar sobre computação.