若P是假的，則P→(Q→R)是真命題；
若P是真的，則當Q是假的，則P→(Q→R)是真命題；則Q→(P→R)也是真命題；
若P是真的，Q是真的，R是真的，則P→(Q→R)是真命題；則Q→(P→R)也是真命題；
若P是真的，Q是真的，R是假的，則P→(Q→R)是假命題；則Q→(P→R)是假命題。
綜合上面所得，在每壹種情況下，兩個命題的真值是壹致的，所以這兩個命題等價。
在自然推理系統P中構造下面的推理證明：
前提：A∨B→C∧D,D∨E→F
結論：A→F
① A∨B→C∧D 前提
② C∧D→D 簡化式
③ A∨B→D 前提三段論 ①②
④ A→A∨B 加法式
⑤ D→D∨E 加法式
⑥ D∨E→F 前提
⑦ A∨B→F 前提三段論 ③⑤⑥
⑧ A→F 前提三段論 ④⑦
證明：（A-B）-C=A-（B∪C）
（A-B）-C=A-（B∪C）
A-B-C=A-(B+C)
只能幫妳到這了