试题详情

任何一个可合一的非空有限公式集一定存在最一般合一

A正确

B错误