首页 >
合式公式
✍ dations ◷ 2025-09-18 02:53:43 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 属属（英语：genus，拉丁语：genus）是生物分类法中的一级，用于生物学中的生物和化石生物以及病毒的生物分类。在生物分类的层次结构中，属位于种之上和科之下。属名由拉丁词或希腊词或拉丁
- 腹泻腹泻（俗称拉肚子，广东俗称肚痾，台语俗称漏屎，中医称之为泄泻，英语：diarrhea, diarrhœa来自希腊语：διάρροια，包含两个字根：“διά /dia，经过”，以及“ῥέω/rheo，流动”)的定
- 低通气低通气（英文：Hypopnea）是一种浅呼吸或呼吸速率（英语：respiratory rate）特别低的情形。有些研究者认为低通气没有呼吸中止来的严重，然而也有些研究者发现低通气对健康所造成的负面影
- 毒性毒性（英语：Toxicity）是毒物的化学分子或化合物到达生物敏感部位引起机体损害的能力。毒物的联合作用有以下四种：协同作用、相加作用、独立作用和拮抗作用。
- 溶血性尿毒综合征溶血性尿毒综合征（英语：Hemolytic-uremic syndrome, HUS）是一种由于溶血性贫血（Hemolytic anemia）而引发的急性肾损伤（Acute kidney injury）和血小板数量下降综合征。病因不明，发病
- DINP邻苯二甲酸二异壬酯（Di-iso-nonyl Phthalate，缩写为DINP，化学式C26H42O4， 结构式为C6H4(COO（CH2）6CH(CH3)2)2，为邻苯二甲酸与异壬醇生成的酯类化合物。它是邻苯二甲酸酯的一种，也是
- GAP良好农业规范 (Good Agricultural Practices, GAP)的一套用于农业生产且生产结果与执行者利益相一致的操作规范。对于由哪些方法组成“良好农业规范”，有着很多不同的定义。
- Schistosoma haematobium埃及血吸虫（学名：Schistosoma haematobium），一种扁形动物，寄生虫，是寄生于人类引起血吸虫病的一种血吸虫。埃及血吸虫基因组大小为385 Mbp，2012年，完成了埃及血吸虫的全基因组测序。
- 亚美尼亚语官方（法律上）地位:亚美尼亚语（Հայերեն或Hayeren）是亚美尼亚共和国及不被普遍承认的纳戈尔诺-卡拉巴赫共和国的官方语言，属于印欧语系的一支，但它没有任何近似语言，其38个字
- 照相排版照相排版（简称照排，英语称phototypesetting, photocomposition）是指，用照相排版机将文字等内容制作到相纸或胶片上，或者是制作照片制版用的制版工序。根据使用的机械，可以分成手工
