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

偶数的定义是：
概念：整数中，能被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） 假言推理

有何问题