合式公式

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

合式公式

点击查看词条快照

在形式系统与逻辑中，合式公式（well-formed formula，WFF）又称合适公式、良式公式，可简称公式（formula），即“符合语法规则的公式”，是一逻辑体系中的“一个表达式”或“一个有限符号序列”；此表达式或序列，来自给定的字母表（字符），且属于形式语言的一种。合式公式与该逻辑体系的构成规则相符合，类似于自然语言中的一个语法句子。若给定一形式文法，则WFF是这个文法生成的任何字符串。例如，在命题演算中符号序列formula_1是一个WFF，因为它在文法上正确。符号序列formula_2不是WFF，因为它不符合命题演算的文法。在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。命题逻辑中的合式公式. 设S是联结词的集合. 由S生成的合式公式定义如下：谓词逻辑中的合式公式. 合式公式是按以下规则构成的有穷长符号串：参考文献.

逐乐赌场

平措尼珍

2006年九铁人事变动风波

香港会所大厦

詹伯乐

赋值 (逻辑)

玻利瓦尔城

杨启彦

火炭铁路大楼

奥列格

第二十八届十大中文金曲颁奖音乐会

大暮维人