Regra de inferência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m removeu Categoria:Lógica; adicionou Categoria:Regras de inferência usando HotCat |
|||
Linha 84:
O axioma '''Derivável(p)''' pode significar que todo enunciado verdadeiro é derivável. Isto, entretanto, não é usado na aritmética de Peano.
Regras de inferência possuem um papel vital na especificação do cálculo lógico tanto na teoria de prova quanto no cálculo seqüencial e na dedução natural..
== {{Ver também}} ==
|