离散数学题,求教
问题描述：
离散数学题,求教
用符号写出下列各式并验证论证的有效性.
如果6是偶数,则7被2除不尽.
或5不是素数,或7被2除尽.
但5是素数.
所以6是奇数.
答
记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是奇数”。