Regra de inferência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Revertidas edições por 200.134.81.45 para a última versão por 200.169.73.23 (usando Huggle) |
|||
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}} ==
| |||