离散数学数理逻辑题在P系统中构造下面推理的证明：P125如果今天是周六,我们就到颐和园或圆明园玩.如果颐和园游人太多,就

来源：学生作业帮编辑：大师作文网作业帮分类：数学作业时间：2024/11/12 07:23:17

离散数学数理逻辑题
在P系统中构造下面推理的证明：P125
如果今天是周六,我们就到颐和园或圆明园玩.如果颐和园游人太多,就不去颐和园.今天是周六,并且颐和园游人太多.所以我们去圆明园或动物园玩.

先将简单命题符号化
令p：今天是星期六,
q：我们到颐和园去玩,
r：我们到圆明园去玩,
s：颐和园游人太多.
前提：p→(q∨r),s→┐q,p,s
结论：r
证明：①p→(q∨r) 前提引入
②p 前提引入
③q∨r ①②假言推理
④s→┐q 前提引入
⑤s 前提引入
⑥┐q ④⑤假言推理
⑦r ③⑥析取三段论
再问：不好意思因为我是一点也不懂考试的时候我就这样写就行吗
再答：可以不过提醒你一下既然是学计算机的，那么最好还是要学好离散数学，因为这个是根本。

离散数学数理逻辑题在P系统中构造下面推理的证明：P125如果今天是周六,我们就到颐和园或圆明园玩.如果颐和园游人太多,就离散数学数理逻辑例构造下面推理的证明 P1152是素数或合数.若2是素数,则是无理数.若是无理数,则4不是素数.所离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带自然推理系统问题在自然推理系统Nb中,构造下面推理的证明没有白色的乌鸦.北京鸭是白色的.因此,北京鸭不是乌鸦圆明园是颐和园的几倍? 在自然推理系统中构造下面推理的证明：前提：p→r,q→s,p∧q,结论：r∧s 在离散数学中前提是p蕴含q 结论是p蕴含(p且q) 的推理证明如果圆明园不被烧,老佛爷还建颐和园吗? 圆明园和颐和园哪个大我指的是现在的圆明园和现在的颐和园玩颐和园和圆明园要多久? 圆明园、颐和园的英文介绍圆明园、颐和园的英文介绍?