| 经典逻辑 | 非经典逻辑 |
推理方法 | 演绎逻辑 | 归纳逻辑 |
辖域取值 | 二值(True和False) | 多值(三、四、模糊逻辑) |
运算法则 | 如 |
|
逻辑算符 | ∨、∧、→、∽、≡、∀ 、∃等符号 | 模态算符或算子 |
是否单调 | 单调 | 非单调 |
| 经典逻辑 | 非经典逻辑 |
推理方法 | 演绎逻辑 | 归纳逻辑 |
辖域取值 | 二值(True和False) | 多值(三、四、模糊逻辑) |
运算法则 | 如 |
|
逻辑算符 | ∨、∧、→、∽、≡、∀ 、∃等符号 | 模态算符或算子 |
是否单调 | 单调 | 非单调 |