主要公开日志

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

• 2025年11月11日 (二) 11:06 Admin 留言 贡献移动页面重言蕴含至重言蕴涵
• 2023年5月22日 (一) 16:31 Gsxab 留言 贡献创建了页面重言蕴含 （创建页面，内容为“{{InfoBox |name=重言蕴含 |eng_name=tautological implication |aliases=logical implication }} '''重言蕴含'''('''logical implication''')指两个命题公式之间，在所有可能的指派下，若一个为真则另一个必为真的关系。 == 定义 == {{Relation |name=重言蕴含 |symbol=<math>\Rightarrow</math> |latex=\Rightarrow |operand_relation=命题公式 |prototype=偏序 }} 对两个命题公式 <math>A</math> 和 <math>B</math> ，其…”）