Question

有哪位大神可以帮忙解一下这两道逻辑证明题吗？

有哪位大神可以帮忙解一下这两道逻辑证明题吗？请用“真值表方法”证明下题：
①、（p→（r∧s））∧p→（r∧s）
②、（（p∨r）→（q∧s））∧（p∨r）→（q∧s）

Answer 1

①设r∧s=m,p'表示非p,
(p→m)∧p=(p'∨m)∧p=(p'∧p)∨(m∧p)=m∧p,
∴[(p→m)∧p]→m=(m∧p)'∨m=m'∨p'∨m=1,
∴命题成立。
②以p∨r代替①的p，以q∧s代替①的r∧s就得到②。

追问

哇！谢谢~