Ci bi n th ny: 1.Sinh vin no hc gii logic th cng hc gii tin hc v ton. 2.

.Mt s sinh vin gii ton nhng khng thch tin hc 3.Ai khng thich tin hc th khng gii tin hc. 4.Nhng ngi gii tin hc th d xin c vic lm 5.Mai khng thch hc logic nhng thch hc ton. 6.Bnh thch hc ton nhng hc tin hc d Hi : Vy Mai,Bnh d xin c vic lm hay khng. a)Dng logic v t m t cc mnh trn b)Dng thut ton Robinson gii Mnh lm nh th ny: 1.Sinh vin no hc gii logic th cng hc gii tin hc v ton. Gioi(X,Y) = { X gii mn Y } Sinhvien(X) = { sinh vin X } mi X, Sinhvien(X) ^ Gioi(X,logic) => Gioi(X,tin) ^ Gioi(X,toan) 2.Mt s sinh vin gii ton nhng khng thch tin hc Thich(X,Y) = { X thch mn Y } tn ti X, Sinhvien(X) ^ Gioi(X,toan) ^ ~Thich(X,tin) 3.Ai khng thich tin hc th khng gii tin hc. mi X,~Thich(X,tin) => ~ Gioi(X,tin) 4.Nhng ngi gii tin hc th d xin c vic lm mi X,Gioi(X,tin) => Vieclam(X) 5.Mai khng thch hc logic nhng thch hc ton. ~Thich(Mai,logic) ^ Thich(Mai,toan) 6.Bnh thch hc ton nhng hc tin hc d Thich(Binh,Toan) ^ ~Gioi(Binh,tin) Xem gip mnh lm nh vy ng cha sao lm hoi ci Robinson m n khng ra: Qui c : . ^ + v Chuyn v dng chun: Sinhvien(X) . Gioi(X,logic) =1.> Gioi(X,tin) . Gioi(X,toan) <=>(~Sinhvien(X) + ~Gioi(X,logic) + Gioi(X,tin)) . (~Sinhvien(X) + ~Gioi(X,logic) + Gioi(X,toan)) 2.X, Sinhvien(X) . Gioi(X,toan) . ~Thich(X,tin) Loi b lng t tn ti: Sinhvien(g(X)) . Gioi(g(X),toan) . ~Thich(g(X),tin) g(X) l hm Scholem ~Thich(X,tin) =3.> ~Gioi(X,tin) <=> Thich(X,tin) + ~Gioi(X,tin) Gioi(X,tin) =4.> Vieclam(X) <=>~Gioi(X,tin) + Vieclam(X) 5.~Thich(Mai,logic) . Thich(Mai,toan) 6.Thich(Binh,Toan) . ~Gioi(Binh,tin) p dng thut ton Robinson Gi s ~Vieclam(Mai) Ta c cc biu thc ng sau : 1. 1. ~Sinhvien(X) + ~Gioi(X,logic) + Gioi(X,tin) 2. ~Sinhvien(X) + ~Gioi(X,logic) + Gioi(X,toan) 3. Sinhvien(g(X)) 4. Gioi(g(X),toan) 5. ~Thich(g(X),tin) 6. Thich(X,tin) + ~Gioi(X,tin) 7. ~Gioi(X,tin) + Vieclam(X) 8. ~Thich(Mai,logic)

9. Thich(Mai,toan) 10. ~Vieclam(Mai) 11. ~Gioi(Mai,tin) Res(7B,10) ???

Mnh Nu Nu Nu C/m Logic v t: 1. Tri ma Mang d (Lan) 2. Mang d (Lan) Khng t (Lan) 3. Tri khng ma Khng t (Lan) Mnh Horm : 1. 2. 3. Tri ma Mang d (Lan) Mang d (Lan) Khng t (Lan) )Tri ma) Khng t (Lan) tri ma Lan Lam mang theo d tri khng ma rng Lan th th mang theo Lan khng b Lan khng b

d t t t

khng

Gi s Lan bi t : Khng t (Lan) 1. 2. 3. 4. Tri ma Mang d (Lan) Mang d (Lan) Khng t (Lan) Tri ma Khng t (Lan) Khng t (Lan) t (Lan) Khng Mang t d (Lan) (Lan) (5) (6)

Tuyn (1)&(3) : Khng Tuyn (5)&(2) : (6) v (4) i ngu nn CCM