查询结果
合式公式
hé shì gōng shì
ㄏㄜˊ ㄕˋ ㄍㄨㄥ ㄕˋ
「合式公式」是什么意思？
更新 2026-07-11 11:47:01
- 拼音字母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)是一个语句，由原子公式及联结词∧，∨，ᗄ...
拆字组词
相关词语
- 上地派出所查含义
- 临阵退缩查含义
- 乱是佳人查含义
- 乳燕查含义
- 伏毛山莓草查含义
- 冗辞查含义
- 关东街查含义
- 功能分析查含义
- 南皮镇查含义
- 周防美琴查含义
- 嗫嚅小儿查含义
- 善解人意查含义
- 圆斑扁背鲀查含义
- 如梦方觉查含义
- 夜行悍探查含义
- 实打实受查含义
- 带速查含义
- 岩筋菜查含义
- 无规共聚物查含义
- 李蒸蒸查含义
- 桂花莲藕查含义
- 浙江朴盾木虱查含义
- 派丽蒙查含义
- 海廷代数查含义
- 熔铸查含义
- 猫的报恩查含义
- 省烦从简查含义
- 登高查含义
- 科教仪器查含义
- 绘声绘影查含义
- 艺术中心查含义
- 诱惑丈夫查含义
- 轻松小熊查含义
- 退行查含义
- 金强锋查含义
- 郝艳芳查含义
- 迪柯尼查含义
- 铺张浪费查含义
- 沂南县国税局查含义
- 爱情独裁者查含义
- 日下部纶查含义
- 君野梦真查含义
- 铁机剑士查含义
- 蓝头八色鸫查含义
- 格子铺查含义
- 铃村贞代查含义
- 马王爷查含义
- 淡点裸胸鯙查含义
- 悲曲絕世塵查含义
- 青鸟寿查含义