Sistema formal: diferenças entre revisões

Cada sistema formal tem uma [[linguagem formal]], que é composta por [[lógica simbólica|símbolos]] primitivos. Esse símbolos agem em um certa regra de formação e são desenvolvidos por [[inferência]] a partir de um conjunto de [[axioma|axiomas]]. O sistema, por tanto, consiste em um número de fórmulas construídas através de finitas combinações dos símbolos primitivos - combinações, estas, formadas a partir de axiomas em concordância com as regras estabelecidas.<ref>Encyclopædia Britannica, [http://www.britannica.com/eb/article-9034889/formal-system Formal system] definition, 2007.</ref>

 

# um conjunto finito de símbolos (i.e. o [[Alfabeto_(ciência_da_computação)| alfabeto]]), que pode ser usado para a construção de fórmulas (i.e. finitas cadeias de símbolos);

# a [[gramática]], que nos mostra como [[fórmula bem formada| fórmulas bem formadas]], abreviando ''fbf'', são construídas pelos símbolos do alfabeto. Normalmente, é necessário que exista um procedimento para identificar se a fórmula está bem formada ou não;