单项选择题
“一阶语言”、“一阶谓词演算”中“一阶”是指，量词只能用于：（）
A.命题变元B.个体变元C.谓词变元
单项选择题 以下关系中，同时具有自返性、对称性、传递性的是：（）
单项选择题 二元谓词“大于等于”具有：（）
单项选择题 一个全称肯定命题和一个特称否定命题作为三段论的前提（顺序不论），所得到的有效结论是：（）
