主要公开日志

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

• 2023年5月2日 (二) 10:26 Gsxab 留言 贡献创建了页面模板:命题逻辑 （创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=3 style='border-bottom-width:2px' | 命题逻辑 |- ! 基本概念 | colspan=2 | 命题、命题变元、命题常量、真值 |- ! rowspan=2 | 逻辑联结词 | colspan=2 | 否定/非<math>\lnot</math>、合取/且/与<math>\land</math>、析取/或<math>\lor</math> |- | colspan=2 | 蕴含|蕴含/推…”）