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