Question

离散数学题，求教

用符号写出下列各式并验证论证的有效性。
如果6是偶数，则7被2除不尽。
或5不是素数，或7被2除尽。
但5是素数。
所以6是奇数。

Answer 1

记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是奇数”。