# data[].attributes.body
Conectivos Lógicos são expressões que servem para unir duas ou mais proposições:

Os conectivos são representados da seguinte forma:
~ corresponde a “não”
Λ corresponde a “e”
ν corresponde a “ou”
=> corresponde a “então”
<=> corresponde a “se e somente se”

Com duas proposições ou mais, podemos formar:
Conjunções: a Λ b (lê-se: a e b)
Disjunções: a ν b (lê-se: a ou b)
Disjunções exclusiva: a V b (lê-se: ou a ou b)
Condicionais: a => b (lê-se: se a então b)
Bicondicionais: a <=> b (lê-se: a se e somente se b)

# data[].attributes.body
Conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, de modo que se possa atribuir, dentro de certo contexto, somente um de dois valores lógicos possíveis: verdadeiro ou falso.

Tabela verdade ou tabela de verdade é uma ferramenta de natureza matemática muito utilizada no campo do raciocínio lógico. Seu objetivo é verificar a validade lógica de uma proposição composta (argumento formado por duas ou mais proposições simples).

Proposições SIMPLES: aquelas que vêm sozinhas, desacompanhadas de outras proposições: São geralmente designadas por letras minúsculas p, q, r ...
Ex: p = Todo homem é mortal / q = O novo papa é alemão.

Proposições COMPOSTAS: duas ou mais proposições conectadas entre si, formando uma só sentença. Habitualmente designadas por letras maiúsculas P, Q, R ...
Ex: João é médico e Pedro é dentista.

# data[].attributes.body
Não importa qual o seu ramo de atuação ou aptidão, estamos tão inseridos num mundo tecnológico que o pensamento computacional faz parte da nossa rotina e a gente nem percebe.
Exemplo: Muitas vezes, para decidir qual meio de transporte vai ser usado para ir a um determinado lugar, se faz uma análise do percurso, uso de estacionamento, gasto com combustível.
Para tratar um paciente doente, o médico precisa resolver problemas menores como efetuar o diagnóstico, definir o tratamento, abordar efeitos colaterais, etc.

# data[].attributes.body
A computação pode ser definida como a busca de solução para um problema a partir de entradas (inputs), de forma a obter resultados (outputs) depois de processada a informação através de um algoritmo.
Algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.

# data[].attributes.body
Lógica, tem dois significados principais:  o raciocínio e nas disciplinas de filosofia, matemática e ciência da computação.
Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos.

# data[].attributes.body
É 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.

# data[].attributes.attachment_link.readable_text
Origem: Wikipédia, a enciclopédia livre.

A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ele 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 ".

O termo "lógica computacional" ganhou destaque com a fundação da ACM Transactions on Computational Logic em 2000. No entanto, o termo foi introduzido muito antes, por JA Robinson em 1970. A expressão é usada no segundo parágrafo com uma nota de rodapé afirmando que "lógica computacional" é "certamente uma frase melhor do que 'prova de teorema', para o ramo da inteligência artificial que trata de como fazer as máquinas fazerem deduções com eficiência".

Em 1972, a Unidade de Metamatemática da Universidade de Edimburgo foi renomeada para "O Departamento de Lógica Computacional" na Escola de Inteligência Artificial. O termo foi então usado por Robert S. Boyer e J Strother Moore, que trabalharam no Departamento no início dos anos 1970, para descrever seu trabalho sobre verificação de programa e raciocínio automatizado. Eles também fundaram a Computational Logic Inc.

A lógica computacional também passou a ser associada à programação lógica, porque muitos dos primeiros trabalhos em programação lógica no início dos anos 1970 também ocorreram no Departamento de Lógica Computacional em Edimburgo. Foi reutilizado no início dos anos 1990 para descrever o trabalho em extensões de programação lógica no Projeto de Pesquisa Básica da UE "Compulog" e na Rede de Excelência associada. Krzysztof Apt, que era o coordenador do Projeto de Pesquisa Básica Compulog-II, reutilizou e generalizou o termo quando fundou a ACM Transactions on Computational Logic em 2000 e se tornou seu primeiro Editor-Chefe.

Referências

# data[].attributes.attachment_link.title
Lógica computacional - Wikipédia, a enciclopédia livre

# data[].attributes.attachment_link.description
Origem: Wikipédia, a enciclopédia livre. A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ele 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.