Introdução a Lógica

A lógica de programação é a capacidade que todo programador precisa ter para resolver os problemas que aparecem no dia-a-dia. A capacidade de dividir o problema em partes menores é uma etapa essencial da lógica de programação e precisa ser levada em consideração quando nos deparamos com qualquer exercício/desafio. É nesse ponto que entra o conceito de algoritmo, descrito, geralmente, como uma sequência lógica de ações capaz de resolver um problema. Podemos imaginar o computador como uma super calculadora capaz de fazer cálculos muito mais rápido que nós, mas para isso devemos dizer para o computador o que deve ser calculado e como deve ser calculado. A função das linguagens de programação é exatamente essa, ou seja, servir de um meio de comunicação entre computadores e humanos, assim como os humanos fazem com os humanos: usam da linguagem para poder conversar. Quando programamos em uma linguagem de programação primeiramente criamos um arquivo de texto comum contendo a lógica do que deve ser feito, ou seja, é onde falamos ao computador, o que queremos. Este arquivo de texto é chamado de programa, cada palavra de ordem dentro do programa é chamada de instrução. Após criarmos o programa, este deve ser traduzido para linguagem entendida pelo computador a partir da linguagem que estamos utilizando. Um segundo arquivo que chamamos de executável ou programa, será gerado e interpretado diretamente pelo computador.

A história da lógica documenta o desenvolvimento da lógica em várias culturas e tradições. Apesar de muitas culturas terem usado complicados sistemas de raciocínio, somente na China, Índia e Grécia os métodos de raciocínio tiveram um desenvolvimento sustentável. Embora as datas sejam incertas, especialmente no caso da Índia, é possível que a lógica tenha emergido nos três países por volta do século IV a.C. A lógica moderna descende da tradição grega, mas também há influências de filósofos islâmicos e de lógicos europeus da era medieval que tiveram contato com a logica aristotélica . [1] 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, com a possibilidade de sentido da frase dada por sua estrutura. Se a estrutura de uma frase é correta, isto é, se ela segue um padrão formal correto, podemos dizer que a frase é logicamente válida. Na matemática , é a lógica que garante a estrutura formal racional das equação e demais elementos matemáticos que, de algum modo, relacionam-se. [2]

Na lógica nós temos as portas logicas e as tabelas verdades, sendo os conectivos: NOT, OUR, AND, IMPLICA e BI-IMPLICA. Abaixo você tem um exemplo de cada porta logica e sua tabela verdade.