离散数学题,求教

离散数学题,求教
用符号写出下列各式并验证论证的有效性.
如果6是偶数,则7被2除不尽.
或5不是素数,或7被2除尽.
但5是素数.
所以6是奇数.
数学人气:258 ℃时间:2020-04-08 14:31:01
优质解答
记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是奇数”。
我来回答
类似推荐
请使用1024x768 IE6.0或更高版本浏览器浏览本站点,以保证最佳阅读效果。本页提供作业小助手,一起搜作业以及作业好帮手最新版!
版权所有 CopyRight © 2012-2024 作业小助手 All Rights Reserved. 手机版