查询结果
合式公式
hé shì gōng shì
ㄏㄜˊ ㄕˋ ㄍㄨㄥ ㄕˋ
「合式公式」是什么意思？
更新 2026-07-13 07:35:52
- 拼音字母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)是一个语句，由原子公式及联结词∧，∨，ᗄ...
拆字组词
相关词语
- 下棋查含义
- 伊凡雷帝查含义
- 侨报查含义
- 再吸收查含义
- 凶杀案查含义
- 剑鱼查含义
- 南亚过路黄查含义
- 半新林舟蛾查含义
- 吃现成饭查含义
- 困兽的镣铐查含义
- 局骗拐带查含义
- 巴比馒头查含义
- 心中的野兽查含义
- 恐怖恐龙查含义
- 晚香亭弈谱查含义
- 李雪贵查含义
- 李万虎查含义
- 杨龄查含义
- 柯珊珊查含义
- 梁长海查含义
- 横倾查含义
- 润乾查含义
- 猛犬债券查含义
- 特护查含义
- 王焕利查含义
- 碎嘴碎舌查含义
- 窃听风暴查含义
- 罗布泊镇查含义
- 维维尔查含义
- 脂质体查含义
- 芮泽宝查含义
- 苏茜黄查含义
- 虎纹月亮查含义
- 谢电查含义
- 赵锡武查含义
- 许海峰的枪查含义
- 钟灵查含义
- 附表查含义
- 陈康康查含义
- 陈默默查含义
- 顺成嘉苑查含义
- 晋城市教育局查含义
- 肇庆市政府查含义
- 平冈秀章查含义
- 海斗士查含义
- 战神刑天查含义
- 闪翼查含义
- 恶女戏夫查含义
- 异能追美记查含义
- 铜钱镖查含义