主要公开日志

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

• 2023年5月7日 (日) 15:31 Gsxab 留言 贡献创建了页面命题 （创建页面，内容为“分类:命题逻辑 {{InfoBox |name=命题 |eng_name=proposition }} '''命题'''指非真即假的陈述句。其真假称为真值。 用字母代替时，经常使用P、Q、R、……表示任意命题。 一般把确定的命题称为'''命题常量'''，可变的称为'''命题变元'''。 {{命题逻辑}}”）