首页 >
合式公式
✍ dations ◷ 2025-10-30 01:08:05 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 免疫增生性紊乱免疫增生性紊乱，是一种免疫系统疾病，其特征是免疫系统原代细胞异常增殖，包括B细胞、T细胞和自然杀伤细胞，或过量产生免疫球蛋白（即抗体）。幼淋巴细胞（幼T淋巴细胞白血病）
- 青霉素V青霉素V钾，英文名Phenoxymethylpenicillin Potassium(INN)， 又名苯氧甲基青霉素。是于1947年研制而成的天然青霉素。
- 体外In vitro是拉丁语中“在玻璃里”的意思，意指进行或发生于试管内的实验与实验技术。更广义的意思，则指活生物体之外的环境中的操作。常见的例子是人工受精。在细胞生物学等领域
- 非典型抑郁障碍非典型忧郁症（Atypical Depression）属于慢性忧郁症（轻郁症）与忧郁症的亚型。非典型忧郁症患者与抑郁型忧郁（Melancholic depression）患者不同，前者能体验正面事物带来的心情改善，而
- 熔融状态熔化是指物质由固态转变为液态的一个过程（又称熔解，其中冰的熔化又写作融化、融解）。固态物质中的内能增加（通常借由加热或加压）至一特定的温度（称之为熔点），在该温度下（或对于非纯物
- 瓜德罗普坐标：16°15′N 61°35′W / 16.250°N 61.583°W / 16.250; -61.583瓜德罗普（Guadeloupe；/ˌɡwɒdəˈluːp/; 法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","D
- 角质软化剂角质软化剂是一种用来降低皮肤角质层的密度，以便医生进行后续的治疗的物质，主要用来消除因为疣或其他病变而引起皮肤上过度生产的表皮细胞。角质软化剂包括诸如水杨酸、煤焦油
- 环张力在有机化学中，环张力是当分子内的键结形成不正常角度时存在的不稳定类型。张力大多在小的环上，像是环丙烷和环丁烷这种其碳-碳-碳角度与近乎109°的理想值大大偏离的类型。.
- 劳资争议劳资争议（英文：Labor dispute、Labor unrest）或称劳务纠纷，泛指劳方与资方双方当事人基于法令、团体协约、劳动契约之规定所为权利义务之衍生的种种争议。
- 形式文法在形式语言理论中，文法（为了避免歧义，常称作“形式文法”）是形式语言中字符串的一套产生式规则（英语：Production (computer science)）。这些规则描述了如何用语言的字母表生成符合
