Karmo Talts
Vaatame valetajalauset. Kui valetajalausest järeldub vasturääkivus ja valetajalause eitusest järeldub vasturääkivus, siis disjunktsioonist "valetajalause on tõene või valetajalause on väär" järeldub vasturääkivus. Seega pole nii, et valetajalause on tõene või väär. Seega rikub valetajalause välistatud kolmanda seadust.
Võtame nüüd kasutusele tehte, mis muudab tõese väite vääraks ja väära väite vääraks ja ei muuda väite, mis pole ei tõene ega väär, tõeväärtust. Ma tähistan selle tehte niimoodi /.
Vaatame nüüd selle tehte sissetoomist. ¬(P∨¬P)→/P
No comments:
Post a Comment