# data[].attributes.body
Lógica (do grego λογική logos[1]) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.[2] 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.[3]

A lógica examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas. Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: metafísica, ontologia, epistemologia e ética. Na matemática, estudam-se as formas válidas de inferência de uma linguagem formal.[4] Na ciência da computação, a lógica é uma ferramenta indispensável. Por fim, a lógica também é estudada na teoria da argumentação.[5]

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

Diferentes sentenças podem expressar a mesma proposição quando têm o mesmo significado. Por exemplo, "A neve é branca" e "Snow is white" são sentenças diferentes, mas ambas dizem a mesma coisa, a saber, que a neve é branca. Logo, expressam a mesma proposição. Outro exemplo de sentença que expressa a mesma proposição que as anteriores é "A precipitação de pequenos cristais de água congelada é branca", pois "precipitação de pequenos cristais de água congelada" é a definição de "neve".

# 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.[1] 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)[1].

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.

# data[].attributes.body
É uma forma de raciocínio baseada na dedução. 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

Na forma clássica é um argumento dedutivo constituído de três proposições declarativas (duas premissas e uma conclusão) que se conectam de tal modo que, a partir das duas primeiras (as premissas), é possível deduzir uma conclusão. A teoria do silogismo foi exposta por Aristóteles nos Analíticos anteriores.

# data[].attributes.body
O termo falácia deriva do verbo latino fallere, que significa enganar. Designa-se por falácia um raciocínio errado com aparência de verdadeiro.[1] Na lógica e na retórica, uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega. Argumentos que se destinam à persuasão podem parecer convincentes para grande parte do público apesar de conterem falácias, mas não deixam de ser falsos por causa disso.

Reconhecer as falácias é por vezes difícil. Os argumentos falaciosos podem ter validade emocional, íntima, psicológica, mas não validade lógica. É importante conhecer os tipos de falácia para evitar armadilhas lógicas na própria argumentação e para analisar a argumentação alheia. As falácias que são cometidas involuntariamente designam-se por paralogismos e as que são produzidas de forma a confundir alguém numa discussão designam-se por sofismas.[1]

# 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. Consiste, portanto, em derivar conclusões a partir de premissas conhecidas ou decididamente verdadeiras. A conclusão também é chamada de idiomática.

O processo pelo qual uma conclusão é inferida a partir de múltiplas observações é chamado processo dedutivo ou indutivo, dependendo do contexto. A conclusão pode ser correta, incorreta, correta dentro de um certo grau de precisão ou correta em certas situações. Conclusões inferidas a partir de observações múltiplas podem ser testadas por observações adicionais.

Exemplos de Inferência

Aristóteles definiu uma série de silogismos, que podem ser usados ​​como blocos de construção para o raciocínio mais complexo. Começamos com o mais famoso de todos eles:

Todos os homens são mortais

Sócrates é um homem

Portanto, Sócrates é mortal.

O processo acima é chamado de dedutivo.