Question

对于我刚开始的CS课程之一，我们正在讨论“真理功能逻辑”。

我的问题与英文翻译有关。注意^是AND; v是（包括）OR; 〜不是。 - ＆GT;是IF

嗯，我们有这样的说法：“支付租金是留在商业中的必要条件”

RENT -> BUSINESS

每当我们评估所有内容时，这都是错误的。我问老师为什么，她没说什么，“如果句子中没有then，那么先行者总是最后一次”

我想更多地解释一下这是怎么回事。而句子怎么不含糊。比“没有then更多的东西，所以它总是这样。”

另外，附注：IF布尔运算符来自何处？我从来没有听说过这样的运算符在Cish代码中与a==true?b:true基本相同。我很难掌握它的用法。

编辑：正确答案是

BUSINESS -> RENT

Answer 1

如果你支付租金，你不一定是在做生意。租！（ - ＆gt;）商业。

但是，如果您从事商业活动，则必须支付租金。业务 - ＆gt;租金。

Answer 2

我认为应该写成：

BUSINESS -> RENT

“如果你在做生意，那么你就是在支付租金。”

P -> Q

可以表示“P表示Q”，“如果是P，那么Q”或“Q如果P”。

Answer 3

她是对的。这是经典 a 暗示 b ，但 b 并不意味着 a 。你说什么生意是支付租金的必要条件，这是错误的。

Answer 4

IF布尔运算符来自何处？我从来没有听说过这样的运算符在Cish代码中与a==true?b:true基本相同。我很难掌握它的用法。

此运算符通常称为“隐含”。你是什么意思“它来自哪里”？

是的，暗示很难掌握，而你的错误是完全典型的。

你可以通过注意在错误的前提下解释所有，甚至是伪造的（例如，如果我们使用除以0的前提，我们可以在数学上证明1 = 2）来解释其含义。是合法的）。因此，0 -> x始终为真，无论x的值如何（即暗示可以产生结果）。

另一方面，如果你的前提是正确的，暗示将导致正确的结果，因此1 -> 1为真（真正的前提意味着真实的结果），而1 -> 0是假的（一个真实的前提不能暗示错误的结果。）

Answer 5

!RENT -> !BUSINESS

如果您不支付租金，那么您就没有营业。这是

的“对立面”

BUSINESS -> RENT

如果您从事商业活动，那么您需要支付租金。

其他说法（自a -> b === (!a || b)起）：

!BUSINESS || RENT
RENT || !BUSINESS

要么您没有营业，要么您支付租金或两者兼而有之（或反之亦然）。

!(!RENT && BUSINESS)

你不是都不支付租金和业务（反之亦然）。

增加：顺便说一句，这就是分辨率的工作原理。把你的知识变成联合的正常形式，其中每个子句由原子术语的分离组成，每个原子术语都可以被否定。如果你知道你不支付租金，那么这是一个条款，你可以解决（即取消条款），暗示推断一个新的条款，即你没有营业。

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为真，则我们会违反{{1}除非Y为真，否则不能为真。但如果X为false，则X为false会将符号转换为具有对立Y的{{1}}。这就是“!X => !Y”必需“Y => X”等同于X的原因。

这是一个例子：奇数必须是素数且大于2。这意味着如果一个数是素数且大于2，它必须是奇数，因为奇数是素数和大于2的必要条件。换句话说，如果数字是素数且大于2，则必须是奇数。相反（如果一个数字是奇数，它必须是素数）是荒谬的。

这应该说服您Y所需的Y => X等同于X。

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

这两个暗示（现在是一个词！）关系是彼此的双重关系。事实上，在数学中，一个非常重要的形式是“Y是X => Y的必要和充分条件。”这意味着X和Y或X => Y。我们说Y => X和X <=> Y是等价的，我们有时会说“X”，有时会将其缩写为“Y iff X if and only if Y。”

这真的“正确”且毫不含糊吗？

6 个答案: