主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年6月24日 (六) 05:40 Gsxab 留言 贡献创建了页面原子公式 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=原子公式 |eng_name=atomic formula }} '''原子公式'''(atomic proposition)指不含逻辑联结词、量化表达式的谓词公式。 对命题逻辑而言，由于不关注命题的内部构造，原子公式相当于原子命题。 原子公式的定义基于项， * 若 <math>t_1, t_2</math> 都是项，由等词 <math>=</math> 连接的 <math>t_1 = t_2</math> 是原子公式； * 若 <math>t…”）