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

问题描述:

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

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

A偶数→B被2整除
C6→A偶数
∴C→A