主要公开日志

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

• 2023年5月2日 (二) 10:42 Gsxab 留言 贡献创建了页面模板:谓词逻辑 （创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=3 style='border-bottom-width:2px' | 谓词逻辑/一阶逻辑 |- ! rowspan=2 | 命题结构 | colspan=2 | 个体词（个体常项、个体变项）、谓词（谓词常项、谓词变项）、函项 |- | colspan=2 | 量词（<math>\forall</math>、<math>\exists</math>）、命题函数 |- ! rowspan=2 | [[逻辑联结词]…”）