1. Lógica Computacional: A lógica computacional é a linguagem por trás das funções de um computador. Usa elementos da lógica tradicional para criar comandos e desenvolver softwares ou algoritmos. Lógica de programação é o modo como se escreve um programa de computador, um algoritmo. Um algoritmo é uma sequência de passos para se executar uma função. Um exemplo de algoritmo, fora da computação, é uma receita de bolo. Usando elementos da Lógica Booleana é possível compreender como funciona o raciocínio do computador e dos programas que implementamos.
1.1. Lógica Booleana: Na lógica Booleana, o zero representa falso, enquanto o um representa verdadeiro. Para trabalhar com esses valores e torná-los algo lógico, que possa ser aplicado, são necessárias as chamadas portas lógica: NOT, AND, OR, XOR
2. Como a lógica está no nosso dia a dia: Percebe-se a importância da Lógica na prática, pois há o desejo de pensar, falar, escrever e agir de maneira correta. Para que isso aconteça, as pessoas ordenam seus pensamentos, de forma que estão utilizando a lógica e o raciocínio lógico para as atividades tão básicas no cotidiano.
3. Princípios da lógica: A palavra lógica pode denotar tanto um conjunto de regras racionais para a obtenção de um conhecimento quanto a área da filosofia que estuda a validade formal das proposições linguísticas e matemáticas. A lógica, enquanto propriedade linguística, não se preocupa com a veracidade dos enunciados, mas com a validade formal lógica, ou seja, SE FAZ SENTIDO OU NÃO. Aristóteles estabeleceu 3 princípios básicos: Princípio da identidade: é o que enuncia as identidades dos seres e das coisas. Por meio do verbo ser. Princípio da não-contradição: este princípio elementar diz que a identidade de algo não pode ser ela mesma e não ser ela ao mesmo tempo e sob o mesmo aspecto. Princípio do terceiro excluído: algo é ou não é e não há terceira possibilidade.
3.1. Os estudos de lógica foram iniciados por Aristóteles, entre 384 a.C e 322 a.C., na Grécia Antiga.
4. Operadores lógicos importantes: ~ = NEGAÇÃO | NÃO ∧ = CONJUNÇÃO | E ∨ = DISJUNÇÃO | OU ⊻ = DISJUNÇÃO EXCLUSIVA → = CONDICIONAL | SE ↔ = BICONDICIONAL | SE E SOMENTE SE
