相关考题
-
单项选择题
“真前提通过有效推理形式所得到的结论一定是真的，不会有反例”，这一说法适用于：（）
A.演绎和归纳
B.只适用于演绎
C.只适用于归纳
D.演绎和归纳都不适用 -
单项选择题
在卢卡西维茨的三值逻辑中，若p的真值为1，q的真值为2，那么（（¬p）→q ）的真值是：（）
A.1
B.2
C.3 -
单项选择题
最早提出多值逻辑思想的是：（）
A.亚里士多德
B.莱布尼茨
C.罗素
D.卢卡西维茨
