若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)
只能幫妳到這了