首页 >
合式公式
✍ dations ◷ 2025-07-18 09:58:30 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 研究中心研究中心，或称研究所、研究院、研究机构，是指以研究或研发为目的之设施、组织或机构。所做的研究通常都会聚焦于一个特定的领域。一个研究中心可能同时具有不同的学科或专业，同
- 缩胆囊素· extracellular space · axon · dendrite · axon initial segment · terminal bouton · axon hillock· neuron migration · release of cytochrome c from m
- 卡介苗卡介苗（Bacillus Calmette-Guérin，简称BCG，中文名称来自于其发明者卡氏-介氏）是一种最初被用于预防结核病的疫苗。在结核病常发的国家，常推荐健康的婴儿在出生时候尽快接受一剂
- H10N8甲型流行性感冒病毒H10N8亚型（英语：Influenza A virus subtype H10N8，记作A(H10N8)或H10N8）是一种甲型流感病毒，是禽流感病毒或禽流感病毒的一个亚型，由不同毒株经过基因重排产生
- University of Minnesota明尼苏达大学双城分校（英语：University of Minnesota, Twin Cities），是位于美国明尼苏达州双城区（即明尼阿波利斯及圣保罗）的一所公立大学，为明尼苏达大学系统历史最悠久，规模最大的
- 发病率发病率（英语：incidence rate）在流行病学中是指一定时期内特定人群新发生某一疾病的比率，可以用来测定发病风险。例如，对于一个包含1000人的未患病的风险人群进行为期两年的观察之
- 巴勒斯坦巴勒斯坦国（阿拉伯语：دولة فلسطين） 通称巴勒斯坦，是一个由居住在西亚－巴勒斯坦地区的约旦河西岸以及加沙地带的阿拉伯人所建立的国家，于近代数百年中曾为奥斯曼土耳其
- 信息可视化信息可视化（英语：Information visualization，infovis）是对抽象数据进行（交互式的）可视化表示以增强人类感知的研究。抽象数据包括数值和非数值数据，如文本和地理信息。然而，信息可视
- 巴比伦囚徒巴比伦囚虏或巴比伦之囚是指古犹太人被掳往巴比伦的历史事件。公元前597年和前586年，犹大王国两度被新巴比伦王国国王尼布甲尼撒二世征服，大批犹太富人、工匠、祭司、王室成员
- 流泪泪或称泪液、泪水，是眼睛外部的泪腺所分泌的液体。泪的原料是血液中的水分，它经由泪腺分泌出来后、通过并润湿眼球表面，之后进入鼻泪管，流入鼻腔内而进入喉咙。 它不只可湿润眼
