主要公开日志

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

• 2023年5月16日 (二) 15:52 Gsxab 留言 贡献创建了页面等值（逻辑） （创建页面，内容为“{{InfoBox |name=等值 |eng_name=equivalence |aliases=等价 }} '''等值'''('''equivalence''')指两个命题公式之间，在命题变元的任意一组取值之间，其真假都对应相同。 换句话说，具有相同的真值表。 == 定义 == {{Relation |name=等值 |symbol=<math>=</math>,<math>\Leftrightarrow</math>,<math>\equiv</math> |latex==,\Leftrightarrow,\equiv |operand_relation=命题公式 |prototype=等价关系 }} 对两个命题…”）