Tõest
Karmo Talts
Sõnastame järgmise Tarski skeemi modifikatsiooni: kui P on tõene, siis P ja kui P on tõestatav, siis P on tõene.
Vaatame nüüd selle skeemi tähendust. Tõepredikaadi vabastamine on vähenõudlikum, kui tõepredikaadi sulgemine, sest siis, kui me oleme tõestanud, et P, siis me saame tõestada, et P on tõene ja kui me oleme tõestanud, et P on tõene, siis me oleme varem tõestanud, et P.
No comments:
Post a Comment