在谓词逻辑中，是否有一个词必须在所有情况下都是真的表达式才是真的？

Question

以下列例子为例：

A AND (B OR C)

显然，A必须为真，才能使表达式为true。

另一个例子是：

(A AND (B OR C)) OR (D AND E AND A)

同样，A必须是真，但在表达式的两个不同的腿上出现多次。

是否有一个变量/术语的词必须是真的，而不管这个表达式作为一个整体的嵌套程度有多深？就像图论中的支配节点。

Answer 1

有一个逆流，一个含蓄剂。在这种情况下，如果隐含词为true，则整个表达式必须为true。

从搜索结果来看，您想要的似乎是一个包含的。例如见http://www.cs.albany.edu/~ritries/KAIS-1819R1.pdf或https://arxiv.org/ftp/arxiv/papers/1401/1401.3475.pdf。因为你提到了“变量/术语”，所以隐含词必须是文字(变量或变量的否定)或文字的分离。

但它似乎比含意词更不为人所知，很容易与动词混淆。