Hilberts bevisteori

I Hilberts bevisteori ingår för satslogikens del följande axiom:

Ax1: P eller P endast om P
Ax2: P endast om P eller Q
Ax3: P eller Q endast om Q eller P
Ax4: (P endast om Q) endast om (Q eller P endast om P eller Q)

Observera att P, Q och R här egentligen är symboler i metaspråket.

I Hilberts bevisteori är endast härledningsregeln Modus Ponens samt substitutionsregler tillåtna.


Stäng detta fönster