"zuvw" - 1 õppematerjal

Loogika ülesanded 2

määramispiirkonnaks on kõigi inimeste hulk. Väljendada predikaatarvutuse abil sugulussidemed: a) õed - x ja y on õed kui xy (ÕDE(x,y) z (ISA(z,x) & ISA(z,y)) & u (EMA(u,x) & EMA(u,y)) & ¬(MEES(x) MEES(y))). või x on y-i õde kui xy (ÕDE(x,y) z (ISA(z,x) & ISA(z,y)) & u (EMA(u,x) & EMA(u,y)) & ¬MEES(x)) lugesin õigeks ka nö. kasuõdede variandi. (25% õigeid vastuseid) b) vanatädi - x on y-i vanatädi kui xy (VANATÄDI(x,y) zuvw((EMA(z,y) ISA(z,y)) & (EMA(u,z) ISA(u,z)) & EMA(v,u) & EMA(v,x) & ISA(w,u) & ISA(w,x) & ¬mees(x)) siin seega z on y-i ema või isa, u on vanaema või vanaisa ja x on viimase õde. (7% õigeid vastuseid) 2. Kui mu abikaasa mind petab, siis jätan ta maha või hakkan ka ise teda petma. Kui ma oma abikaasat petan, jätan ta varem või hiljem igal juhul maha. Kui abikaasa peakski mind petma, võin siiski talle andestada ja teda mitte maha jätta.