首页 >
合式公式
✍ 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)与宿主细