主要公开日志

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

• 2023年9月2日 (六) 13:23 Gsxab 留言 贡献创建了页面命题公式分类 （创建页面，内容为“分类:命题逻辑 {{InfoBox |name=重言式 |eng_name=tautology |aliases=永真式 }} {{InfoBox |name=偶然式 |eng_name=contingency |aliases=仅可满足式,可真可假式 }} {{InfoBox |name=矛盾式 |eng_name=contrandiction |aliases=永假式,不可满足式,unsatisfiable formula }} {{InfoBox |name=可满足式 |eng_name=satisfiable formula }} 根据命题公式的在全部解释下的真值，可以将命题公…”）