TL(X) X có thể lực tốt

NN(X) X nhanh nhẹn

ST(X) X siêng tập luyện

TH(X) X có thể hình

ĐH(X) X đá hay

Thành lập các vị từ:

a) TL(X) ^ NN(X) -> ĐH(X)

b) ST(X) v TH(X) -> TL(X)
c) ST(X) -> NN(X)
d) ¬TH(CV) ^ ST(CV)
e) ¬ĐH(CV)?

a. TL(X) ^ NN(X) -> ĐH(X)

¬TL(X) v ¬NN(X) v ĐH(X) (1)

b.ST(X) v TH(X) -> TL(X)

¬ ST(X) ^ ¬TH(X) v TL(X)

(¬ST(X) v TL(X))^( ¬TH(X)vTL(X))

(¬ST(X) v TL(X)) (2)

( ¬TH(X)vTL(X)) (3)
c.ST(X) -> NN(X) ¬ST(X) v NN(X)

1. ¬TL(X) v ¬NN(X) v ĐH(X)

2. ¬ST(X) v TL(X)
3. ¬TH(X) v TL(X)
4. ¬ST(X) v NN(X)
5. ¬TH(CV)
6. ST(CV)
7. ¬ĐH(CV)?
8. NN(CV) res(4,6) X/Công Vinh
9. TL(CV) res(2,6) X/Công Vinh
10.¬NN(CV) v ĐH(CV) res(1,9) X/Công Vinh
11.ĐH(CV) res(8,10)
12.¬ĐH(CV) , ĐH(CV) res (7,11)

Kết luận: Giả thuyết Công Vinh đá hay là đúng .
TA(X) X giỏi tiếng anh TM(X) X thông minh

TO(X) X giỏi toán KT(X) X kiên trì

LT(X) X giỏi lập trình

Thành lập các vị từ:

a) TA(X) ^ TO(X) -> LT(X)

b) TM(X) v KT(X) -> TA(X)
c) TM(X) -> TO(X)
d) TM(Lan)
e) ¬KT(Lan)
f) LT(Lan)?

Robinson:

B1: Dạng chuẩn:

a) TA(X) ^ TO(X) -> LT(X)

¬TA(X) v ¬TO(X) v LT (1)

b) TM(X) v KT(X) -> TA(X)

(¬TM(X)^ ¬KT(X)) v TA(X)

(¬TM(X) v TA(X)) (2) ^ (¬KT(X) v TA(X)) (3)

c) TM(X) -> TO(X)

¬TM(X) v TO(X) (4)

1. ¬TA(X) v ¬TO(X) v LT(Lan)
2. ¬TM(X) v TA(X)
3. ¬KT(X) v TA(X)
4. ¬TM(X) v TO(X)
5. TM(Lan)
6. ¬KT(Lan)
7. ¬LT(Lan) Chuyển vế kết luận.
8. TA(Lan) res(2,5) X/Lan
9. TO(Lan) res(4,5) X/Lan
10.¬TO(Lan) v LT(Lan) res(1,8) X/Lan
11.LT(Lan) res(9,10)
12.¬LT(Lan) , LT(Lan) res(7,11)

Kết luận: Giả thuyết Lan lập trình giỏi là đúng.