我无法解决逻辑问题

时间:2016-04-12 17:35:48

标签: logic

我认为这个逻辑问题很长一段时间了。这似乎很容易,但很难。我不知道如何使用等价来证明它。

(A->(B-&℃)) - >((A->(C-> d)) - >(A->(B-> d)))

1 个答案:

答案 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),尽管前者在这里会更有用。)