首页 >
合式公式
✍ dations ◷ 2025-11-19 12:11:18 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 蛋白尿蛋白尿（法语：Protéinurie，德语：Proteinurie，英语：Proteinuria），在尿液中出现过量蛋白质的现象。出现这个症状时，可能是短暂的异常状态，可以恢复，身体状况仍然是正常，也可能是肾功能出现
- 乙胺嘧啶乙胺嘧啶（英语：Pyrimethamine）商品名叫达拉匹林（Daraprim），是一种可以与甲酰四氢叶酸治疗一起弓形虫病和等孢球虫病的药物。还与氨苯砜一起用于预防HIV / AIDS患者的肺孢子虫肺炎（P
- 冈瓦那大陆在地质学中，冈瓦那大陆（英语：Gondwana，/ɡɒndˈwɑːnə/，或Gondwanaland），也称冈瓦纳古陆、南方大陆，是存在于新元古代至侏罗纪前期（约5.73亿至1.8亿年前）的超大陆，它是从罗迪尼亚大
- 弗拉维奥·比翁多弗拉维奥·比翁多（英语：Flavio Biondo），（1392年－1463年），文艺复兴时期欧洲考古学家。为考古学研究的先驱。他在其所著的一本著作《论拉丁语》（1435年出版）中，他把意大利语和拉丁语两者
- 李奥纳度·布伦尼列奥那多·布鲁尼（Leonardo Bruni，人称 Leonardo Aretino，1370年于阿雷佐－1444年3月9日于佛罗伦斯）意大利文艺复兴时期人文主义者，历史学家，曾任佛罗伦斯执政官、教皇秘书。列奥那
- 肺sub金/sub肺为五脏之一；根据经络、脏象学说，肺的功能是：
- 蝮蛇蝮亚科（学名Crotalinae）是蝰蛇科的一个亚科，统称蝮蛇，其主要特征是在眼与鼻孔之间具颊窝。除少数为卵生外，绝大部分品种为卵胎生。详见：蛇岛蝮 其代表为蛇岛蝮，灰褐色，是唯一一种不
- 孟-高棉语族孟高棉语族是东南亚的语言集合，包括孟语和高棉语等多种语言。按照传统的分类，这个语族与印度的蒙达语族（又译扪达语族）构成南亚语系。新近的分类已经抛弃这种二分法：Diffloth（2005
- 心理语言学异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学（英语：Differential psychology） 发展心理学 演化心理学 实验心理学
- 日耳曼语强变化动词在日耳曼语言中，强变化动词是指借由源自印欧元音变换的母音变化来构造时态的动词。像英语的“sing-sang-sung”即其一例。英语的“Strong verb”一词译自德语的“Starkes Ver
