高等继续教育 / 人工智能
题型描述: 简答题
已知前提：
（1）自然数都是大于零的整数。
（2）所有整数不是偶数就是奇数。
（3）偶数除以2是整数。
用归结原理求证：所有自然数不是奇数就是一半为整数的数。
参考答案：
佳题速递：