(98% õigeid vastuseid) 1. Olgu meil kasutada predikaadid ISA(x,y), EMA(x,y) ja MEES(x) mis tähendavad vastavalt, et x on y isa, x on y ema ja x on meessoost. Predikaatmuutujate määramispiirkonnaks on kõigi inimeste hulk. Väljendada predikaatarvutuse abil sugulussidemed: a) lapselaps x on y-i lapselaps kui xy (LAPSELAPS(x,y) z ((ISA(z,x) EMA(z,x)) & (ISA(y,z) EMA (y,z))) (45% õigeid vastuseid) b) onu x on y-i onu kui xy (ONU(x,y) zuv ((ISA(z,y) EMA(z,y)) & ISA(u,z) & ISA(u,x) & EMA(v,z) & EMA(v,x) & MEES(x))) või ka xy (ONU(x,y) zu ((ISA(z,y) EMA(z,y)) & (ISA(u,z) EMA(u,z)) & (ISA(u,x) EMA(u,x)) & MEES(x))) (38% õigeid vastuseid) 2. Kui mu abikaasa mind petab, siis jätan ta maha või hakkan ka ise teda petma. Mina ei peta oma abikaasat kunagi kui tema mind ei peta. Ma ei jäta kunagi oma abikaasat maha enne, kui mul pole juba kedagi teist silmapiiril. Isegi uue kaaslase
#[#Zi#'.##1'25*~~ #?
+
#_hEl$#(//nvu.i¯$#U##~4####hw_#S 5=
annaabi.ee 
