主要公开日志

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

• 2023年5月13日 (六) 10:00 Gsxab 留言 贡献创建了页面蕴含 （创建页面，内容为“{{InfoBox |name=蕴含 |eng_name=implication |aliases=实质蕴含,material implication,实质条件,material conditional }} '''蕴含'''('''implication''')是对两个命题，前者为真时后者必为真，所对应的命题。 == 定义 == {{Operation |name=蕴含 |symbol=<math>\rightarrow</math> |latex=\rightarrow |operand=命题 |result=命题 }} {{InfoBox |name=假言命题 |eng_name=hypothetical preposition |aliases=条件命题,condition…”）