作出经典逻辑命题演算和谓词演算代表性工作的是（）。

在关系逻辑方面作出开创性工作的是：（）A.莱布尼茨B.布尔C.德·摩根D.弗雷格E.罗素和怀特海

单项选择题在关系逻辑方面作出开创性工作的是：（）

布尔代数实现了数理逻辑中的：（）A.命题演算B.谓词演算C.归纳演算

单项选择题布尔代数实现了数理逻辑中的：（）

在《新工具》中强调归纳逻辑的是：（）A.罗吉尔·培根B.弗兰西斯·培根C.密尔（穆勒）D.康德E.黑格尔

单项选择题在《新工具》中强调归纳逻辑的是：（）