对于我开始的 CS 课程之一，我们将讨论“真实功能逻辑”。
我的问题与英文翻译有关。请注意，^ 是 AND；v 是（含）OR；~ 不是。-> 是如果
好吧，我们有这个：“支付租金是留在商业的必要条件”
租金 -> 商业
每当我们对所有内容进行评分时，这都是错误的。我问老师为什么，她只说“如果then句子中没有，那么先行词总是在最后”
我想要更多关于这是错误的解释。以及句子如何不模棱两可。不仅仅是“没有then，所以总是这样”。
另外，附注：IF布尔运算符来自哪里？我从来没有听说过这样一个在 Cish 代码中基本上等同于a==true?b:true. 我很难掌握它的用法。
编辑：正确答案是
商业 -> 租金
如果你支付租金，你不一定在做生意。租！（->）业务。
但是，如果您在做生意，则必须支付租金。商业 -> 租金。
我觉得应该写成：
BUSINESS -> RENT
“如果你继续做生意，那么你就要付房租。”
P -> Q
可以表述为“P 蕴含 Q”、“如果 P 则 Q”或“如果 P 则 Q”。
她是对的。这是经典的 a暗示b但b并不暗示a。你说的生意是付房租的必要条件，这是错误的。
布尔
IF运算符从何而来？我从来没有听说过这样一个在 Cish 代码中基本上等同于a==true?b:true. 我很难掌握它的用法。
该运算符通常称为“蕴涵”。“[它]从哪里来”是什么意思？
是的，暗示很难理解，你的错误是完全典型的。
您可以通过注意在错误前提下解释其含义，甚至可以解释一切，甚至是虚假的（例如，如果我们使用除以 0 是合法的前提，我们可以在数学上证明 1 = 2）。出于这个原因，0 -> x无论 的值如何，它总是正确的x（即暗示可以产生结果）。
另一方面，如果您的前提是正确的，则蕴涵将导致正确的结果，因此1 -> 1为真（真前提暗示真结果），并且1 -> 0为假（真前提不能暗示假结果）。
!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)
这里的关键是“必要”这个词。我们这里有一个形式为“X对于 是必要的”的句子Y。这意味着X必须为真Y才能为真。在日常语言中，我们认为这是“Y除非是真的，否则不可能X是真的”。这很清楚地转化为“如果X是假的，那么Y就是假的”，因为如果X是假的，但如果Y是真的，那么我们将违反Y不可能是真的，除非X是真的。但是如果X是假的，那么Y是假的象征性地翻译成!X => !Y具有对立面Y => X的。这就是为什么“X是必要的Y”等价于Y => X。
这是一个例子：奇数是素数且大于二的必要条件。这意味着如果一个数是素数并且大于二，它一定是奇数，因为奇数是素数并且大于二的必要条件。换句话说，如果一个数是素数并且大于二，它一定是奇数。反过来（如果一个数是奇数，它一定是素数）是荒谬的。
这应该让你相信X有必要 for Yis 等价于Y => X.
陈述之间有一种不同但相关的关系，其形式如下：“X是 的充分条件Y"。在日常语言中，我们会说“知道X为真是为真的理由Y”，或X => Y。
这两个隐含的（现在是一个词！）关系是彼此的对偶。事实上，在数学中，一个很重要的形式就是“X是 的充要条件” Y。这意味着那个X => Y和Y => X，或者那个X <=> Y。我们说XandY是等价的，我们有时说“ X if and only if Y”，有时缩写为“ Xiff Y”。