首页 >
合式公式
✍ dations ◷ 2025-10-08 11:58:37 #合式公式
在形式系统与逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。例如，在命题演算中符号序列
(
(
α
→
β
)
→
(
¬
β
→
¬
α
)
)
{displaystyle ((alpha rightarrow beta )rightarrow (neg beta rightarrow neg alpha ))}
是一个WFF，因为它在文法上正确。符号序列
(
(
α
→
β
)
→
(
β
β
)
)
α
)
)
{displaystyle ((alpha rightarrow beta )rightarrow (beta beta ))alpha ))}
不是WFF，因为它不符合命题演算的文法。在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。设S是联结词的集合. 由S生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 心脏病心脏病（cardiovascular disease (CVD)）是心脏疾病的总称，包括风湿性心脏病、先天性心脏病、高血压性心脏病、冠心病、心肌炎等各种心脏病：医学导航: 产科生理/发育/薄膜（英语：Temp
- 线性在现代学术界中，线性关系一词存在2种不同的含义。其一，若某数学函数或数量关系的函数图形呈现为一条直线或线段，那么这种关系就是一种线性的关系。其二，在代数学和数学分析学中，
- 碳头孢烯碳头孢烯（英语：Carbacephems）是一类合成的头孢菌素类抗生素，和头孢烯结构上类似，不过5号位置由亚甲基取代了原来的硫原子。碳头孢烯类抗生素通过抑制细胞壁合成来抑制细菌。羧基
- 尿道尿道（拉丁语学名：Urethra）是动物体内泌尿系统的器官之一。它从膀胱连通到体外，它的作用是将尿排出体外。在雄性哺乳动物中它还有将精液导出的作用，因此也是生殖器官之一。在胚胎
- 黑人手语美国黑人手语（英语：Black American Sign Language，缩写作 BASL）又名黑人手语分支（Black Sign Variation，缩写作 BSV），是美国手语方言，在美国的非裔聋哑人群体中最为常见。作为美国手
- 执法部门尽管大多数联邦执法人员都在司法和国土安全部门工作，但在其他行政部门以及联邦政府的立法和司法部门下，还有数十个其他联邦执法机构。不同的联邦执法机构根据《美国法典》 （USC
- 未来未来可以视为描述一个事件经过一段时间后所变化的结果，和过去相对。从时间是线性的角度来说，是时间线上将要发生的那部分，也就是说，在时空上表示尚未发生的事的那部分。未来一直
- 生物浓缩性生物浓缩性，因自工业革命之后，人类大量合成各种化学物质应用在生活上，在经过使用之后，其中之化学毒性进入环境当中，在经过食物链生产者→初级消费者→次级消费者逐渐累积体内中的
- 中国工程院中国工程院院徽中国科学院 中国社会科学院中国工程院，简称工程院、中工院，是中华人民共和国工程科学技术界的最高荣誉性、咨询性学术机构，为正部级国务院直属事业单位。中国工
- 亚美尼亚亚美尼亚国家图书馆（亚美尼亚语： Հայաստանի Ազգային Գրադարան）是亚美尼亚的国家图书馆，位于该国首都耶烈万，1832年创建。现在的建筑则建造于1939年，由亚
