单项选择题
A.陈述句B.感叹句C.疑问句D.反问句
作出经典逻辑命题演算和谓词演算代表性工作的是()。A.莱布尼茨B.布尔C.德·摩根D.弗雷格E.罗素和怀特海
单项选择题作出经典逻辑命题演算和谓词演算代表性工作的是()。
A.莱布尼茨B.布尔C.德·摩根D.弗雷格E.罗素和怀特海
在关系逻辑方面作出开创性工作的是:()A.莱布尼茨B.布尔C.德·摩根D.弗雷格E.罗素和怀特海
单项选择题在关系逻辑方面作出开创性工作的是:()
布尔代数实现了数理逻辑中的:()A.命题演算B.谓词演算C.归纳演算
单项选择题布尔代数实现了数理逻辑中的:()
A.命题演算B.谓词演算C.归纳演算