（LOGIC）使用真值表确定语句是否正确

-1

我正在尝试为我的期中考察，并且我需要帮助指出该如何解决此问题。它说：（LOGIC）使用真值表确定语句是否正确

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

〜阿∨（B→C），E→（B & A），C→E | = C↔一个

我做了一个道理表中的每个语句，但我怎么没有主要连接词与其他语句中的其他连词相关。

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

2015-10-20 o.o

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)

，看看它是否是一个同义反复

来源

2015-10-20 21:32:02

感谢您的答复！你从哪里得到D？ –

我只是说出一个逻辑的一般原理。您的特定问题的应用程序遵循。 –

你能详细说明你为什么做了你所做的事吗？我不是故意烦人，但对我来说还没有多大意义。 –

（LOGIC）使用真值表确定语句是否正确

回答

相关问题