（逻辑）使用真值表确定语句是否正确
(LOGIC) Determine whether a statement is correct using truth-tables
我正在为期中考试努力学习，我需要帮助来弄清楚如何解决这个问题。它说：
Determine whether the following statement is correct, using any
legitimate truth-table technique.
~A ∨ (B → C), E → (B & A), C → E |= C ↔ A
我对每个陈述都做出了判断table，但我不知道主要连接词如何与其他陈述中的其他连接词相关联。
我想我必须做一个关节 table 但我真的不知道从哪里开始。如果有人能帮助我理解，将不胜感激！
A,B,C |= D 意味着 如果 A,B,C 都是真的那么 D 是也是如此。但是，这正是表达式 (A & B & C) -> D 所说的。因此 A,B,C |= D 为真当且仅当 (A & B & C) -> D 是重言式。换句话说，连接词 -> 捕捉到了 |= 的意思。对于你的问题，你可以为复合表达式
做一个真值table
[(~A ∨ (B → C)) & (E → (B & A)) & (C → E)] -> (C ↔ A)
看看是不是重言式
我正在为期中考试努力学习，我需要帮助来弄清楚如何解决这个问题。它说：
Determine whether the following statement is correct, using any legitimate truth-table technique.
~A ∨ (B → C), E → (B & A), C → E |= C ↔ A
我对每个陈述都做出了判断table，但我不知道主要连接词如何与其他陈述中的其他连接词相关联。
我想我必须做一个关节 table 但我真的不知道从哪里开始。如果有人能帮助我理解，将不胜感激！
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)
看看是不是重言式