首页 >
合式公式
✍ dations ◷ 2025-08-28 21:51:36 #合式公式
在形式系统与逻辑中，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生成的合式公式定义如下：合式公式是按以下规则构成的有穷长符号串：
相关
- 拟杆菌门拟杆菌门(Bacteroidetes)包括三大类细菌，即拟杆菌纲、黄杆菌纲、鞘脂杆菌纲。它们的相似性体现在核糖体16S RNA。很多拟杆菌纲的细菌种类生活在人或者动物的肠道中，有些时候成
- 哈拉尔德·楚尔·豪森哈拉尔德·楚尔·豪森（德语：Harald zur Hausen，1936年3月11日－），德国医学科学家与荣誉退休教授，主要研究领域为病毒学，2008年诺贝尔生理学或医学奖得主之一，其于1970年代研判人类乳突
- 两侧对称动物两侧对称动物（学名：Bilateria），又名左右对称动物，与辐射对称动物（Radiata）共同组成真后生动物（Eumetazoa）。两侧对称动物的身体由三层胚层发育而来，即拥有中胚层。三胚层是由两胚层演
- 斯特拉斯堡1法国统计部门在计算土地面积时，不计算面积大于1平方公里的湖泊、池塘、冰川和河口。斯特拉斯堡（法语：Strasbourg；德语：Straßburg）是法国大东部大区与下莱茵省的首府，位于法国国土
- 斜视斜视是眼睛的一种不正常状况，也有斗鸡眼、脱窗眼等俗称，斜视是指当双眼目视某个物体时，双眼无法准确地直视该物体，但单眼可以控制聚焦于某物体上。这种症状可能是偶一为之也可能
- 雨天雨部，为汉字索引中的部首之一，康熙字典214个部首中的第一百七十三个（八划的则为第七个）。就繁体和简体中文中，雨部归于八划部首。雨部只以上方为部字。且无其他部首可用者将部首
- 屈折变化在语法学中，词形变化（又译作形态变化、屈折变化）（Inflection or inflexion）指单词（或词根）的变化，以导致语法功能改变，进而使其代表的意义也有所改变。印欧语屈折变化又可以分为变位
- 短语短语（英语：phrase），又称词组、片语，是指一个或多个词组成的，具有中心词的语法性质，内部成分在语义和句法上都能搭配，但可能未形成完整命题，也没有语调的一种语法单位。通常一个短语可
- 闪含语系亚非语系，又称非亚语系、非洲－亚洲语系或阿非罗－亚细亚语系，旧称闪含语系或闪米特－含米特语系，是现今世界的主要语系之一，包含300种语言，主要分布在亚洲西部的阿拉伯半岛、非洲北部
- 伪斜体伪斜体（oblique type）是西文字体的一种样式，是在正常字体样式基础上，通过倾斜字体实现的一种字体样式。西文中有两种斜体：oblique type和 Italic type。倾斜时伴随着字形的变化的
