帮忙证明一道离散数学的逻辑证明题
题目:证明(p→q)∧(q→r)→(p→r)是永真式
请高手把证明过程写出来
人气:195 ℃ 时间:2019-10-10 01:21:08
解答
其推理式为:(p→q)∧(q→r)→(p→r),要求从(p→q)∧(q→r)能推导出p→r.以下用命题自然推理来证明:
①{1}(p→q)∧(q→r) P/∴p→r
②{1}p→q T①
③{1}q→r T①
④{2}p P
⑤{12}q T②④
⑥{12}r T③⑤
⑦{1}p→r D④⑥
推荐
- 考虑由3条或者由4条边的所有多边形组成的论域,并且对于这个论域定义如下开放语句.
- 一道离散数学证明题
- 逻辑的一道题
- 离散数学一阶逻辑证明问题
- 若B是布尔代数,则当a、b、c 时,有
- 随温度增高汽油密度是增高还是减少?
- 如图,在直三棱柱ABC—A1B1C1中,AC=3,BC=4,AB=5,AA1=4,点D是AB的中点.(Ⅰ)求证AC⊥BC1; (Ⅱ)求
- 1.当k为何值时,关于x的方程x²-(2k-1)x+k²=0有两个不相等的实数根?
猜你喜欢
- She practices speaking ----- English -----.
- 铜 铁 铝的密度
- He is very strong and can carry the heavy box alone.=He is strong___ ___carry the heavy box himself
- 英语中冒号的作用是什么?举个例子.
- 一根粗细均匀的铜导线,电阻为R,如果把它截为长度相同的两段,每段的电阻为R1,则R1_R;如果原来的导线对折拧成一条使用,其电阻为R2,则R2_R.(填“<”“>”“=”)
- 甲乙两车同时从A到B,2,甲行完全程用5.5时,两车几小时相遇?
- 在一个电路中,电源电压为6V,电压表最大量程为3V,电流表最大量程为0.6A,小灯泡的额定功率为1.2W,假设电压表电阻足够小,问:若把电源,电流表,电压表,小灯泡和一个0—100欧的电阻箱串联,当电阻箱电阻为多少时,电路工作正常(电流表,
- 校今年学生总数为1260人,比去年增加了百分之五.其中男生增加了百分之八,女生减少百分之四,原来男女生