Hilbert Flashcards
1
Q
Sistema di Hilbert
A
Il sistema di Hilbert è stato creato prima del sistema di Gentzen ed è formato da:
1) Schemi di enunciato
2) Istanze di assiomi
3) Modus Ponens (Regola di INFERENZA)
2
Q
Quanti sono gli Assiomi
A
Ci sono tre schemi nel sistema di hilbert , ma infiniti assiomi
3
Q
Proposizione 1. Regola di Deduzione
A
La regola di deduzione è una regola derivata corretta.
4
Q
Regole derivate del sistema di Hilbert
A
Le regole derivate del sistema di Hilbert sono:
1) Regola di contrapposizione
2) Regola di transitività
3) Regola di scambio di premesse
