Väidete hulgad ja tõde
Karmo Talts
Sõnastame järgmise arusaama tõesusest: eelduste hulgast gamma ja eeldusest, et P järeldub järelduste hulk alpha ja järeldus,et P on tõene ja eelduste hulgast gamma ja eeldusest, et P on tõene, järeldub järelduste hulk alpha ja järeldus, et P.
Vaatame nüüd väärust. Eelduste hulgast gamma ja eeldusest, et pole nii, et P, järeldub järelduste hulk alpha, millesse järeldus, et P on tõene, ei kuulu ja eeldusest, et P on väär järeldub järelduste hulk alpha, millesse järeldus, et P, ei kuulu.
Sõnastame nüüd vasturääkivuse seaduse kuju, mis seda eristust arvesse võtab. Korraga ei saa olla nii, et P ja P on tõene ja nii, et P on väär või pole nii, et P.
No comments:
Post a Comment