①｛1｝p→s
②｛2｝q→r
③｛3｝┐r
④｛4｝p∨q /∴s
⑤｛2,3｝┐q ②③→-
⑥｛2,3,4｝p ④⑤∨-
⑦｛1,2,3,4｝s ①⑥
证毕和书上例题的格式不太一样啊，我一点都不会。举个例子，书上是这样写的：①p→s 前提引入②┐s 前提引入③┐p ①②拒取式④p∨q前提引入。。。。。都可以。体例不同而已。①｛1｝p→s P②｛2｝q→r P③｛3｝┐rP④｛4｝p∨qP /∴s⑤｛2,3｝┐q T②③→-⑥｛2,3,4｝pT④⑤∨-⑦｛1,2,3,4｝ s T①⑥证毕
在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s
在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s
数学人气：818 ℃时间：2020-05-04 19:48:33
优质解答
我来回答
类似推荐
猜你喜欢
- 1在25℃的常温中用电热水壶烧开一壶水（水温达到100℃）用了5分钟,烧水过程中水温（y）可以看成时间（x）的一次函数,又过了1分钟,壶中水温开始近似于反比例关系下降.
- 2放映幻灯片时,在银幕上所成的像是正立、放大的实像?
- 3√123.4约等于?
- 4（）明天要下雨,（）不去看电影.括号里可以填那些关联词
- 5设随机变量X服从参数为3的泊松分布,根据切比雪夫不等式,则有P｛|X-3|≥2｝≤?
- 6已知，如图甲，在△ABC中，AE平分∠BAC（∠C＞∠B），F为AE上一点，且FD⊥BC于D． （1）试说明：∠EFD=1/2（∠C-∠B）； （2）当F在AE的延长线上时，如图乙，其余条件不变，（1）中的结论还成
- 7抽掉大小怪的52张扑克牌,分为相同的两堆.A堆的红色牌和B堆的黑色牌1000次的洗牌中有多少次.
- 8炼铁用什么原料和辅料?原料和辅料的简介
- 9一个正方形地面积是0.64平方米,它的边长是多少?
- 10电磁波到底是什么?是一种物质吗?