logic - 子句范式中无符号文字的名称

Question

子句范式中的逻辑语句的元素称为文字。

例如，给定子句{a, !b}

字面量是a, !b。

但是假设你想获得元素的集合，不管它们是否被否定。

'无符号文字'（？）是a, b.

什么是比“无符号文字”更好/更标准的术语？我想有人可以说“变量”，但在它们可能是常数或本身就是复杂术语的情况下，这似乎不协调。

Answer 1

最佳可用答案似乎是https://en.wikipedia.org/wiki/Atomic_formula中的“原子” ——尽管所讨论的对象可能是复杂的术语，但从命题逻辑的角度来看，它们是原子。