首页 >
合式公式
✍ dations ◷ 2025-06-06 22:49:25 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 耐甲氧西林金黄色葡萄球菌耐甲氧西林金黄色葡萄球菌（Methicillin-resistant Staphylococcus aureus）或多重抗药金黄色葡萄球菌（Multiple-resistant Staphylococcus aureus）是金黄色葡萄球菌的一独特菌株，
- 诺贝尔生理学和医学奖诺贝尔生理学或医学奖（瑞典语：Nobelpriset i fysiologi eller medicin），通常合称诺贝尔生理医学奖，由诺贝尔基金会管理，该奖项每年颁发一次，用于表彰在生理学或医学领域作出重要发
- 盐皮质激素盐皮质激素（英语：mineralocorticoid；又称为盐皮质素、盐皮质类固醇）是肾上腺皮质球状带分泌的由21个碳原子组成的皮质类固醇激素。如脱氧皮质酮和醛固酮，通过刺激钠的滞留和钾的
- 忌辰祭祀，(英语：祭：sacrifice；祀：ritual；韩语：한국의 제사，罗马化：Jesa）是指以线香、酒水、肉类、蔬果，或布帛和玉（传统儒教祭祀）等供品向神灵、圣徒或者亡魂奉献、祈祷的一种行为。中国古代
- 代谢工程代谢工程学是指利用基因工程或是分子生物学技术，将生体内之代谢途径改变，通常改变生体内化学反应之酶。它来自于发酵学。代谢工程技术目前以微生物利用为主，改变工业微生物之代
- 多囊性肾病变多囊性肾病变（英语：polycystic kidney disease），又称多囊肾、泡泡肾，多囊性肾病变是一种遗传病的肾病变，人、猫、狗等多种动物都可能发病，其中猫的发病率高达6%。人类的多囊性肾病
- 蝇蕈素蝇蕈素（英语：muscimol、agarin、pantherine）是出现于大多数鹅膏菌属菇类的精神性生物碱，为γ-氨基丁酸A型受体的促效剂，并且会产生镇静安眠的效果。蝇蕈素是造成毒蝇伞中毒反应的
- 闪锌矿闪锌矿(英语：Sphalerite)是种由锌和铁结合的硫化物。晶形常为四面体状。纯闪锌矿近于无色，但随着成分中铁含量的增加由浅黄、黄褐、棕甚至黑色，因此难鉴定。具有完全的菱形十二
- 伊本·西那阿布·阿里·侯赛因·本·阿卜杜拉·本·哈桑·本·阿里·本·西那（阿拉伯文：أبو علي الحسين بن عبد الله بن الحسن بن علي بن سينا
- 翰斯勒巴东氏菌汉氏巴尔通体（Bartonella henselae）是一种常见的、可导致猫抓病的真细菌，属于巴尔通体属。该细菌通过三聚体自身转运蛋白粘附素（英语：trimeric autotransporter adhesin）与宿主细
