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

永真蕴涵式之一的P，PQ，即P∧（PQ ）可以推出（）为真，称为假言推理 点击查看答案

为刻画谓词与个体的关系，在谓词逻辑中引入了两个量词：（）量词和（）量词。 点击查看答案