证明: A→(B →C) ↔(A^B) →C,其中 A、B、C 为命题公式
1个回答
关注
展开全部
咨询记录 · 回答于2022-12-23
证明: A→(B →C) ↔(A^B) →C,其中 A、B、C 为命题公式
证明:B→C⇔¬∵ A⊕B⇔(A-B)∪(B-A) ①∴(A⊕B)-C((A-B)∪(B-A)-C) 根据①得⇔(A-B-C)∪(B-A-C) ②C-(A⊕B)⇔C-(A-B)∪(B-A) 根据①⇔C-(A-B)-(B-A)∴(A→B)∧(B→C)⇔A→C