boolean-logic - 这真的是 "correct"并且明确吗？

Question

对于我开始的 CS 类(class)之一，我们将学习“真函数逻辑”。

我的问题与英文翻译有关。注意 ^ 是 AND; v 是(包括)或； 〜不是。 -> 是如果

好吧，我们有这个:“支付租金是留在企业的必要条件”

租金 -> 业务

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

我想要更多关于这是怎么回事的解释。并且这句话是如何不模棱两可的。不仅仅是“没有 then 所以它总是这样”。

另外，附注:IF 在哪里？ bool 运算符从何而来？我从未听说过这样的运算符在 Cish 代码中基本上等同于 a==true?b:true .我很难掌握它的用法。

编辑:
正确答案是

业务 -> 租金

Answer 1

如果你支付租金，你不一定是在做生意。租!(->) 生意。

但是，如果您是做生意的，则必须支付租金。业务 -> 租金。