# data[].attributes.body
A lógica computacional é, por essência, uma forma de organizar ideias para resolver problemas ou atender a demandas. O modo de pensar estruturado, sequencial e levando em conta condições e efeitos não serve apenas para programar softwares, mas também é muito bem-vindo na resolução de problemas diversos do dia a dia. Assim, esse conhecimento favorece o desenvolvimento social e pessoal dos pequenos.

# data[].attributes.body
Tabela verdade é um dispositivo utilizado no estudo da lógica matemática. Com o uso desta tabela é possível definir o valor lógico de uma proposição, isto é, saber quando uma sentença é verdadeira ou falsa.

# data[].attributes.body
Denomina-se proposição toda sentença declarativa à qual se pode atribuir um dos valores lógicos: verdadeiro ou falso, nunca ambos. Trata-se, portanto, de uma sentença fechada.

# data[].attributes.body
Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais. Por exemplo, a fórmula proposicional {\displaystyle (A)\lor (\lnot A)}{\displaystyle (A)\lor (\lnot A)} ("A ou não-A") é uma tautologia, porque é verdadeira para todas as valorações de A. Existem exemplos mais complexos tais como {\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)}{\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)} ("A e B; ou não-A; ou não-B"). O primeiro a aplicar o termo tautologia às redundâncias da lógica proposicional foi o filósofo Ludwig Wittgenstein em 1921 (anteriormente era usado exclusivamente na retórica).

A negação de uma tautologia é uma contradição ou antilogia, uma fórmula proposicional que é falsa independentemente dos valores de verdade de suas variáveis. Tais proposições são ditas insatísfatíveis. Reciprocamente, a negação de uma contradição é uma tautologia. Uma fórmula que não é nem uma tautologia nem uma contradição é dita logicamente contingente. Tal fórmula pode ser verdadeira ou falsa dependendo dos valores atribuídos para suas variáveis proposicionais.

# data[].attributes.body
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos. A relação básica entre um objeto e o conjunto é a relação de pertinência: quando um objeto x é um dos elementos que compõem o conjunto A, dizemos que x pertence a A.

Nos conjuntos, a ordem e a quantidade de vezes que os elementos estão listados na coleção não é relevante. Em contraste, uma coleção de elementos na qual a multiplicidade, mas não a ordem, é relevante, é chamada multiconjunto. Dizemos que dois conjuntos são iguais se, e somente se, cada elemento de um é também elemento do outro.