# data[].attributes.body
Lógica tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação. Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos, assim sendo, a correta e equilibrada relação entre todos os termos, a total concordância entre cada um deles dentro de um desenvolvimento.

A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ele tem uma relação semelhante com a ciência da computação e a engenharia, assim como a lógica matemática com a matemática e a lógica filosófica com a filosofia. É sinônimo de " lógica na ciência da computação.

# 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. Muitos lógicos preferem evitar o uso do termo proposição em favor de usar sentença.

Proposição é uma palavra muito utilizada na lógica, se referindo a uma expressão ou enunciado que pode ser verdadeiro ou falso. Refere-se também ao ato de se propor, ou seja, a uma proposta ou sugestão. Significa, ainda, na gramática, uma oração ou sentença.

# 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.

Premissa significa a proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão.

Uma dada fórmula pode ou não ser conclusão de uma dada coleção de premissas. Isto depende da Lógica ou do sistema lógico considerado.

# data[].attributes.body
Um argumento pode ser definido como uma afirmação acompanhada de justificativa (argumento retórico) ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento (argumento dialético).

Na lógica e na filosofia um argumento é um conjunto de uma ou mais sentenças declarativas, também conhecidas como proposições, ou ainda, premissas, acompanhadas de uma outra frase declarativa conhecida como conclusão.

Em um argumento dedutivo (válido) o valor-verdade da conclusão é uma consequência lógica necessária das premissas que a antecedem, ou seja, sendo verdadeiras as premissas segue-se que necessariamente será verdadeira a conclusão. Caso alguma(s) premissa(s) não seja(m) verdadeira(s), uma conclusão verdadeira será apenas uma contingência. Também será contingente a verdade de uma conclusão num argumento dedutivo inválido, ou seja, um argumento em que mesmo a veracidade integral das premissas não garante, necessariamente, uma conclusão verdadeira.

Em argumento indutivo a verdade da conclusão não é garantida pelas premissas, mas apenas indicada pelas premissas. Muitos autores e correntes filosóficas não consideram o argumento indutivo como um tipo válido de argumento e a discussão acerca do estatuto lógico e epistemológico de uma indução desencadeou os debates mais frutíferos da história da filosofia, também conhecido como problema da indução.

# 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.

Aristóteles (384 a.C.-322 a.C.) utilizou esse método nos estudos da argumentação lógica.

# data[].attributes.body
Designa-se por inferência a operação mental pela qual obtemos de uma ou mais proposições outra ou outras que nela(s) estava(m) já implicitamente contida(s).

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.

O termo inferência usa-se por vezes como sinónimo de raciocínio. Embora tal associação não seja incorrecta , a verdade é que inferência possui um sentido mais abrangente que raciocínio.

O termo raciocínio será reservado aplicado apenas a um tipo de inferências, as mediatas.

# 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. Como, por exemplo, na frase “nenhum homem presta”. Ora, por mais que muitas pessoas tenham tido experiências negativas com pessoas do sexo masculino, esse argumento não pode ser utilizado para generalizar ou afirmar que todos os homens sempre se comportarão da mesma forma.

Em sua maioria, a falácia é construída a partir de uma narrativa bastante inconsistente. Além de conter construções extremamente preconceituosas. Na busca por criar uma argumentação adequada para esconder a verdade, o conteúdo falacioso possui estruturas bastante sensíveis, embora seja convincente à primeira vista, através de uma análise minuciosa ele pode ser facilmente identificado.