Introdução e Histórico
Histórico
- De maneira geral um sistema lógico consiste em um conjunto de fórmulas e um conjunto de regras de inferência.
- As fórmulas são sentenças pertencentes a uma linguagem formal cuja sintaxe é dada.
- A parte de lógica que estuda os valores de verdade é chamada teoria de modelos.
- Uma regra de inferência é uma regra sintática que quando aplicada repetidamente a uma ou mais fórmulas verdadeiras gera apenas novas fórmulas verdadeiras.
- A seqüência de fórmulas geradas através da aplicação de regras de inferência sobre um conjunto de inicial de fórmulas é chamada de prova.
- A parte de lógica que estuda as provas é chamada teoria de provas.