"zuvwt" - 1 õppematerjal

Loogika ülesanded 2

määramispiirkonnaks on kõigi inimeste hulk. Väljendada predikaatarvutuse abil sugulussidemed: a) poolvennad - x ja y on poolvennad kui xy (POOLVENNAD(x,y) z (ISA(z,x) & ISA(z,y) EMA(z,x) & EMA(z,y)) & MEES(x) & MEES(y)) Selline konstruktsioon peaks garanteerima, et on tegemist nimelt poolvendadega kuna z ei saa olla korraga isa ja ema realiseerib see sisuliselt XOR tehte. (23% õigeid vastuseid) b) onutütar - x on y-i onutütar kui xy (ONUTÜTAR(x,y) zuvwt ((EMA(z,y) ISA(z,y)) & EMA(u,z) & EMA(u,w) & ISA(v,z) & ISA(v,w) & MEES(w) & ISA(w,t) & ¬MEES(t)) Siin z on ükskõik kumma y-i vanema rollis, u on z ja w ema ja v on z ja w isa, seega w oleks y-i onu (kuna ta on mees). Lõpuks t on w tütar. (5% õigeid vastuseid) 2. Arvutimängu kangelane käitub järgmiste reeglite alusel. Kui ta kohtab vaenlast, siis ta kas võitleb või põgeneb. Kui tal ei ole relva, ei saa ta võidelda. Kui ta hindab vastast tugevamaks põgeneb ta samuti.