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

Question

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

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

文字是 a , !b.

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

'unsigned literals'(?) 是 a , b.

与 'unsigned literals' 相比，better/more 标准术语是什么？有人可以说 'variables' 我想，但在它们可以是常量或本身就是复杂术语的上下文中这似乎不协调。

Answer 1

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