Regra de inferência: diferenças entre revisões

Em um conjunto de regras, uma regra de inferência pode ser redundante no sentido de que ela pode ser admissível ou derivável. Uma regra derivável é aquela que a conclusão pode ser derivada de suas premissas usando outras regras. Uma regra admissível é aquela que a conclusão é verdadeira sempre que as premissas também o forem. Todas as regras deriváveis são admissíveis. Para observar a diferença, considere os seguintes conjuntos de regras para definir os números naturais (tome <math>n\,\,\mathsf{nat}</math> como <math>n</math> pertencendo ao conjunto dos números naturais). Isso é difícil.