logic - （逻辑）使用真值表确定陈述是否正确

Question

我正在努力为我的期中学习，我需要帮助弄清楚如何解决这个问题。它说：

使用任何合法的真值表技术确定以下陈述是否正确。

~A ∨ (B → C), E → (B & A), C → E |= C ↔ A

我为每个陈述制作了一个真值表，但我不知道主要连接词如何与其他陈述中的其他连接词相关联。

我想我必须制作一张联合表，但我真的不知道从哪里开始。如果有人能帮助我理解，将不胜感激！

Answer 1

A,B,C |= D 表示如果A, B,C都为真，则D也为真。但是，这正是表达式(A & B & C) -> D所说的。因此A,B,C |= D当且仅当(A & B & C) -> D是一个重言式时才是真的。换句话说，->连接词抓住了 的意思|=。对于您的问题，您可以为复合表达式制作一个真值表

[(~A ∨ (B → C)) &  (E → (B & A)) & (C → E)] -> (C ↔ A)

看看是不是重言式