例5．推证 ┐Q∧（P→Q）T┐P∨R。
　　证明 证明思路是：证明┐Q∧（P→Q）为真时，┐P∨R一定为真。
　　假定┐Q∧（P→Q）为 T ，
　　则┐Q 为 T ，且（P→Q）为 T ，
　　由 Q 为 F ，（P→Q）为 T ，知有 P 为 F ，
　　故 ┐P 为 T ，所以┐P∨R 为 T ，
　　则┐Q∧（P→Q）T┐P∨R 成立。