https://i.imgur.com/n3KXXKI.jpg
请问为什么可以直接消去R
谢谢

truth table画一下啊

(P->Q)&P <=> (~P|Q)&P <=> (~P&P)|(Q&P) <=> Q&P然后析取，可推得 => Q这不是等价，而是推论 真值表不需要一样纸上(?)右边那东西其实就是我写的意思直接理解就是 若A则B，而且现在确定有A，那我可以知道有B上面析取应该讲合取除去(Conjunction elimination)才对不过这一堆本身就叫肯定前件(MP)规则了

题目已经假设R是false了

1到2 : 若p则q 等价 非q则非p2到3 : 若p则q且p为真 等价 q为真

那不叫等价，等价的是p真且q真 q真是推演结果

https://i.imgur.com/v8aeD5p.jpg题目已假设r false 不然我划箭头那真值表出来会有truefalse两种情况

你们要先弄清楚什么叫等价，什么叫推演还有那个假设r是false或怎么样的只是差在多and一个~R罢了，所谓的"r为false"本身就是一个具有真假值的叙述，它就是用真值表时，假设R为F时结果是T，假设为T时结果为F的叙述然后sone的第五个等号错了，右边~R要跟~(PandQ)括在一起应该说第四个等号那边就该括好了所以~R在第五个等号那边不会消失