Vasturääkivuse plahvatavuse tõestamine tõestusteooria abil
Karmo Talts
Vaatame, kas vasturääkivuse plahvatavuse saab tõestada tõestusteooria abil. Identsus tähendab, et P tõestab P. Nõrgendame seda. P tõestab P või P tõestab Q. Kasutame nüüd sümmeetriat. P ja P eitus tõestavad Q. Seega loogikas, kus kehtivad kõik kolm, identsus, nõrgendamine paremal ja eelduste ning järelduste sümmeetria, kehtib vasturääkivuse plahvatavus.
Kommentaare ei ole:
Postita kommentaar