【离散数学数理逻辑题在P系统中构造下面推理的证明：P125如-查字典问答网

来自彭存银的问题

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

　　离散数学数理逻辑题

　　在P系统中构造下面推理的证明：P125

　　如果今天是周六,我们就到颐和园或圆明园玩.如果颐和园游人太多,就不去颐和园.今天是周六,并且颐和园游人太多.所以我们去圆明园或动物园玩.

3回答

2020-05-2620:53

我要回答

提示：回答问题需要登录哦！

提交

孙延明

　　先将简单命题符号化

　　令p：今天是星期六,

　　q：我们到颐和园去玩,

　　r：我们到圆明园去玩,

　　s：颐和园游人太多.

　　前提：p→(q∨r),s→┐q,p,s

　　结论：r

　　证明：①p→(q∨r)前提引入

　　②p前提引入

　　③q∨r①②假言推理

　　④s→┐q前提引入

　　⑤s前提引入

　　⑥┐q④⑤假言推理

　　⑦r③⑥析取三段论

2020-05-26 20:58:10

彭存银

　　不好意思因为我是一点也不懂考试的时候我就这样写就行吗

2020-05-26 21:02:54

孙延明

　　可以不过提醒你一下既然是学计算机的，那么最好还是要学好离散数学，因为这个是根本。

2020-05-26 21:07:10

大家都在问