主要公开日志

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

• 2023年5月7日 (日) 16:19 Gsxab 留言 贡献创建了页面真 （创建页面，内容为“分类:命题逻辑 {{InfoBox |name=真 |eng_name=true }} '''真'''('''true''')是真值之一，指命题成立。 == 记号 == {{Identity |name=真 |type=真值 |symbol=<math>\mathrm{T}</math>,<math>\top</math>,0 |latex=\mathrm{T},\top,0 }} '''真'''('''true''')一般用 <math>\mathrm{T}</math> 、 <math>0</math> 或 <math>\top</math> 表示。 {{CharMetaInfo |char=⊤ |unicodeCodePoint={{UnicodeCodePoint|U+22A4|Down Tack}}<ref>有别名 {{Unic…”）