公式￢￢P等价于（）。

永真蕴涵式之一的P→Q，Q→R即（P→Q）∧（Q→R）可以推出（）为真，称为假言三段论。 点击查看答案

永真蕴涵式之一的￢Q，P→Q，即￢Q∧（P→Q ）可以推出（）为真，称为拒取式推理。 点击查看答案