单项选择题 一阶逻辑即是指（）。

单项选择题 在亚里士多德的逻辑中，（）被认为是肯定或否定主项具有谓项性质的语句。

单项选择题 用欧拉图表示两个对象之间的关系，可以分为（）种情况。