这真的是“正确的”，并明确？

Question

有关我开始CS类之一，我们将在“真理功能逻辑。”

我的问题是关于英语的翻译。请注意，^是AND; v为（含）OR; 〜是不是。 - >是IF

好了，我们有这样的：“租被支付对留在企业的必要条件”

RENT -> BUSINESS

每当我们分级的一切，这是错误的。我问老师为什么，她什么也没有说更多的则说：“如果有在句子中没有then，那么前提是总是最后一个”

我希望有更好的解释如何，这是错误的。而这句话怎么一点也不含糊。东西比“没有then所以它总是这样。”

此外，一个侧面说明：哪里的IF布尔运算符从何而来？我从来没有听说过这样一个操作符是在CISH代码基本上等同于a==true?b:true的。我有一个非常困难的时间获取它的使用。

编辑： 正确答案是

BUSINESS -> RENT

Answer 1

如果你支付租金，你不一定业务。租！（ - >）。商业

不过，如果你在企业里，你必须支付租金。业务 - >租

Answer 2

我认为它应该已被写入：

BUSINESS -> RENT

“如果你在经营停留，然后你支付租金。”

P -> Q

可以陈述 “P蕴含Q”， “如果P，那么Q”，或 “Q如果P。”

Answer 3

她是正确的。这是一个典型的一意味着的 B'/强>但<强> B'/强>并不暗示的一个即可。你所说的业务是支付房租这是不对的必要条件。

Answer 4

  

在哪里的IF布尔运算符从何而来？我从来没有听说过这样一个操作符是在CISH代码基本上等同于a==true?b:true的。我有一个非常困难的时间获取它的使用。

此操作者更普遍地被称为“含义”。你说的“在哪里[它]来自”呢？

是的，暗示的为的难以把握和自己的错误完全是典型的。

可以通过注意到在错误的前提，一切可以解释，即使假解释含义（例如，我们可以在数学上证明，1 = 2，如果我们使用的前提下被0除是合法的）。出于这个原因，0 -> x总是为真，不管x的值（即，暗示能产生的结果）。

在另一方面，如果你的前提是正确的，蕴涵会导致正确的结果，从而1 -> 1是真（真前提意味着一个真正的结果），并1 -> 0是假的（一个真正的前提不能意味着一个假结果）。

Answer 5

!RENT -> !BUSINESS

如果你不支付租金，那么你就没有生意。这是的“对换句”

BUSINESS -> RENT

如果你在业务，然后你支付租金。

说的其他方式本（自a -> b === (!a || b)）：

!BUSINESS || RENT
RENT || !BUSINESS

要么你不是在企业或你支付租金或两个（或反之亦然）。

!(!RENT && BUSINESS)

您是不是都没有支付租金和商业（反之亦然）。

新增：BTW，这是解决如何工作的。把你的知识转化为合取范式，其中每个子句由原子而言，每一个都可以被否定的析取的。如果你知道你不支付租金，然后就是一个条款，它可以解决（即取消换算）寓意推导出新的条款，即你是不是在生意。

RENT || !BUSINESS
!RENT
--------
!BUSINESS

同样，如果你知道你是在企业，可以取消条款断定你支付租金。

RENT || !BUSINESS
BUSINESS
--------
RENT

这是第定理证明的吸引力 - 一个推理规则盖向前和向后两个推理

它还处理事例推理很好，就像如果A-> C和B-> C，并且A || B，它可以让你断定C：

1. !A || C
2. !B || C
3.  A || B
----------
4.  B || C  (resolve 3 and 1)
5.  C       (resolve 4 and 2)

Answer 6

这里的关键是单词“必要”。我们这里有形式的一句“X是必要的Y。”这是什么意思是，X必须是真实的Y是真实的。在日常语言中，我们认为这是“除非Y是真的X不可能是真实的”。而这种转变很清楚到，“如果X是假，则Y是假的”，因为如果X是假的，但Y是真实的，除非Y为真，那么我们就违反X不可能是真的。但是，如果X是假，则Y是假的象征性转换到!X => !Y其中有对换句Y => X。这就是为什么“X是必要的Y”等同于Y => X。

下面是一个例子：为奇数有必要为素数，大于二。这意味着，如果一个数是素数，大于二，它必须是奇数，因为为奇数是被素数，大于二的必要条件。换句话说，如果一个数是素数，大于二，它必须是奇数。反之（如果数量是奇数它必须是素数）是荒谬的。

此应该说服你，X是必要的Y相当于Y => X。

有是采用以下形式的语句之间的不同但相关的关系：“X是Y"的充分条件在日常语言中，我们会说。‘知道X是真实的理由Y是真实的’，或X => Y

这两个蕴涵（这是一个字吧！）的关系是相互的对偶。事实上，在数学，一个很重要的形式是“X是Y一个充分必要条件。”这意味着，X => Y和Y => X，或X <=> Y。我们说X和Y是等价的，我们有时会说“X if and only if Y”，有时简称为“当且仅当X Y。”