A Lógica é extensivamente usada em áreas como Inteligência Artificial, e Ciência da computação.

Nas décadas de 1950 e 1960, pesquisadores previram que quando o conhecimento humano pudesse ser expresso usando lógica com notação matemática, supunham que seria possível criar uma máquina com a capacidade de pensar, ou seja, inteligência artificial. Isto se mostrou mais difícil que o esperado em função da complexidade do raciocínio humano. A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico e a linguagem de programação Prolog é comumente utilizada para isto.

Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. Usando demonstração automática de teoremas os computadores podem achar e checar demonstrações, assim como trabalhar com demonstrações muito extensas.

Na ciência da computação, a álgebra booleana é a base do projeto de hardware.

Tradicionalmente, lógica é também a designação para o estudo de sistemas prescritivos de raciocínio, ou seja, sistemas que definem como se "deveria" realmente pensar para não errar, usando a razão, dedutivamente e indutivamente. A forma como as pessoas realmente raciocinam é estudado nas outras áreas, como na psicologia cognitiva.

Como ciência, a lógica define a estrutura de declaração e argumento para elaborar fórmulas através das quais estes podem ser codificados. Implícita no estudo da lógica está a compreensão do que gera um bom argumento e de quais argumentos são falaciosos.

A lógica filosófica lida com descrições formais da linguagem natural. A maior parte dos filósofos assumem que a maior parte do raciocínio "normal" pode ser capturada pela lógica, desde que se seja capaz de encontrar o método certo para traduzir a linguagem corrente para essa lógica.

Abaixo estão discussões mais específicas sobre alguns sistemas lógicos.

1. Lógica Aristotélica/Formal/Material
2. Lógica Matemática/Filosófica
3. Lógica de Predicados/Vários Valores
4. Lógica e computadores/Tipos de Lógica
5. Testes de Lógica

Segundo alguns livros, a lógica desenvolveu-se no século XIX. Mas isto não é bem verdade. Todos nós usamos a lógica no dia a dia, às vezes sem nos darmos conta disso.

Ex: Seu pai lhe diz: se você tirar 10 em Física e Matemática, lhe darei um presente. Você sabe que não basta tirar 10 apenas em Física ou apenas em Matemática. Para ganhar o presente, é necessário tirar 10 nas duas disciplinas. Se por outro lado ele dissesse: se você tirar 10 em Física ou Matemática, lhe darei um presente; aí bastaria tirar 10 em uma das matérias.

O que os matemáticos fizeram foi dar um aspecto matemático à lógica, além de aprimorá-la. Mas a idéia fundamental é antiga.

Na lógica vamos estudar sentenças declarativas (ou proposições). Essas proposições devem satisfazer a dois princípios fundamentais:

1. Uma alternativa só pode ser verdadeira ou falsa;

2. Uma alternativa não pode ser verdadeira e falsa; é lógico

Assim sendo, uma proposição pode ter valor lógico falso (F ou 0) ou verdadeiro (V ou 1)

As proposições são indicadas pelas letras latinas minúsculas: p, q, r, s, t,

Vejamos agora alguns símbolos usados na Lógica Matemática:

Vejamos alguns exemplos de proposições com valores lógicos definidos.

■ Operadores Lógicos

Através dos operadores lógicos Ù(conjunção) , Ú(disjunção) , ®(condicional) e «(bi-condicional), podemos combinar as proposições lógicas, formando as proposições compostas pÙq, pÚq, p®q, p«q. Observe que nos exemplos acima houve várias proposições compostas.

Se eu souber o valor lógico de cada uma das proposições p e q, tenho como saber todas as proposições compostas a respeito de p e q. Estas relações estão expressas na tabela abaixo. Chama-se Tabela Verdade. Aí vai a tabela:

Note que podem surgir algumas proposições estranhas a partir da tabela verdade, usando-se os operadores ® e «.

Ex.: "2 é menor que 3 se e somente se x < x+1." (V)
"Se 2=3 então a Terra é um planeta." (V)

O que acontece é que esses operadores foram pensados de forma que a primeira proposição fornecesse base para o raciocínio da segunda. Porém, podemos estabelecer p e q como duas proposições sem nenhuma relação.

■ Tautologia

É uma proposição cujo valor lógico é sempre verdadeiro.

Contradição

É uma proposição cujo valor lógico é sempre falso.

 

IMPORTANTE: Caso deseje, você pode baixar o livro, na íntegra, de Iniciação à Lógica Matemática (Edgard de Alencar Filho) com formato .PDF.