出处:哲学卷 • 逻 辑 学 • 现代形式逻辑
词条 | 空类 |
释义 | 空类 空类 亦称“零类”。数理逻辑类演算中指不具有任何分子的类,如“方的圆”。通常以符号“∧”或“〇”来表示。 出处:哲学卷 • 逻 辑 学 • 现代形式逻辑 空类 亦称“零类”。数理逻辑类演算中指不具有任何分子的类,如“小于零的自然数的类”。通常以符号“∧”或“⌀”来表示。 出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
随便看 |
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。