首页 >
合式公式
✍ dations ◷ 2025-01-22 23:39:45 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 哮喘喘息 、哮喘（英语：asthma，又称气喘）是常见的气道慢性炎症疾病，主要特征是多变和复发的症状、可逆性气流阻塞，和支气管痉挛（英语：bronchospasm）。常见症状表现为喘息 、咳嗽、胸腔紧
- 鼻中隔Anterior ethmoidalnasopalatine nerves Medial posterosuperior nasal branches of pterygopalatine ganglionAnterior half to submandibular nodes Posterior half to
- 下肢水肿水肿（edema、/ɪˈdimə/、oedema、dropsy、hydropsy；希腊语 οἴδημα oídēma, "swelling")，又称浮肿，是指人体皮下空腔因体液异常堆积所产生的肿大症状。水肿是指血管外
- 次氯酸钠次氯酸钠（sodium hypochlorite），化学式NaClO，是钠的次氯酸盐。次氯酸钠与二氧化碳反应产生的次氯酸是漂白剂有的成分。氯气溶于冷而且稀的氢氧化钠溶液产生次氯酸钠、氯化钠及水
- 血清白蛋白1AO6, 1BJ5, 1BKE, 1BM0, 1E78, 1E7A, 1E7B, 1E7C, 1E7E, 1E7F, 1E7G, 1E7H, 1E7I, 1GNI, 1GNJ, 1H9Z, 1HA2, 1HK1, 1HK2, 1HK3, 1HK4, 1HK5, 1N5U, 1O9X, 1TF0, 1UOR, 1YSX
- 类固醇激素甾体激素（英语：Steroid hormone、又称甾体激素），是一类四环脂肪烃化合物，具有环戊烷多氢菲母核。类固醇激素是作为激素的类固醇。 这些包括性腺的性激素和肾上腺皮质的皮质类固醇
- 鼠李糖鼠李糖（英文：Rhamnose），即6-脱氧-L-甘露糖，又称甲基戊糖，是一种脱氧的己糖。可透过羟化甘露糖而取得。能溶于水和甲醇，微溶于乙醇。在自然界中大多是L型，广泛存在于植物的多糖、糖苷
- 金瓯省金瓯省（越南语：Tỉnh Cà Mau／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Min
- 严重急性呼吸道综合征冠状病毒2型相关条目此条目列出有关严重急性呼吸系统综合症冠状病毒2型的相关页面，以方便阅览相关条目。引用错误：页面中存在<ref group="註">标签，但没有找到相应的<references group="註" />
- 碘化钾碘化钾（英文：Potassium iodide，实验式：KI），俗称钾碘。是一种无机化合物，用于制备有机碘化物等，并用作化学试剂。为无色或白色立方晶体。无臭，有浓苦咸味。熔点 681℃，沸点 1330℃。易
