自然推理系统证明:偶数都能被2整除.6是偶数.所以6能被2整除.

问题描述:

自然推理系统证明:偶数都能被2整除.6是偶数.所以6能被2整除.

偶数的定义是:
概念:整数中,能被2整除的数是偶数(就是人们口头上说的双数),反之是奇数(人们口头叫单数).
这是个双向命题.
还有问题吗?