什么是离散数学分块？

这里你很容易认为P和Q是两个命题变量。其实这里的P和Q都是命题公式，写成A → B更合适，也就是说，前者和后者是相关的，比如P∧Q→P，这是一个重言式。

当P和Q都是命题论点时，当然P→Q不可能是重言式。