"lugesraamatut" - 1 õppematerjal

Produktsioonid ja predikaatarvutus

1) Ax Armastab(Jüri, x) 2) Armastab (Jüri, Jüri) 3) Ax (Rikas(x) -> Armastab (Mari, x)) 4) ½(Ex Ay Armastab(x, y)) 1) Jüri armastab kõiki (igaüht). 2) Jüri armastab iseennast (Jüri on enesearmastaja). 3) Mari armastab kõiki, kes on rikkad (kõiki rikkaid). 4) Ei leidu kedagi, kes armastaks kõiki. 5 - Laused Esitada predikaatarvutuse valemitena 1) Jüri luges raamatut ja Mari samuti. 2) Iga poiss nägi kassi. 1a) Valime predikaadid: Jüri; Mari - indiviidkonstandid Lugesraamatut(x) - x luges raamatut. Lugesraamatut(Jüri) & Lugesraamatut(Mari) 1b) Valime predikaadid: Jüri; Mari - indiviidkonstandid Luges(x,y) - x luges y-t. Raamat - konstant Luges(Jüri,Raamat) & Luges(Mari,Raamat) 1c) Valime predikaadid: Jüri; Mari - indiviidkonstandid Luges(x,y) - x luges y-t. Raamat(x) - x on raamat E x Raamat(x) & Luges(Jüri,x) & E h Raamat(y) & Luges(Mari,y) Tegu võib olla erinevate raamatutega, võivad ka olla samad raamatud. 2) Valime predikaadid: