Mitte-monotoonne tõeskeem
Karmo Talts
Sõnastame mitte-monotoonse tõeskeemi. P on normaaljuhul tõene parajasti siis, kui P.
Vaatame nüüd ühte võimalikku ebanormaalset juhtu. Kui nii eeldusest, et P on tõene ja P, kui ka eeldusest, et P pole tõene ja pole nii, et P, järeldub vasturääkivus, siis on tegu ebanormaalse juhuga.
Vaatame nüüd valetajalauset. Kui nii sellest, et valetajalause on tõene ja on nii, nagu valetajalause ütleb, kui ka sellest, et valetajalause pole tõene ja pole nii, nagu valetajalause ütleb, järeldub vasturääkivus, siis valetajalause pole tõene parajasti siis, kui on nii, nagu valetajalause ütleb või pole pole nii, et valetajaluse pole tõene parajasti siis, kui pole nii, nagu valetajalause ütleb.
No comments:
Post a Comment