课本上的定义的写法应该是有点问题,想必是用“P→Q”表示条件式吧? 　　这里你很容易想到P和Q是两个命题变元吧,实际上这里的P和Q是命题公式,所以写成A→B更合适点.也就是说前件和后件是有关系的,比如P∧Q→P,就是一个重言式 　　当P,Q都是命题变元的时候,P→Q当然不可能是重言式了.