# data[].attributes.body
é o uso da lógica para executar ou raciocinar sobre computação. Ela tem uma relação com a ciência da computação e a engenharia semelhante à relação da lógica matemática com a matemática, ou à da lógica filosófica com a filosofia. É sinônimo de "lógica na ciência da computação".

# data[].attributes.body
Dedutiva: usa-se uma regra geral e especifica para gerar um resultado óbvio e esperado.
Indutiva: usa uma sequência de resultados afim de ter uma probabilidade alta de sucesso.

# data[].attributes.body
Toda oração declarativa pode ser verdadeira ou falsa, no entanto, não as duas ao mesmo tempo. Sobre este pensamento surgiu a tabela verdade, utilizando 1 para verdadeiro e 0 para falso.

Proposições
Denomina-se proposição a toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro de certo contexto, somente um de dois valores lógicos possíveis: verdadeiro ou falso.

# data[].attributes.body
Premissas:
Premissa em lógica é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.

Argumentos:
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.

Silogismo:
Um silogismo é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, a argumentação lógica perfeita. É um argumento dedutivo constituído de três proposições declarativas que se conectam de tal modo que, a partir das duas primeiras, é possível deduzir uma conclusão.

Interferências:
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.

Falácias:

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. ... Reconhecer as falácias é por vezes difícil. Os argumentos falaciosos podem ter validade emocional, íntima, psicológica, mas não validade lógica.

# data[].attributes.body
Operadores lógicos:
(1) ~ Negação (não)
(2) Λ Conjunção (e)
(3) V Disjunção (ou)
(4) V Disjunção exclusiva
(5) → Condicional (Se... então)
(6) ↔ Bicondicional (Se, e somente se...)

# data[].attributes.body
Nós seres humano somos seres pensantes, vivemos em função da nossa razão, sendo assim a lógica está presente em nossas vidas de forma que muitas vezes não percebemos.

Exemplos: uma conta matemática, jogos de celulares e até mesmo numa receita de bolo precisamos de raciocínio, uma lógica.

Outro exemplo mais científico no nosso cotidiano é a LEI SECA, onde verifica-se por estudo/estatística que quando um indivíduo está com o seu raciocínio alterado por bebida alcoólica e assim ficando com a sua capacidade reflexiva comprometida, os acidentes/consequências são muito mais leves.

# data[].attributes.body
Algoritmo é a base da ciência da computação e da programação.
Todo programa de um computador é montado por algoritmos que resolvem problemas matemáticos lógicos com objetivos específicos.

# data[].attributes.headline
Princípios fundamentais da lógica clássica:

# data[].attributes.subject
Princípios fundamentais da lógica clássica:

# data[].attributes.body
IDENTIDADE:
Uma proposição verdadeira é verdadeira e uma proposição falsa é falsa e isso é imutável.
NÃO CONTRADIÇÃO:
Uma proposição não tem como e nem pode ser verdadeira e falsa ao mesmo tempo.
TERCEIRO EXCLUÍDO:
Ou a proposição é verdadeira ou ela é falsa .