首页 >
合式公式
✍ dations ◷ 2024-12-22 09:22:01 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 凝血病凝血病指凝血能力受损的病症，可能导致出现长期或过度出血的倾向。这种出血既可能是自发性的，也可能发生在受伤或手术后。值得注意的是，凝血病有时被错误地称为“凝血障碍”，而凝
- 血清型血清型是指病毒和细菌中特定不同的亚种。这些微生物一般都由细胞表层的抗原来分类命名的。但是在同一种类的微生物里也会有分支和不同。血清型的决定是由很多种类的因素而形
- 脓疮脓疡（拉丁语：abscessus; 德语：Abszess; 法语：Abcès; 英语：Abscess）又称作脓疮、脓肿。指的是在身体组织中蓄积的脓。接近体表的脓疡会有红、肿、热、痛等症状，触诊病灶时感觉其内
- 心音在生理学中，心音（英语：heart sounds），即心脏的声音，是心脏在运作时，血液流经心脏时产生的震动波。具体来说，是瓣膜开起与关闭时产生的湍流造成的震动波，或由心肌收缩、心脏瓣膜关闭和
- 替普瑞酮替普瑞酮（Teprenone）是一种萜烯类衍生物，属于胃黏膜保护药，临床用于治疗胃溃疡。 它由卫材制药以Selbex（セルベックス）的商品名于日本首次上市，而在中国则由卫材制药以施维舒的商品
- 磺胺嘧啶银磺胺嘧啶银（INN：Silver sulfadiazine，或silvadene）是一种磺胺类/银盐抗细菌药，用于治疗烧伤的外用药膏，用于二度灼伤和三度灼伤以预防感染。磺胺嘧啶银通常被制成1％的药膏或水悬浮
- 高级心脏血管救命术高级生命支持，亦为高级心肺复苏、ACLS，是指一系列的临床介入(clinical intervention)，作为以下情况的应急处置:心跳停止、休克，以及其他医学上危及生命的紧急情况；亦指施行此临床
- 古印第安人古印第安人是指最初进入美洲并定居的人，时间在美洲大陆的更新世时期晚期的后冰川时期。“古印第安人”一词特指西半球的石器时代，不同于旧石器时代（Paleolithic）。有证据表明在
- 孝义市坐标：36°05′N 111°31′E / 36.083°N 111.517°E / 36.083; 111.517孝义市是中华人民共和国山西省的一个县级市，由吕梁市代管。位于山西中部偏南，太原盆地南缘，吕梁山脉中段
- 儿童横纹肌肉瘤横纹肌肉瘤（Rhabdomyosarcoma，简称 RMS）是发生自胚胎间叶组织的恶性肿瘤，发生率低于恶性纤维组织细胞瘤和脂肪肉瘤。横纹肌肉瘤占儿童实体肿瘤的15%，软组织肉瘤的50%。儿童、青年
