P:我去看望老張
Q:我去看望老李
B:我要帶些書
C:我要去新華書店
問題符號化為：
非（P∧Q）(可以兩個人都不去看 但不能同時看兩個人)
P->B
B->C
非C->P
==>非C->Q
1 B->CP規(guī)則
2P->B P規(guī)則
3P->C T規(guī)則 1,2
4 非C->非PT規(guī)則 3
5 非（P∧Q） P規(guī)則
6非P->QT規(guī)則 5
7非C->Q T規(guī)則4 6