Aplicação da lógica

APLICAÇÃO DA LÓGICA
INTRODUÇÃO
Considerada a essência do cálculo na computação, alógica desempenhou um papel fundamental no desenvolvimento dessa área do conhecimento.
Da mesma forma que a matemática encontrou aplicações em áreas “inesperadas” nas Ciências Naturais, a Lógica encontrou amparo na Computação, em aplicações como Complexidade de Algoritmos e Banco de Dados, bases da Teoria da Computação, Teoria dos Tipos, Circuitos Digitais e Lógica Epistêmica, outros tópicos fundamentais na Computação.

ANÁLISE DA CONSISTÊNCIA DE SISTEMAS
Uma das mais antigas aplicações da Lógica é analisar a consistência de sistemas (filosóficos, científicos, matemáticos etc.). Isto é, determinar se todas as sentenças que compõe um sistema podem ser verdadeiras (simultaneamente) sem se contradizerem.Não custa salientar que, assim como um argumento pode ser válido, mas conter premissas falsas, um sistema pode ser consistente, mas nem todas sentenças que o constitui serem verdadeiras.

ANÁLISE DAS SENTENÇAS
A Lógica é usada para determinar quais as condições para que uma sentença seja verdadeira ou falsa. Por exemplo, a sentença “todo urubu é preto” é verdadeira se cada elemento do conjunto “urubu” verificar a propriedade “ser preto”. A mesma sentença é falsa se ao menos um elemento do conjunto “urubus” não verificar a propriedade “ser preto”.

APLICAÇÕES NA TEORIA DE COMPLEXIDADE
A computação nos auxilia na resolução de milhares de tipos de problemas. Aforma como um computador resolve problemas se baseia na execução de um algoritmo previamente pensado por algum ser humano.A medida de “dificuldade” de um problema está diretamente relacionada com a complexidade do algoritmoque o resolve.
Encontrar melhores algoritmos para resolução de certos problemas sempre foi uma tarefa primordial para o desenvolvimento da Teoria da Computação.

LÓGICA EM BANCO DE DADOS
O impacto da lógica nos bancos de dados é um dos melhores exemplos da efetividade da mesma sobre a ciência da