首页 >
合式公式
✍ dations ◷ 2025-12-10 16:26:29 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- J01GA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01（抗菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
- 蜷丝生物蜷丝动物（学名：Filozoa）是后鞭毛生物下的一个单系群，包括动物与其他相近的单细胞生物。蜷丝动物的学名Filozoa系由拉丁字filum（意指“丝线”）与希腊字zōion（意指“动物”）所组成。
- 假性怀孕假性怀孕是一种临床或是亚临床的症状，指生物在临床上出现一些怀孕的迹象（例如闭经、孕吐、乳房胀痛，甚至是腹胀，但事实上并非真正怀孕。临床上，人类以外的动物常出现假性怀孕（特别
- 泮托拉唑泮托拉唑（英语：Pantoprazole，常用商品名有：Somac、Tecta、Pantoloc、Controloc、Panprax、Pansiv、Protium、Prazolin、Protonix、Pantecta、Pantoheal、Pantpas、Ppi-40以及Neo
- 旁分泌旁分泌（英语：paracrine）是指细胞分泌物不进入血液循环，而是通过扩散作用作用于邻近靶细胞，进行细胞间信号传递的分泌方式，这种信号传递方式可以控制靶细胞的生长和功能。例如，肿瘤
- CASCAS台湾优良农产品证明标章是台湾优良农产品及其加工品最高品质代表标章，用以证明国产农产品及其加工品之安全性及优良性。每一种食品标章都有其代表意义, 像是GMP是指制造工
- Cn5f14 6d10 7s22, 8, 18, 32, 32, 18, 2第一：1154.9 kJ·mol−1 第二：2170.0 kJ·mol−1 第三：3164.7 kJ·mol−1 （六方密排主条目：[[鎶的同位素]]'鎶'（Copernicium）是一种人工合成
- 日本日本犹太人（日语：日本のユダヤ人，希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter
- 干燥干燥是一种去除水分或溶剂的化工单元操作。应用时对于三种不同对象有三种方式：干燥也是一种传热传质过程。
- 劳工保险劳工保险，一般简称为劳保，是中华民国政府所设计制定的一种强制性的社会保险制度。1950年，台湾省政府依据《台湾省劳工保险办法》开设劳工保险。在早期施行时，劳工保险制度层面属
