自然推理系统证明:偶数都能被2整除.6是偶数.所以6能被2整除.
问题描述：
自然推理系统证明:偶数都能被2整除.6是偶数.所以6能被2整除.
答
设：F（x）：x是偶数，G（x）：x能被2整除，a：6
前提：任意x（F（x）—>G（x）），F（a）
结论：G（a）
证明：①任意x（F（x）—>G（x）） 前提引入
②F（a）—>G（a） ①全称量词消去规则
③F（a） 前提引入
④G（a） 假言推理
答
有何问题
答
偶数的定义是：
概念：整数中,能被2整除的数是偶数（就是人们口头上说的双数）,反之是奇数（人们口头叫单数）.
这是个双向命题.
还有问题吗?