主要公开日志

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

• 2023年5月8日 (一) 15:02 Gsxab 留言 贡献创建了页面否定 （创建页面，内容为“{{InfoBox |name=否定 |eng_name=negation |aliases=logical complement }} '''否定'''指一个命题的反面。 == 定义 == {{Operation |name=否定 |symbol=<math>\lnot</math> |latex=\lnot |operand=命题 |operand_num=1 |result=命题 |prototype=布尔代数 }} 对命题 <math>P</math> ，记命题 <math>\lnot P</math> 满足： * 仅当 <math>P</math> 为真时， <math>\lnot P</math> 为假； * 仅当 <math>P</math> 为假时， <math>\lnot P</math>…”）