Logic 子句标准格式中的无符号文字的名称_Logic_Terminology_Clause_Conjunctive Normal Form

Logic 子句标准格式中的无符号文字的名称

logic

Logic 子句标准格式中的无符号文字的名称,logic,terminology,clause,conjunctive-normal-form,Logic,Terminology,Clause,Conjunctive Normal Form,子句正常形式的逻辑语句的元素称为文字例如，给定子句{a，！b} 文字是a，！b 但是，假设您想要获得元素集，而不管它们是否被求反 “无符号文字”（？）是a，b 有什么比“无符号文字”更好/更标准的术语？我想可以说“变量”，但在一个上下文中，变量本身可能是常量，也可能是复杂的术语，这似乎是不一致的。最好的答案似乎是“原子”，如中所示——尽管所讨论的对象可能是复杂的术语，从命题逻辑的角度来看，它们是原子。最好的答案似乎是“原子”，如中所示——尽管所讨论的对象可能是复杂的术语，但从命题逻辑的角度来看

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

例如，给定子句

{a，！b}

文字是

，

！b

但是，假设您想要获得元素集，而不管它们是否被求反

“无符号文字”（？）是

，

有什么比“无符号文字”更好/更标准的术语？我想可以说“变量”，但在一个上下文中，变量本身可能是常量，也可能是复杂的术语，这似乎是不一致的。

最好的答案似乎是“原子”，如中所示——尽管所讨论的对象可能是复杂的术语，从命题逻辑的角度来看，它们是原子。

最好的答案似乎是“原子”，如中所示——尽管所讨论的对象可能是复杂的术语，但从命题逻辑的角度来看，它们是原子