考虑一个条款(分离属于字面量)从一阶逻辑公式在里面Skolemized形式
然后是一个字面意义的从以下方面获得通过将所有变量替换为埃尔布朗宇宙 属于称为基本文字。
此条目由贡献亚历克斯萨哈罗夫(作者链接)
更多需要尝试的事情:
亚历克斯·萨哈罗夫.“基本文字”。来自数学世界--Wolfram Web资源,创建人埃里克韦斯特因。https://mathworld.wolfram.com/GroundLiteral.html