Giả sử chúng ta biết các thông tin sau đây:

1. Ông Ba nuôi một con chó.
2. Hoặc ông Ba hoặc ông Am đã giết con mèo Bibi.
3. Mọi người nuôi chó đều yêu quý động vật.
4. Ai yêu quý động vật cũng không giết động vật.
5. Chó mèo đều là động vật.

c/m: ông Am đã giết Bibi?

B1. Định nghĩa các vị từ

Cho(x) //                         x là chó

Nuoi(y,t) //                      y nuôi t

Meo(z)  //                        z là mèo

Giet(u,v)                         u giết v

Yeudongvat(o)                o yêu động vật                  

Dongvat(m)//                  m là động vật

B2. Biểu diễn các câu nói (phát biểu) về biểu thức logic vị từ

1. Cho(D) Ù nuoi(Ba, D)
2. Meo(Bibi) Ù (giet(Ba, Bibi) Úgiet(Am, Bibi))
3. "y,t  nuoi(y,t) Ù cho(t) ® yeudongvat(y)        
4. "u,v yeudongvat(u) Ù dongvat(v) ® Øgiet(u,v)
5. Cho(o) ® dongvat(o)     
6. Meo(k) ® dongvat(k)

B3. Chuẩn hóa bằng cách khử dấu kéo theo ®, ", $: đưa về dạng chuẩn Ú

1. Cho(D)
2. Nuoi(Ba, D)
3. Meo(Bibi)
4. giet(Ba, Bibi) Ú giet(Am, Bibi)
5. Ø nuoi(y,t) Ú Ø cho(t) Ú  yeudongvat(y)       
6. Ø yeudongvat(u) Ú Ø dongvat(v) Ú  Øgiet(u,v)
7. Ø Cho(o) Ú  dongvat(o)    
8. Ø Meo(k) Ú  dongvat(k)
9.          Ø Giet(Am, Bibi)      (phủ định kết luận)

B4. Hợp giải bằng cách dùng luật thay thế

10.  Dongvat(Bibi)       thay k/ Bibi   hg(3-8)
11.  Giet(Ba, Bibi) Ú   Ø yeudongvat(Am) Ú Ø dongvat(Bibi)       thay u/ Am và v/Bibi hg(4-6)
12. Giet(Ba, Bibi)  Ú  Ø yeudongvat(Am)                                            hg(10-11)
13. Giet(Am, Bibi) Ú Ø yeudongvat(Ba) Ú Ø dongvat(Bibi) (u/Ba, v/Bibi)  hg(4-6)
14. Giet(Am, Bibi) Ú Ø yeudongvat(Ba)  Ú Ø Cho(o)                          hg(13-`7)
15. Giet(Am, Bibi) Ú Ø yeudongvat(Ba)                                                  hg ( 2-14)  D/o
16. Giet(Am, Bibi) Ú Ø nuoi(Ba,t) Ú Ø cho(t)           Ba/y                              hg( 15-5)
17.  Giet(Am, Bibi) Ú Ø nuoi(Ba,t)        D/t                                                    hg(16-1)
18. Giet(Am, Bibi)    >< 9                   D/t