Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Definizione: +1 esempio |
m →Definizione: correggo |
||
Riga 12:
* un insieme di '''[[regola di inferenza|regole di inferenza]]''' che stabiliscono quando una formula è una conseguenza logica di altre formule.
Esempi di teorie del primo ordine sono l'[[aritmetica di Peano]], l'[[aritmetica di Robinson]], la [[teoria
== Dimostrazioni formali ==
| |||