# data[].attributes.body
A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ela 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".

Silogismo

Um silogismo é um tipo de argumento lógico que aplica o raciocínio dedutivo para chegar a uma conclusão com base em duas proposições que são afirmadas ou assumidas como verdadeiras.

# data[].attributes.body
Uma tabela verdade é uma tabela matemática usada em lógica - especificamente em conexão com álgebra booleana, funções booleanas e cálculo proposicional - que estabelece os valores funcionais de expressões lógicas em cada um de seus argumentos funcionais, ou seja, para cada combinação de valores tomada por suas variáveis lógicas.

# data[].attributes.body
~      =   não
^       =  e
v      =  ou
v com _ embaixo =  exclusiva
->    = se então
<->  = se e somente se

# data[].attributes.body
Em matemática, um conjunto é uma coleção de elementos. Os elementos que compõem um conjunto podem ser qualquer tipo de objeto matemático: números, símbolos, pontos no espaço, linhas, outras formas geométricas, variáveis ou mesmo outros conjuntos. O conjunto sem elemento é o conjunto vazio.