主要公开日志

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

• 2023年7月1日 (六) 09:43 Gsxab 留言 贡献创建了页面解释（命题逻辑） （创建页面，内容为“分类:命题逻辑 {{InfoBox |name=解释 |eng_name=interpretation }} 对一个命题公式 <math>A</math> ，其中有 <math>P_1, P_2, \dots, P_n</math> 共 <math>n</math> 个命题变元，按照每个命题变元为真假，一共有 <math>2^n</math> 种指派（命题逻辑），在每种指派下，命题变元的真值和命题公式的真值共同构成命题公式的一个'''解释'''('''interpretation''')。 {{命题逻辑}}”）