主要公开日志

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

2023年6月3日 (六) 15:38 Gsxab 留言贡献创建了页面变形规则（创建页面，内容为“在命题逻辑推理中，使用的一些常见的重言式、重言等值公式（置换规则）、重言蕴含公式（推理规则）。 == 基本规则 == * '''同一律'''('''law of identity''') : <math>P \rightarrow P</math> * '''矛盾律'''('''law/principle of (non-)contradiction''', '''LNC''', '''PNC''') : <math>\lnot (P \land \lnot P)</math> * '''排中律'''('''law/principle of excluded middle'''…”）
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> ，其…”）
2023年5月20日 (六) 07:54 Gsxab 留言贡献创建了页面主析取范式、主合取范式（创建页面，内容为“{{InfoBox |name=主析取范式 |eng_name=canonical disjunctive normal form |aliases=CDNF,principle disjunctive norm form,minterm canonical form }} {{InfoBox |name=主合取范式 |eng_name=canonical conjunctive normal form |aliases=CCNF,principle conjunctive norm form,maxterm canonical form }} 命题公式可以表示为与其等值的多个析取范式、合取范式，在一定约束下，其中有唯一的'''主析取范式'''…”）
2023年5月20日 (六) 05:21 Gsxab 留言贡献创建了页面析取范式、合取范式（创建页面，内容为“{{InfoBox |name=析取范式 |eng_name=disjunctive normal form |aliases=DNF,OR of ANDs,sum of products }} {{InfoBox |name=合取范式 |eng_name=conjunctive normal form |aliases=CNF,AND of ORs,sum of products }} 命题公式可以表示为与其等值的标准形式。合取的析取称为'''析取范式'''('''disjunctive normal form''')，析取的合取称为'''合取范式'''('''conjunctive normal form''')。 == 定义 == === 文字 === * 不含…”）
2023年5月20日 (六) 04:43 Gsxab 留言贡献创建了页面范式（命题公式）（创建页面，内容为“{{InfoBox |name=范式 |eng_name=normal form }} '''范式'''('''normal form''')，即规范形式，指命题公式的标准形式。显然，由于含有 <math>n</math> 个命题变元的全部命题公式仅有 <math>2^n</math> 个指派，通过这 <math>2^n</math> 个真值就能将其划分成 <math>2^{2^n}</math> 个等值的类。因此，按真值表的行描述这些公式即是规范形式。通常，命题公式的范式指[…”）
2023年5月20日 (六) 03:34 Gsxab 留言贡献创建了页面置换（逻辑）（创建页面，内容为“{{InfoBox |name=置换 |eng_name=substitution |aliases=代入 }} {{InfoBox |name=置换 |eng_name=substitution instance |aliases=代入,instance }} {{InfoBox |name=置换规则 |eng_name=substitution rule }} '''置换'''('''substitution''')指将命题公式中的子公式替换为与之等值的公式，或指命题公式经替换后的公式。 '''置换规则'''('''substitution rule''')指置换前后两命题公式等值。 == 定义 == 对命题…”）
2023年5月16日 (二) 15:52 Gsxab 留言贡献创建了页面等值（逻辑）（创建页面，内容为“{{InfoBox |name=等值 |eng_name=equivalence |aliases=等价 }} '''等值'''('''equivalence''')指两个命题公式之间，在命题变元的任意一组取值之间，其真假都对应相同。换句话说，具有相同的真值表。 == 定义 == {{Relation |name=等值 |symbol=<math>=</math>,<math>\Leftrightarrow</math>,<math>\equiv</math> |latex==,\Leftrightarrow,\equiv |operand_relation=命题公式 |prototype=等价关系 }} 对两个命题…”）
2023年5月14日 (日) 06:55 Gsxab 留言贡献创建了页面模板:逻辑联结词（创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=19 style='border-bottom-width:2px' | 逻辑联结词 |- ! colspan=19 style='border-top-width:2px' | 零元 |- ! rowspan=2 colspan=3 | 真值表 ! colspan=8 | <math>\bot</math> ! colspan=8 | <math>\top</math> |- | colspan=8 style='background-color: rgba(0,255,0,0.1)' | T | colspan=8 style='background-color: rgba(255,0,0,0.1)' | F |- ! colspan=3 | 名称 | cols…”）
2023年5月14日 (日) 03:57 Gsxab 留言贡献创建了页面互斥析取（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=互斥析取 |eng_name=exclusive disjunction |aliases=逻辑异或,logical XOR,排斥或,不可兼或,exclusive or }} '''互斥析取'''('''exclusive disjunction''')是对两个命题，由其中有且仅有一个为真所对应的命题。对应通常意义上的'''或'''的一部分用法。但不是五个常用逻辑联结词之一。 <blockquote> 通常意义上的“或”可能指“相容或”（…”）
2023年5月13日 (六) 14:53 Gsxab 留言贡献创建了页面真值表（创建页面，内容为“{{InfoBox |name=真值表 |eng_name=truth table }} '''真值表'''('''truth table''')指对一个命题公式，在其中所有命题变元的所有取值可能下，其真值所构成的表格。 == 定义 == {{InfoBox |name=指派 |eng_name=assignment |aliases=赋值 }} {{InfoBox |name=解释 |eng_name=interpretation }} 对一个命题公式 <math>A</math> ，其中有 <math>P_1, P_2, \dots, P_n</math> 共 <math>n</math> 个命题变元，按照每个…”）
2023年5月13日 (六) 14:27 Gsxab 留言贡献创建了页面命题公式（创建页面，内容为“{{InfoBox |name=命题公式 |eng_name=propositional formula |aliases=命题合式公式,propositional well-formed formula,合式公式,公式 }} '''命题公式'''指由命题变元、命题常量及逻辑联结词构成的形式合理的表达式。 == 定义 == '''命题合式公式'''('''propositional well-formed formula''')，简称'''合式公式'''或'''命题公式'''，或简称公式，以下列形式生成： # 命题变元和命题常量是命…”）
2023年5月13日 (六) 12:52 Admin 留言贡献删除页面等价（内容为：“#重定向等价（逻辑）”，唯一贡献者是“Gsxab”（讨论））
2023年5月13日 (六) 12:43 Gsxab 留言贡献移动页面等价至等价（逻辑）
2023年5月13日 (六) 10:36 Gsxab 留言贡献创建了页面等价（创建页面，内容为“{{InfoBox |name=等价 |eng_name=biconditional |aliases=双条件,实质双条件,material biconditional,logical biconditional }} '''等价'''('''biconditional''')是对两个命题，两者同时为真、同时为假，或者说互相蕴含，所对应的命题。 <blockquote> 尽管“equivalence”和“等价”用词更加对应。在数理逻辑领域，英语 equivalence 一般对应的是中文术语的等值（命题的关系之…”）
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…”）
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…”）
2023年5月8日 (一) 16:58 Gsxab 留言贡献创建了页面合取（创建页面，内容为“{{InfoBox |name=合取 |eng_name=conjunction }} '''合取'''('''conjunction''')指两个命题同时成立。 == 定义 == {{Operation |name=合取 |symbol=<math>\land</math> |latex=\land |operand=命题 |result=命题 |prototype=布尔代数 }} 对命题 <math>P</math> 、 <math>Q</math> ，记命题 <math>P \land Q</math> 满足： * 仅当 <math>P</math> 为真同时 <math>Q</math> 也为真时， <math>P \land Q</math> 为真； * 否则， <math>P\la…”）
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>…”）
2023年5月8日 (一) 10:16 Gsxab 留言贡献创建了页面逻辑联结词（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=逻辑联结词 |eng_name=logical connectives }} '''逻辑联结词'''('''logical connectives''')是将命题组合成新命题的词语的的合称。 {{命题逻辑}}”）
2023年5月7日 (日) 16:22 Gsxab 留言贡献创建了页面假（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=假 |eng_name=false }} '''假'''('''false''')是真值之一，指命题不成立。 == 记号 == {{Identity |name=假 |type=真值 |symbol=<math>\mathrm{F}</math>,<math>\bot</math>,0 |latex=\mathrm{F},\bot,0 }} '''假'''('''false''')一般用 <math>\mathrm{F}</math> 、 <math>0</math> 或 <math>\bot</math> 表示。 {{CharMetaInfo |char=⊥ |unicodeCodePoint={{UnicodeCodePoint|U+22A4|Up Tack}}<ref>有别名{{U…”）
2023年5月7日 (日) 16:19 Gsxab 留言贡献创建了页面真（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=真 |eng_name=true }} '''真'''('''true''')是真值之一，指命题成立。 == 记号 == {{Identity |name=真 |type=真值 |symbol=<math>\mathrm{T}</math>,<math>\top</math>,0 |latex=\mathrm{T},\top,0 }} '''真'''('''true''')一般用 <math>\mathrm{T}</math> 、 <math>0</math> 或 <math>\top</math> 表示。 {{CharMetaInfo |char=⊤ |unicodeCodePoint={{UnicodeCodePoint|U+22A4|Down Tack}}<ref>有别名 {{Unic…”）
2023年5月7日 (日) 15:53 Gsxab 留言贡献创建了页面真值（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=真值 |eng_name=truth value }} '''真值'''是指一个命题是真是假的值，在二值逻辑理论中只有真、假两种取值。把真假看成两种逻辑，逻辑联结词且、或、非看成运算，真值对应着布尔域。”）
2023年5月7日 (日) 15:34 Gsxab 留言贡献创建了页面分类:命题逻辑（创建页面，内容为“{{#default_form:}} 分类:数理逻辑”）
2023年5月7日 (日) 15:31 Gsxab 留言贡献创建了页面命题（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=命题 |eng_name=proposition }} '''命题'''指非真即假的陈述句。其真假称为真值。用字母代替时，经常使用P、Q、R、……表示任意命题。一般把确定的命题称为'''命题常量'''，可变的称为'''命题变元'''。 {{命题逻辑}}”）
2023年5月7日 (日) 15:27 Gsxab 留言贡献创建了页面分类:映射（创建页面，内容为“{{#default_form:}} 分类:朴素集合论”）
2023年5月2日 (二) 10:42 Gsxab 留言贡献创建了页面模板:谓词逻辑（创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=3 style='border-bottom-width:2px' | 谓词逻辑/一阶逻辑 |- ! rowspan=2 | 命题结构 | colspan=2 | 个体词（个体常项、个体变项）、谓词（谓词常项、谓词变项）、函项 |- | colspan=2 | 量词（<math>\forall</math>、<math>\exists</math>）、命题函数 |- ! rowspan=2 | [[逻辑联结词]…”）
2023年5月2日 (二) 10:26 Gsxab 留言贡献创建了页面模板:命题逻辑（创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=3 style='border-bottom-width:2px' | 命题逻辑 |- ! 基本概念 | colspan=2 | 命题、命题变元、命题常量、真值 |- ! rowspan=2 | 逻辑联结词 | colspan=2 | 否定/非<math>\lnot</math>、合取/且/与<math>\land</math>、析取/或<math>\lor</math> |- | colspan=2 | 蕴含|蕴含/推…”）
2023年5月2日 (二) 09:09 Gsxab 留言贡献创建了页面限制、延拓（映射）（创建页面，内容为“{{InfoBox |name=限制 |eng_name=restriction }} {{InfoBox |name=延拓 |eng_name=extension }} '''限制'''('''restriction''')指限制一个映射的定义域到其某个子集，仅保留自变量在这个子集内的部分。相反的称为'''延拓'''('''extension''')。 == 定义 == {{Operation |name=限制映射/限制函数 |symbol=<math>\bullet|_\bullet</math> |latex=\mid_ |operand=映射,集合 |result=映射 }} 对映射 <math>f:…”）
2023年5月2日 (二) 08:18 Gsxab 留言贡献创建了页面逆映射（创建页面，内容为“{{InfoBox |name=逆映射 |eng_name=inverse map |aliases=反函数,inverse function,逆,inverse }} {{InfoBox |name=可逆映射 |eng_name=invertible map |aliases=可逆函数,invertible function,可逆,invertible }} 映射的'''逆'''('''inverse''')是指一个映射的反向映射，即把原来映射的像映射回其原像。存在逆映射被称为'''可逆'''（'''invertible'''），当且仅当映射是个双射。 == 定义 == 对映射 <math>…”）
2023年5月2日 (二) 07:56 Gsxab 留言贡献创建了页面迭代（映射）（创建页面，内容为“{{InfoBox |name=迭代 |eng_name=iteration }} {{非标准称呼}} 映射的'''迭代'''('''iteration''' of map)是指同一个映射多次与自身进行复合。 == 定义 == 对集合 <math>X</math> 上的函数 <math>f: X\to X</math> ，定义函数 <math>f^n</math> ，其中 <math>n</math> 为自然数： * 当 <math>n=0</math> 时， <math>f^0 = \mathrm{id}_X</math> 。 * 当 <math>n>0</math> 时， <math>f^{n+1} = f \circ f^n<…”）
2023年5月2日 (二) 06:14 Gsxab 留言贡献创建了页面投影映射（创建页面，内容为“{{InfoBox |name=投影映射 |eng_name=projection map |aliases=projection }} '''投影映射'''('''projection map''')指从多个集合的笛卡尔积上，将其中元素映射到这一元素在其中某个集合上的分量的映射。也用于指一般地，从一个积结构到组成其的某结构上的映射。 == 定义 == {{Identity |name=投影映射 |type=映射 |symbol=<math>\mathrm{proj}_i</math> |latex=\mathrm{proj}_i }} {{Function |…”）
2023年5月2日 (二) 04:52 Gsxab 留言贡献创建了页面复合（映射）（创建页面，内容为“{{InfoBox |name=复合 |eng_name=composition }} 映射的'''复合'''('''composition''' of map / function)是指将两个或多个函数按顺序进行形成新映射。 == 定义 == {{Operation |name=复合 |symbol=<math>\circ</math> |latex=\circ |operand=映射 |result=映射 |domain=<math>Y ^ X \times Z ^ Y</math> |codomain=<math>Z ^ X</math> }} 对映射 <math>f: X \to Y, g: Y \to Z</math> ，有映射 <math>h: X \to Z; x \mapsto g(f(x))</math> ，称为…”）
2023年4月29日 (六) 16:06 Admin 留言贡献删除页面映射集合（内容为：“#重定向映射的集合”，唯一贡献者是“Gsxab”（讨论））
2023年4月29日 (六) 16:06 Gsxab 留言贡献移动页面映射集合至映射的集合
2023年4月29日 (六) 16:00 Gsxab 留言贡献创建了页面映射集合（创建页面，内容为“{{非标准称呼}} 对集合 <math>X</math> 、 <math>Y</math> ，全体从 <math>X</math> 到 <math>Y</math> 的映射可以看作对 <math>X</math> 中的每个元素都有一个 <math>Y</math> 进行笛卡尔积 <math>\prod_{x \in X} Y</math> ，可以简写为 <math>Y^X</math> 。注意：顺序上，定义域在指数位置，陪域在底数位置。”）
2023年4月29日 (六) 15:53 Gsxab 留言贡献创建了页面模板:非标准称呼（创建页面，内容为“<blockquote> 请注意，这个条目所介绍的术语没有标准称呼。仅仅是为了便于描述建立条目取了一个名字。 </blockquote>”）
2023年4月29日 (六) 14:09 Gsxab 留言贡献创建了页面单元素集（创建页面，内容为“{{InfoBox |name=单元素集 |eng_name=singleton set |aliases=单点集,one-point set }} '''单元素集'''('''singleton set''')是指一个基数为1的集合，即有且仅含有一个元素的集合。 == 定义 == （单元素集公理）如果 <math>a</math> 是一个对象，那么存在集合 <math>\{a\}</math> 且集合中唯一一个元素是 <math>a</math> ，称为元素为 <math>a</math> 的单元素集。 {{集合}}”）
2023年4月29日 (六) 11:35 Gsxab 留言贡献创建了页面包含映射（创建页面，内容为“{{InfoBox |name=包含映射 |eng_name=inclusion map |aliases=inclusion function,嵌入映射 }} '''包含映射'''('''inclusion map''')指一个映射的定义域是陪域的子集，且把所有元素都映射到其本身。也就是说，包含映射把定义域中的元素当成陪域中的元素。 == 定义 == {{Function |name=包含映射 |symbol=<math>\iota</math> |latex=\iota |prototype=单射 |domain=<math>A</math> |codomain=<math>X</math> }}…”）
2023年4月29日 (六) 10:02 Gsxab 留言贡献创建了页面恒等映射（创建页面，内容为“{{InfoBox |name=恒等映射 |eng_name=identity map |aliases=恒等函数,identity function,恒等变换,identity transformation }} '''恒等映射'''('''identity map''')指一个映射的定义域与陪域相同，且把所有元素都映射到其本身。 == 定义 == {{Function |name=恒等映射 |symbol=<math>\mathrm{id}_A</math> |latex=\mathrm{id} |prototype=双射 |domain=<math>A</math> |codomain=<math>A</math> }} 对集合 <math>X</math> ，映射…”）
2023年4月29日 (六) 09:12 Gsxab 留言贡献创建了页面常值映射（创建页面，内容为“{{InfoBox |name=常值映射 |eng_name=constant map |aliases=常函数,常数函数,constant functon }} '''常值映射'''('''constant map''')指一个映射把所有元素都映射到同一元素。也指从一个集合到单元素集的唯一的映射。 == 定义 == 对集合 <math>X</math> 和 <math>Y</math> ，以及常值 <math>c \in Y</math> ，映射 <math>f: X \to Y, x \mapsto c</math> 是唯一的，称为'''常值映射'''('''constant map'…”）
2023年4月29日 (六) 08:43 Gsxab 留言贡献创建了页面模板:多项式（创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=2 style='border-bottom-width:2px' | 一元多项式函数 |- ! 常见多项式 | 零多项式（次数未定义）、[[|常数多项式/常数函数]]（次数为0）、一次多项式/一次函数（次数为1）、二次多项式/二次函数（次数为2）、…… |- ! 运算 | …… |}”）
2023年4月29日 (六) 08:30 Gsxab 留言贡献创建了页面模板:初等函数（创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=2 style='border-bottom-width:2px' | 初等函数 |- ! rowspan=3 | 基本初等函数 | 常数函数 |- | 幂函数、指数函数、对数函数 |- | 三角函数、反三角函数 |- ! 常见复合初等函数 | 一次函数、二次函数 |}”）
2023年4月29日 (六) 05:58 Gsxab 留言贡献创建了页面空映射（创建页面，内容为“{{InfoBox |name=空映射 |eng_name=empty map |aliases=空函数,empty functon }} '''空映射'''('''empty map''')指对每个集合，从空集到这个集合的唯一的映射。 == 定义 == 对集合 <math>X</math> ，映射 <math>\varnothing \to X</math> 是唯一的，称为到 <math>X</math> 的'''空映射'''('''empty map''')或'''空函数'''('''empty function''')。 {{映射}}”）
2023年4月29日 (六) 04:24 Gsxab 留言贡献创建了页面双射（创建页面，内容为“{{InfoBox |name=双射 |eng_name=bijection |aliases=bijective function,一一映射,一一对应,one-to-one correspondence,1-1 correspondence }} '''双射'''('''bijection''')指一个映射既单又满。即对陪域中的每个元素，都有且仅有一个原像与其对应。尽管定义的标准不同，双射和可逆映射是等价概念。 == 定义 == 对映射 <math>f: X\to Y</math> ，若： * <math>f</math>…”）
2023年4月27日 (四) 16:49 Gsxab 留言贡献创建了页面满射（创建页面，内容为“{{InfoBox |name=满射 |eng_name=surjection |aliases=surjective function,映上函数,onto function,onto mapping }} '''满射'''('''surjection''')指一个映射中，对陪域中的每个元素，都有至少一个原像与其对应。即值域等于陪域。 == 定义 == 对函数 <math>f: X\to Y</math> ，若： <math>\forall y \exist x (y \in Y \rightarrow y = f(x))</math> 则称这个函数是'''满的'''('''surjective''')或'''映上的'''（'''onto…”）
2023年4月27日 (四) 10:37 Gsxab 留言贡献创建了页面单射（创建页面，内容为“{{InfoBox |name=单射 |eng_name=injection |aliases=injective function }} '''单射'''('''injection''')指一个映射中，对值域中每个元素，都只有一个原像与其对应。”）
2023年4月26日 (三) 17:09 Gsxab 留言贡献创建了页面映射（创建页面，内容为“分类:映射 {{InfoBox |name=映射 |eng_name=mapping }} {{InfoBox |name=函数 |eng_name=function }} '''映射'''('''mapping''')指将一个集合中的任意一个元素都按某种规则唯一地对应到另一个集合的元素的对应关系。两个集合都是数集时，也称'''函数'''('''function''')。 == 定义 == 对 <math>X</math> 到 <math>Y</math> 的二元关系 <math>R</math> ，若 <math>R</math> 是左全右…”）
2023年4月26日 (三) 16:38 Gsxab 留言贡献创建了页面模板:映射（创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=3 style='border-bottom-width:2px' | 映射 |- ! 定义属性 | 定义域、陪域、值域 |- ! 特殊映射 | 空映射、常值映射、恒等映射 |- ! 类型 | 单射、满射、双射 |- ! 运算 | 反函数（逆）、复合、限制 |}”）
2023年4月26日 (三) 13:35 Gsxab 留言贡献创建了页面分类:等价关系（创建页面，内容为“{{#default_form:}} 分类:二元关系”）
2023年4月26日 (三) 13:30 Gsxab 留言贡献创建了页面分类:序关系（创建页面，内容为“{{#default_form:}} 分类:二元关系”）