主要公开日志

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

• 2023年5月11日 (四) 16:48 Gsxab 留言 贡献创建了页面析取 （创建页面，内容为“分类:命题逻辑 {{InfoBox |name=析取 |eng_name=disjunction }} '''析取'''('''disjunction''')是对两个或多个命题，由其中任意一个为真所对应的命题。 == 定义 == {{Operation |name=析取 |symbol=<math>\lor</math> |latex=\lor,\vee |operand=命题 |result=命题 |prototype=布尔代数 }} 对命题 <math>P</math> 、 <math>Q</math> ，记命题 <math>R</math> 满足： * 当 <math>P</math> 为真时，命题 <math>R</mat…”）