早教吧作业答案频道 -->其他-->
逻辑学的证明题……拜托了~证明：(a)p,¬p├q(b)¬¬p├q
题目详情
逻辑学的证明题……拜托了~
证明：
(a)p,¬p├ q
(b)¬¬p├ q
证明：
(a)p,¬p├ q
(b)¬¬p├ q
▼优质解答
答案和解析
(a)p,¬p├ q
1）p∧¬p P
2）p T1)合取消去
3）¬p T1)合取消去
4）p∨q T2)析取添加
5）q T3)4)析取消去
(b)¬¬p├ q
1) ¬¬p P
2) ¬¬q 1)q/p代入
3）q T2)¬¬消去
1）p∧¬p P
2）p T1)合取消去
3）¬p T1)合取消去
4）p∨q T2)析取添加
5）q T3)4)析取消去
(b)¬¬p├ q
1) ¬¬p P
2) ¬¬q 1)q/p代入
3）q T2)¬¬消去
看了 逻辑学的证明题……拜托了~证...的网友还看了以下：
逻辑学和逻辑思维学有什么区别?在一篇论文上看到,关于逻辑学（形式逻辑,数理逻辑,辩证逻辑）已经有了 2020-05-14 …
一辆车在南北方向马路上巡逻,规定向北为正,单位为km,巡逻记录如下：14,-9,18,-7,13, 2020-06-18 …
法律逻辑中的逻辑常项跟变项1、任何逻辑形式都是由逻辑和两个部分组成的，逻辑形式的不同是由的不同决定 2020-07-05 …
求这道逻辑题的逻辑式逻辑式即用逻辑符号来表达推理过程我会推理但不会逻辑式在美国芝加哥,有一家大百货 2020-07-05 …
求逻辑,举一反三!如下逻辑.有3个人去投宿,一晚30元.三个人每人掏了10元凑够30元交给了求逻辑 2020-07-14 …
逻辑学问题逻辑学是研究思维的逻辑形式及其规律的科学这句话对吗书上说这句话是同语反复,但是逻辑学的书 2020-08-02 …
从贵阳到北京可以乘坐汽车到达也可以乘坐火车到达，这体现了哪种逻辑关（）A.“与”逻辑B.“或”逻辑 2020-11-13 …
从陕西榆林到西安可以乘坐汽车到达也可以乘坐火车到达，这体现了哪种逻辑关系（）A．“与”逻辑B．“或” 2020-11-13 …
命题：“方程x2-1=0的解是x=±1”，其使用逻辑联结词的情况是（）A．使用了逻辑联结词“且”B． 2020-12-07 …
两道数学题命题"方程|x|=1的解是x=±1"中,使用逻辑联结词的情况是?A使用了逻辑联结词"或"B 2020-12-07 …