人工智能-习题

人工智能 习题21. 把下列谓词公式分别化为相应的子句集：（1）（2）（3）2. 假设有以下前提知识:（1）自然数都是大于零的整数。 （2）所有整数不是偶数就是奇数。（3）偶数除以2是整数。求证：试