经典逻辑的代表性著作是：（）

单项选择题从“武汉在郑州以南”和“长沙在武汉以南”可推出“长沙在郑州以南”，所依据的是二元谓词“A在B以南”的：（）

A.自返性
B.对称性
C.传递性

单项选择题从（$y）（ x）R（x，y）不能推出的是：（）

A.（"x）（$y）R（x，y）
B.（"y）（$x）R（x，y）
C.（x）（y）R（x，y）
D.（y）（x）R（x，y）

单项选择题“至少有一个选民投了所有候选人的赞成票”和“所有候选人都至少得了一张赞成票”这两句话：（）

A.可以互相推出
B.只有前者可以推出后者
C.只有后者可以推出前者
D.二者彼此都不能推出

单项选择题从数理逻辑的眼光看来，三段论的弱式：（）

A.普遍有效
B.无效
C.在一定条件下有效

单项选择题对从未借贷的张三来说，“张三已经还清了贷款”这句话：（）

A.必然真
B.必然假
C.可真可假
D.没有意义