logic - 理解符号逻辑（来自 BCS 学习资源书）

Question

我目前正在学习符号逻辑，作为我参加的软件开发课程的一部分。其中一个学习资源给出了一个我不太理解的例子，希望得到一些帮助来解释它。

简单评分系统的符号逻辑示例如下：

if ¬(score < 51 V score > 80)

对于分数等于 85，示例给出了这个评估：

if ¬(true V score > 80)
if ¬(true V true)
if ¬(true)
if false

我不明白如何在评估的第二步中两者都为真（真 V 真）。

任何帮助都将受到极大的欢迎。

标签： logiclogical-operatorsnotation

Answer 1

如果我正确理解了这个练习：

我猜你不明白它是如何得到的：

if ¬(true V score > 80)->
->if ¬(true V true)->
->if ¬(true)->
->if false

1. 得分为 85（得分 > 80 = 真）
2. TRUE U TRUE = TRUE（我猜测 V 它的 U 表示联合，真联合等于真）
3. ¬：这个符号意味着否定，所以对真的否定是假的。

我建议看一下代数表达式。