单项选择题 “真前提通过有效推理形式所得到的结论一定是真的，不会有反例”，这一说法适用于：（）

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

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