我认为这个逻辑问题很长一段时间了。这似乎很容易,但很难。我不知道如何使用等价来证明它。
(A->(B-&℃)) - >((A->(C-> d)) - >(A->(B-> d)))
答案 0 :(得分:0)
使用A->B
的定义(即~A v B
)和DeMorgan定律以析取正态形式(所有ands和ors)提出等效表达式。从那里,重复应用A v ~A
为真的事实将表达式简化为True。 (后者可能需要使用发布:A v (B ^ C) = (A v B) ^ (A v C)
,以及A ^ (B v C) = (A ^ B) v (A ^ C)
,尽管前者在这里会更有用。)