记p:6是偶数,q:7被2除尽 ,r:5是素数,则
前提是：p→┐q,┑r∨q,r
结论是：┑p
证明如下：
（1）┑r∨q 前提引入
（2）r 前提引入
（3）q 析取三段论
（4）p→┐q 前提引入
（5）┑p 拒取式
得证.所以呢？6是奇数？主要是这段推理哪有问题？谢谢┑p 就是“ 6是奇数”。