查询结果
合式公式
hé shì gōng shì
ㄏㄜˊ ㄕˋ ㄍㄨㄥ ㄕˋ
「合式公式」是什么意思？
更新 2026-07-18 10:01:23
- 拼音字母he shi gong shi
- 首字母hsgs
- 注音符号ㄏㄜ ㄕ ㄍㄨㄥ ㄕ
扩展释义
合式公式，又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯，语言F中的合式公式定义如下：1.原子公式是合式公式； 2.若φ和ψ是合式公式，则(φ∧ψ)及(ᒣφ)是合式公式； 3.若φ是合式公式，而x是变元,则(ᗄx)φ是合式公式；4.有限次地应用1—3所得到的符号序列是合式公式。合式公式有时简称公式，如果一个公式φ中的自由变元都属于集合{x₁，x₂，…，xₑ}，则φ也可以记为φ(x₁，x₂，…，xₑ)，不含量词、自由变元的合式公式，分别称为开公式和闭公式，后者又称语句，例如R(x，y)为开公式，ᗄxR(x)是一个语句，由原子公式及联结词∧，∨，ᗄ...
拆字组词
相关词语
- 不起查含义
- 付涌水查含义
- 传奇再起查含义
- 入阿毗达磨论查含义
- 刘晓雯查含义
- 北人查含义
- 医经溯洄集查含义
- 口吐珠玑查含义
- 国联信托查含义
- 大眼锯鳞鱼查含义
- 差分放大器查含义
- 张哲查含义
- 张军利查含义
- 护断查含义
- 抗战电影查含义
- 投弹查含义
- 支纱查含义
- 李东方查含义
- 梅清查含义
- 毛萼红果树查含义
- 汪建设查含义
- 湄澜传情查含义
- 王铂查含义
- 真菌查含义
- 相城镇查含义
- 细柄薯蓣查含义
- 羽绒服查含义
- 越域查含义
- 轩萱查含义
- 赋值论查含义
- 郭洪滨查含义
- 邓起东查含义
- 金钟路查含义
- 闫良查含义
- 防水胶布查含义
- 韩永斌查含义
- 食甚查含义
- 韩浜村查含义
- 沈阳桃仙机场查含义
- 小山内治查含义
- 甘麦枣藕汤查含义
- 黄梨沙爹酱查含义
- 焦炭热强度查含义
- 食用鱼查含义
- 黑缘九棘鲈查含义
- 蛙嘴夜鹰查含义
- 紫蝴蝶鱼查含义
- 已是香港明日查含义
- 托斯陶查含义
- 翳云散查含义