在卢卡西维茨的三值逻辑中，若p的真值为1，q的真值为2，那么（（¬p）→q ）的真值是：（）……

单项选择题最早提出多值逻辑思想的是：（）

A.亚里士多德
B.莱布尼茨
C.罗素
D.卢卡西维茨

单项选择题经典逻辑的代表性著作是：（）

A.亚里士多德《工具论》
B.弗兰西斯·培根《新工具》
C.黑格尔《逻辑学》
D.穆勒《逻辑体系》
E.罗素和怀特海《数学原理》

单项选择题从“武汉在郑州以南”和“长沙在武汉以南”可推出“长沙在郑州以南”，所依据的是二元谓词“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.二者彼此都不能推出