Loogikaseadused teise järgu loogika keeles
Karmo Talts
Sõnastame vasturääkivuse seaduse teise järgu loogika keeles. Iga predikaadi P puhul ei saa korraga olla nii, et leidub objektide hulk X ja ei leidu objektide hulka X, mille liikmetel on predikaat P.
Sõnastame nüüd analoogse välistatud kolmanda seaduse kuju. Iga predikaadi P puhul kas leidub hulk X või ei leidu hulka X, mille liikmetel on predikaat P.
Vaatame nüüd juhte, kus predikaat P on täpselt ühel objektil, objektil x. Siis on objekt x hulga X, mille liikmetel on predikaat P, ainus liige.
No comments:
Post a Comment