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