Võimalus rääkida predikaatidest esimese järgu loogika keeles
Karmo Talts
Vaatame, kas leidub meetod predikaatidest rääkimiseks esimese järgu loogika keeles. Kui meil on predikaatide hulk, siis meil on vaja predikaate selle väljendamiseks, et selle hulga elemendid on predikaadid.
Vaatame võimalusi nende predikaatide kirja panemiseks. Kui x on punane, siis on konventsioon panna see kirja nii Punane(x). Et teha eristus punaste objektide ja punasuse vahel, panen ma selle, kui x on punasus, kirja nii: Punasus(x).
Vaatame nüüd lihtsat näidet. Me saame panna kirja kahekohalise suhte "punasus on vähemalt ühe objekti värv" nii ∃xPunasus(x)∃y→on värv (x, y-i).
Toome nüüd keerukama näite. Välistatud kolmanda seaduse saab kirja panna nii ∀xPredikaat(x)∀y→((on predikaat (x,y-i)∨¬(on predikaat (x,y-i)).
No comments:
Post a Comment