子句普通形式的无符号文字的名称

Question

子句正规形式的逻辑语句的元素称为文字。

例如，给定条款{a, !b}

文字为a，!b。

但是假设您想要获取元素集，无论它们是否被否定。

'unsigned literals'（？）是a，b。

比'unsigned literals'更好/更标准的术语是什么？人们可以说我认为是“变量”，但在它们可能是常数的环境中，或者它们本身就是复杂的术语，这似乎是不协调的。

Answer 1

最好的答案似乎是https://en.wikipedia.org/wiki/Atomic_formula中的'原子' - 尽管有问题的对象可能是复杂的术语，但它们是命题逻辑的视角下的原子。