主要公开日志

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

• 2026年1月8日 (四) 08:33 Admin 留言 贡献移动页面逻辑蕴含至逻辑蕴涵
• 2023年7月8日 (六) 16:12 Gsxab 留言 贡献创建了页面逻辑蕴含 （创建页面，内容为“分类:命题逻辑 {{InfoBox |name=逻辑蕴含 |eng_name=logical implication }} '''逻辑蕴含'''('''logical implication''')指两个谓词公式之间，在所有可能的指派下，若一个为真则另一个必为真的关系。 或者说若第一个被满足则第二个被满足的关系。 == 定义 == {{Relation |name=重言蕴含 |symbol=<math>\Rightarrow</math>,<math>\vDash</math> |latex=\Rightarrow,\vDash |ope…”）