请输入您要查询的百科知识:
词条
有效性
释义
有效性
数理化力学卷
有效性
数理逻辑中关于形式系统的语义概念。形式系统中的一个公式是有效的,当且仅当该公式在任何模型中(即任何解释中)都为真。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
松口
松叶牡丹
松叶菊
松叶蕨
松叶蕨亚门
松圆浪淘集
松土机
松坎
松墨
松墨天牛
松外蛮
松大象甲
松奈错觉
松姆河战役
松嫩平原
松实小卷叶蛾
松室孝良秘密报告
松尾芭蕉
松山
松岭
松川事件
松巴
松巴·益西班觉
松巴哇岛
松巴岛
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/2/8 6:21:58