相关考题
-
单项选择题
作出经典逻辑命题演算和谓词演算代表性工作的是（）。
A.莱布尼茨
B.布尔
C.德·摩根
D.弗雷格
E.罗素和怀特海 -
单项选择题
在关系逻辑方面作出开创性工作的是：（）
A.莱布尼茨
B.布尔
C.德·摩根
D.弗雷格
E.罗素和怀特海 -
单项选择题
布尔代数实现了数理逻辑中的：（）
A.命题演算
B.谓词演算
C.归纳演算
