首页 >
合式公式
✍ dations ◷ 2025-08-08 06:38:59 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 皮肤发紫发绀（Cyanosis，“绀”音“gàn”），或称紫绀、苍蓝症，是因在接近皮肤表面的血管出现脱氧后的血红蛋白，令皮肤或黏膜带青色的症状。根据Lundsgaard和Van Slyke的著作，当去氧血红素的
- 俄勒冈州俄勒冈å·ï¼ˆè‹±è¯ï¼šState of Oregon）是ç¾å›½çš„一个å·ï¼Œä½äºç¾å›½è¥¿åŒ—的太平
- 慢性疼痛慢性疼痛（英语：Chronic Pain）指的是持续时间较长的疼痛症状。在医学领域，急性疼痛和慢性疼痛一般是由持续时间划分，最常见的是用“持续3个月”或者“持续6个月”作为两种疼痛的分
- 马卢尔国家森林马卢尔国家森林（英语：Malheur National Forest）是座美国国家森林，位于俄勒冈州东部（英语：eastern Oregon），包含1.4 × 106英亩（5,700平方千米）多的蓝山山地。森林有大盆地沙漠、草原
- 美洲美洲（英文：Americas），又称亚美利加、亚美利加洲，简称美洲，位于西半球，自然地理分为北美洲和南美洲，面积达4254.9万平方公里，占地球地表面积的8.3%、陆地面积的28.4%。人文地理则将之
- 炼金术士炼金术是中世纪的一种化学哲学的思想和始祖，是当代化学的雏形。其目标是通过化学方法将一些基本金属转变为黄金，制造万灵药及制备长生不老药。现在的科学表明这种方法是行不通
- 苏拉明苏拉明（英语：Suramin）是一种药品，用以治疗蟠尾丝虫症，和尚未进犯中枢神经系统的非洲人类锥虫病，给药方法是经由静脉注射。苏拉明会造成不少副作用，常见的有恶心、呕吐、腹泻、头痛
- 甲硝哒唑甲硝唑（Metronidazole，MNZ），目前多以咪唑尼达（Flagyl）的商品名流通，是一种抗生素和抗原虫剂（英语：antiprotozoal medication）。常单独或和其他抗生素一起使用，作为治疗骨盆腔炎、心内膜
- 伊巴密浓达伊巴密浓达（英语: Epaminondas；希腊语：Ἐπαμεινώνδας，又译作埃帕米农达、义巴敏诺达，前418年－前362年），古希腊城邦底比斯的将军与政治家。其领导底比斯脱离斯巴达的控制，
- 戈特弗里德·莱布尼茨戈特弗里德·威廉·莱布尼茨（德语：Gottfried Wilhelm Leibniz，德语：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida San
