1958年,王浩证明了有关命题演算的全部定理(220条)、谓词演算中150条定理的85%。
判断题 (10 分) 10分
A.对
B.错
出自:国家开放大学人工智能导论