判断题 演绎逻辑假定前提为真，同时告诉我们如何判定命题是否为真。

判断题 一介逻辑又叫做谓词逻辑，是数理逻辑或现代逻辑的基础。

单项选择题 在归纳逻辑中，所有前提真而结论（）。