首页 >
合式公式
✍ dations ◷ 2025-06-27 14:21:32 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 泌尿系统泌尿系统（英语：Urinary system），有时也归类于排泄系统（英语：Excretory system）（Excretory system）的一部分，负责尿液的产生、运送、储存与排泄。人类的泌尿系统包括左右两颗肾脏、左右
- Mushroom Observer真菌观察者（英语：Mushroom Observer）是内森·威尔逊（Nathan Wilson）于2006年成立的网站，旨在创造一个供业余真菌学摄影爱好者分享真菌照片的平台。真菌观察者是提供业余真菌爱好者
- 骨髓细胞髓细胞（myeloid，髓样）是指涉骨髓或脊髓的“粒细胞前体细胞”、或者骨髓或脊髓类似病症之形容词。例如，髓细胞白血病是起自骨髓的造血组织中异常的生长的一种白血病。在造血（Haema
- 房室结房室结 (Atrioventricular node，A-V node)是正常情况下兴奋(神经电讯)由心房传至心室的唯一途径。它位于右心房科赫三角（triangle of Koch）的心内膜深面，其前端发出房室束。其主
- 一氧化二氮一氧化二氮或氧化亚氮（英语：Nitrous oxide），无色有甜味气体，又称笑气，是一种氧化剂，化学式N2O，在一定条件下能支持燃烧，但在室温下稳定，有轻微麻醉作用，其麻醉作用于1799年由英国化学家
- Eu4f7 6s22, 8, 18, 25, 8, 2蒸气压3, 2, 1 （微第一：547.1 kJ·mol−1 第二：1085 kJ·mol−1 第三：2404 kJ·mol主条目：铕的同位素铕（Europium）是一种化学元素，符号为Eu，原子序为6
- 全血全血为标准捐血流程后所取得的人类血液，通常用于治疗大量出血、换血疗法（英语：exchange transfusion）与自体输血上。一单位的全血可提升受血者之血红蛋白浓度约10 g/L。在输全血
- 恩培多克勒恩培多克勒（希腊语：Ἐμπεδοκλῆς，前490年－前430年），又译恩贝多克利，公元前5世纪的古希腊哲学家、自然科学家、政治家、演说家、诗人，相传他也是医生、医学作家、术士和占卜
- 奴隶制奴隶制度是古希腊发展史的一个重要组成部分。大部分古代作家认为奴隶制不仅是必需的而且自然合理，无论斯多葛派还是早期基督教都没有质疑过这种行为。然而早在公元前4世纪，一
- 犹太法典《塔木德》（希伯来文：תלמוד，Talmud，为教导或学习之意）是犹太教中认为地位仅次于《塔纳赫》的宗教文献。源于公元前2世纪至公元5世纪间，记录了犹太教的律法、条例和传统。其
