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

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.

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

Uma proposição é uma sentença declarativa que admite um e somente um dos dois valores lógicos – V ou F.

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

# data[].attributes.body
Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida, por exemplo. Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão.

Argumentação é um conjunto de afirmações, premissas ou suposições que defendem um ponto de vista e que tem por objetivo convencer o leitor sobre algo. Argumentar não é necessariamente atacar ou criticar alguém. Os argumentos também podem ser usados para apoiar os pontos de vista de outras pessoas.

No estudo de lógica matemática, argumento é uma sequência de premissas que leva a uma conclusão. Antes de chegar à definição de argumento, vejamos um exemplo. Considere a seguinte afirmação: “A cidade de São Paulo pertence ao Brasil”. Será que essa afirmação é verdadeira?

# data[].attributes.body
De acordo com Aristóteles, o silogismo apresenta três principais características: mediado, dedutivo e necessário. A mediação se faz presente porque utiliza o raciocínio para a compreensão do plano real. A dedução, por sua vez, parte de preposições universais para alcançar outras premissas verdadeiras.

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.

Segundo o Silogismo Aristotélico, há dois tipos de silogismo:
Silogismo Dialético: baseado em juízos hipotéticos ou incertos. ...
Silogismo Científico: baseado em argumentos científicos, os quais contêm o valor de verdade seja nas premissas e nas conclusões.

# data[].attributes.body
Falácia significa erro, engano ou falsidade. Normalmente, uma falácia é uma ideia errada que é transmitida como verdadeira, enganando outras pessoas.

No âmbito da lógica, uma falácia consiste no ato de chegar a uma determinada conclusão errada a partir de proposições que são falsas.

A filosofia de Aristóteles abordou a chamada “falácia formal” como um sofisma, ou seja, um raciocínio errado que tenta passar como verdadeiro, normalmente com o intuito de ludibriar outras pessoas.

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

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

Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento. Um conjunto de regras pode ser usada para inferir qualquer conclusão válida, se esta conclusão for completa.

Quais os tipos:
1. 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).
2. 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.

# data[].attributes.body
A lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos. Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional.

Ainda que pareça algo muito específico, a lógica computacional desenvolve habilidades importantes em nosso cotidiano e trabalha com ferramentas já presentes em nossa vida, por exemplo, o computador e o celular. Dessa forma, possibilita aprender a resolver os problemas de maneira organizada e objetiva, sendo essencial ao bom desenvolvimento.

# data[].attributes.body
Um mapa mental é um diagrama radial de hierarquia inventado por Tony Buzan. É usado como uma ferramenta ou uma técnica visual para estruturar e organizar pensamentos e ideias.

Mapa mental é um diagrama confeccionado a partir de uma ideia central, que vai se ampliando em variados ramos. Cada uma dessas ramificações são desdobramentos do conceito inicial, como neurônios no cérebro.

# data[].attributes.body
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.

Pela tabela verdade podemos” confirmar” a negação da proposição. Para negarmos uma proposição composta ligada pelo conectivo operacional “OU” , basta negarmos ambas as proposições individuais(simples) e trocarmos o conectivo “ou” pelo conectivo”e”. Ou seja, “transformaremos” uma disjunção inclusiva em uma conjunção.
Regras
Na tabela verdade são colocados os valores lógicos possíveis (verdadeiro ou falso) para cada uma das proposições simples que formam a proposição composta e a combinação destes. O número de linhas da tabela dependerá da quantidade de sentenças que compõem a proposição.