首页 >
合式公式
✍ dations ◷ 2025-04-24 21:28:39 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 垂体脑下垂体（法语、德语: Hypophyse，英语：pituitary gland，亦称为脑垂体）位于脑底部的中央位置，在蝶骨中的蝶鞍内，它的上方有视神经经过，两侧被海绵静脉窦所包围，它的底部为蝶窦及鼻咽。
- 交互作用在物理学中，力是任何导致自由物体历经速度、方向或外型的变化的影响。力也可以借由直觉的概念来描述，例如推力或拉力，这可以导致一个有质量的物体改变速度（包括从静止状态开始运
- 关节积血关节积血（英语：Hemarthrosis）是指关节内出血。这是血友病的常见症状。通常在损害受伤后发生，但主要在有出血倾向的患者，例如，使用华法林（warfarin，或其他抗凝剂）的患者和血友病患者。
- 伞型束梗孢菌纲伞型束梗孢菌目（Agaricostilbales） Spiculostilbales伞型束梗孢菌纲（学名：Agaricostilbomycetes）是担子菌门柄锈菌亚门下的一个纲。该纲共包含2个目、3个科、10个属、47个种。.
- 平原印第安手语平原印第安人手语（英语：Plains Indian Sign Language，PISL；法语：Langue des Signes Indienne des Plaines；西班牙语：Lenguaje de Signos Indio de las Llanuras），又称平原手语、平原
- 曲马多曲马多，英文名：Tramadol（INN），是一种阿片类药物 ，主要用作镇痛药，可缓解普通到严重的疼痛。该药是人工合成的，作用于μ-阿片类受体以及去甲肾上腺素和血清张力素系统。 曲马多是于20
- 抗感染药感染是指由病原体物种在身为宿主的个体内进行有害的复制、繁殖过程。具传染性的生物体会寻找并且利用宿主体内资源，以利自身生存，但这个过程一旦干扰了宿主正常的生理运作，可能
- 科林斯 (古希腊)科林斯，为古希腊城邦之一，地处今科林斯地峡地区。基督教中，科林斯因新约圣经中的《哥林多前书》和《哥林多后书》而得名（哥林多即为科林斯）。
- 中世中世纪（公元5世纪-公元15世纪）是欧洲历史三大传统划分（“古典时代”、“中世纪”和“近现代”）的一个中间时期，始于西罗马帝国（公元476年）的灭亡，终于东罗马帝国（公元1453年）的灭亡，最
- XX染色体（X chromosome）是部分动物决定性别的染色体之一。它出现在X0和XY性别决定系统中。对一般人类来说，女性有两条X染色体，男性X、Y染色体各有一条。在人类约20000至25000个基
