# data[].attributes.body
A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar. Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala.

No nosso cotidiano, a lógica nos ajuda a não aceitar passivamente contradições em discursos, assim como nos ajuda a identificar falácias em debates e a identificar, por indução e dedução, hipóteses científicas válidas.

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

# data[].attributes.body
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. Em lógica a premissa significa cada uma das proposições de um silogismo.

# data[].attributes.body
Um argumento é um conjunto de afirmações conectadas das quais pelo menos uma (a premissa) pretende oferecer razões para mostrar  que a outra (a conclusão) é verdadeira. Assim, para termos um argumento precisamos de premissas e conclusões.

# data[].attributes.body
Silogismo, que tem origem na palavra grega syllogismos (“conclusão” ou “inferência”), é 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

# 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
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 incorreta , a verdade é que inferência possui um sentido mais abrangente que raciocínio.