模糊逻辑中的原子公式

1/1模糊逻辑中的原子公式第一部分模糊逻辑中的原子公式定义 2第二部分真值范围和真值函数 5第三部分模糊集合和隶属度 8第四部分语言变量和模糊术语 10第五部分带约束的模糊原子公式 12第六部分模糊谓词和量词 15第七部分模糊原子公式的连接词 18第八部分模糊原子公式的推理规则 22

第一部分模糊逻辑中的原子公式定义模糊逻辑中的原子公式定义

1.原子命题

在模糊逻辑中，原子命题指的是不能再细分的简单命题。它表示一个事物或事件的属性或关系，并赋予其一个模糊值。模糊值是[0,1]之间的实数，表示命题为真的程度。

2.模糊变量

模糊变量是模糊逻辑中的基本概念，它表示一个模糊的事物或事件。模糊变量的值域是一个模糊集合，该集合定义了变量可能的取值及其相应的模糊值。

3.语言变量

语言变量是模糊变量的一种特殊类型，它使用自然语言中的术语来描述模糊集合。例如，"温度"是一个语言变量，其模糊值可能是"低"、"中"或"高"。

4.模糊项

模糊项是一个模糊集合中的元素，它表示模糊变量的一个特定取值。模糊项的含义由其隶属函数定义，隶属函数指定了变量取该值的模糊值。

5.模糊命题形式

一个模糊命题可以表示为以下形式：

```

X是A

```

其中：

*X是一个模糊变量。

*A是一个模糊项。

例如，"温度是高"是一个模糊命题，其中"温度"是模糊变量，"高"是模糊项。

6.原子模糊公式

原子模糊公式是包含一个或多个原子命题的模糊逻辑公式。它表示一个简单的事实或关系，其真值由原子命题的模糊值决定。

7.原子模糊公式形式

原子模糊公式可以表示为以下形式：

*连接词原子模糊公式：

```

P|Q

P&Q

```

*否定原子模糊公式：

```

¬P

```

其中：

*P和Q是原子命题或原子模糊公式。

*|是模糊或运算符。

*&是模糊与运算符。

*¬是模糊非运算符。

8.原子模糊公式真值表

下表给出了原子模糊公式的真值表：

|P|Q|P|Q|P&Q|P|Q|P|Q|P|¬P|

||||||||||||

|0|0|0|0|0|1|0|1|0|0|1|

|0|1|0|1|0|1|1|1|1|0|0|

|1|0|1|0|0|1|0|1|1|1|0|

|1|1|1|1|1|1|1|1|1|1|0|

9.实例

以下是原子模糊公式的一些实例：

*"温度是高"

*"湿度是低或中"

*"压力不是高"

10.重要性

原子模糊公式是模糊逻辑的基础构建块。它们允许表示简单的模糊事实和关系，并为构建更复杂的模糊推理规则提供基础。第二部分真值范围和真值函数关键词关键要点真值范围

1.原子公式的真值范围是闭区间[0,1]，其中0表示绝对假，1表示绝对真。

2.真值范围的连续性允许对模糊程度进行精细的区分和比较。

3.由于真值范围的非布尔性，模糊逻辑避免了传统布尔逻辑中真值二分法的局限性。

真值函数

1.真值函数定义了原子公式的真值，它将输入值（模糊集合的隶属度）映射到真值范围。

2.真值函数有多种类型，例如三角形函数、梯形函数和高斯函数，每个函数对应着不同的模糊集合形状。

3.真值函数的选择取决于特定应用的语义和所需模糊程度的灵活性。真值范围

真值范围是模糊命题可能取值的集合。在经典逻辑中，真值范围只有两个值：真(T)和假(F)。然而，在模糊逻辑中，真值范围是一个连续区间，通常定义在[0,1]之间，其中：

*0表示绝对假

*1表示绝对真

*中间值表示不同程度的真值

真值函数

真值函数是一种映射，将原子命题映射到其真值。对于一个给定的原子命题`p`，真值函数`v(p)`给出了`p`的真值。

原子公式的真值函数

原子公式的真值函数可以根据原子公式中的运算符来定义。以下是一些常见的原子公式真值函数：

命题变量：

```

v(p)=μ_p(x)

```

其中，`p`是命题变量，`μ_p(x)`是`p`在输入值`x`处的隶属度函数。

合取（与）：

```

v(p∧q)=min(v(p),v(q))

```

其中，`p`和`q`是原子公式，`min`函数返回两个值中的较小值。

析取（或）：

```

v(p∨q)=max(v(p),v(q))

```

其中，`p`和`q`是原子公式，`max`函数返回两个值中的较大值。

否定（非）：

```

v(¬p)=1-v(p)

```

其中，`p`是原子公式。

蕴含（如果……那么）：

```

v(p→q)=min(1,1-v(p)+v(q))

```

其中，`p`和`q`是原子公式。

双条件（当且仅当）：

```

v(p↔q)=min(v(p→q),v(q→p))

```

其中，`p`和`q`是原子公式。

举例：

考虑一个原子公式`p：x是高的`。如果`x`的身高为180厘米，那么`p`的真值函数可能如下：

```

v(p)=μ_p(180)=0.8

```

其中，`μ_p(x)`是一个高斯形隶属度函数，其中心为180厘米，标准差为10厘米。这表明`x`被认为在0.8的程度上是高的。第三部分模糊集合和隶属度模糊集合

模糊集合是模糊逻辑中的基本概念，它允许多个对象具有介于完全0和完全1之间的隶属度。与经典集合只能将对象分配为成员或非成员不同，模糊集合允许在成员资格上具有部分度。

数学上，模糊集合表示为：

```

```

其中：

*A是模糊集合

*X是定义域（对象集合）

*μA(x)是x的隶属度，介于[0,1]之间

隶属度函数μA(x)定义了一组规则或准则，它决定了x有多适合属于模糊集合A。

隶属度

隶属度是模糊集合的中心概念，它衡量对象属于模糊集合的程度。隶属度函数可以在不同值域之间变化，例如[0,1]或[0,10]。

隶属度可以由一系列因素确定，包括：

*对象的属性或特征

*对象与其他对象的相似性

*对象满足特定条件的程度

*对象是否属于另一个模糊集合

隶属度函数

隶属度函数是一种映射，它将定义域中的对象映射到它们在模糊集合中的隶属度。隶属度函数可以采用各种形式，包括：

*三角形函数：一个对称的三角形，代表一个缓慢上升到最大隶属度然后缓慢下降的对象。

*梯形函数：一个不对称的梯形，代表一个快速上升到最大隶属度然后缓慢下降的对象。

*高斯函数：一个钟形曲线，代表一个快速上升到最大隶属度然后快速下降的对象。

*S型函数：一个缓慢上升到最大隶属度然后快速下降的对象。

示例：

考虑定义域为所有年龄的模糊集合“年轻”。“年轻”的隶属度函数可以定义如下：

```

0,ifx≤18

(x-18)/10,if18<x≤28

1,ifx>28

}

```

这个隶属度函数表示：

*所有18岁以下的人不属于“年轻”模糊集合。

*18至28岁之间的每个人在“年轻”模糊集合中的隶属度随着年龄的增加而线性增长。

*28岁以上的所有人都完全属于“年轻”模糊集合。

模糊逻辑中的重要性

模糊集合和隶属度在模糊逻辑中至关重要，因为它们允许推理使用不精确和模糊的信息。通过对对象进行部分隶属度，模糊逻辑可以处理现实世界中常见的不确定性和模糊性。第四部分语言变量和模糊术语关键词关键要点模糊术语：

1.模糊术语是语言变量中使用的词或短语，它们表示具有模糊边界的概念或属性。

2.例如，“高”和“低”是温度的模糊术语，而“年轻”和“老”是年龄的模糊术语。

3.模糊术语的含义在不同的语境中可能不同，并且它们的边界可以根据上下文进行调整。

语言变量：

语言变量和模糊术语

在模糊逻辑中，语言变量和模糊术语是定义和操纵模糊命题的基本概念。

1.语言变量

*语言变量是用来描述模糊概念或属性的变量。

*语言变量与经典逻辑中的命题变量类似，但它们的取值范围是模糊集，而不是真值。

2.模糊术语

*模糊术语是语言变量取值的模糊集。

*模糊术语用自然语言术语表示，例如“高”、“中”、“低”。

3.语言变量和模糊术语之间的关系

*语言变量和模糊术语是一一对应的关系。

*给定一个语言变量，它对应一个模糊术语，定义了该变量可能的取值。

*语言变量可以具有多个模糊术语，每个模糊术语代表不同的模糊概念。

4.模糊术语的特征

*正规性：模糊术语的取值范围是实数单元区间[0,1]。

*模糊性：模糊术语允许部分成员资格，因此元素可以同时属于多个模糊术语。

*凸性：模糊术语函数的图像是凸的。

5.模糊术语的类型

有多种类型的模糊术语，包括：

*三角形模糊术语：具有三角形成员资格函数的模糊术语。

*梯形模糊术语：具有梯形成员资格函数的模糊术语。

*高斯模糊术语：具有高斯函数成员资格函数的模糊术语。

*钟形模糊术语：具有钟形函数成员资格函数的模糊术语。

6.模糊术语的操作

模糊术语可以进行不同的运算操作，包括：

*联合：将两个模糊术语的最大值组合在一起，表示两个模糊术语的“或”关系。

*交集：将两个模糊术语的最小值组合在一起，表示两个模糊术语的“且”关系。

*补集：反转模糊术语的成员资格函数，表示模糊术语的“非”关系。

7.语言变量的取值

语言变量的取值由其对应的模糊术语决定。这些模糊术语定义了变量可能的取值范围和每个取值的模糊程度。

8.语言变量在模糊推理中的应用

语言变量和模糊术语在模糊推理中起着至关重要的作用。它们允许用自然语言术语表达模糊命题，并基于这些模糊命题进行推理。通过将自然语言知识编码为模糊术语，模糊推理可以解决现实世界中的模糊问题。第五部分带约束的模糊原子公式关键词关键要点带约束的模糊原子公式

1.定义：带约束的模糊原子公式是具有附加约束条件的模糊原子公式，这些约束条件通常由模糊关系或其他限制来表示。

2.目的：约束条件使我们能够更精确地表达模糊概念，并避免模糊推理过程中的不确定性和歧义。

3.类型：常见的带约束的模糊原子公式类型包括条件属性原子公式、关系原子公式和量化原子公式。

条件属性原子公式

1.定义：条件属性原子公式将一个对象的属性与其满足的条件联系起来。

2.表示：它表示为(x,A,cond)的元组，其中x是对象，A是属性，cond是约束条件。

3.示例：例如，(学生1，成绩优秀，学习努力)表示学生1成绩优秀，并且满足学习努力的条件。

关系原子公式

1.定义：关系原子公式表示两个对象之间的关系，并具有附加约束。

2.表示：它表示为(x,A,y,r)的元组，其中x和y是对象，A是关系，r是约束条件。

3.示例：例如，(学生1，认识，学生2，同班)表示学生1认识学生2，并且满足同班的约束条件。

量化原子公式

1.定义：量化原子公式通过量词来对模糊原子公式进行量化，以表示对象的集合或条件的满足度。

2.表示：它通常使用量词(∀x,∃x)表示，后跟一个模糊原子公式。

3.示例：例如，(∀x,学生(x))表示所有x都是学生，(∃x,学生(x)且成绩优秀)表示存在一个学生成绩优秀。带约束的模糊原子公式

原子公式是模糊逻辑表达式最简单的组成部分，表示对一个变量的模糊属性的描述。带约束的模糊原子公式是在原子公式的基础上增加了约束条件，以限制变量的取值范围。

语法

带约束的模糊原子公式的语法形式为：

```

(x,A)∈R;C

```

其中：

*x是模糊变量

*A是模糊集

*R是模糊关系

*C是约束条件

语义

带约束的模糊原子公式的语义表示为：

```

μ_(x,A)∈R(C)

```

其中：

*μ_(x,A)是模糊集A在x处的隶属度

*R(C)是模糊关系R对约束条件C的约束

约束条件C可以是任何逻辑表达式，如：

*x>0

*y=5

*z∈[0,1]

约束类型

约束条件可以划分为以下类型：

*线性约束：约束条件为线性表达式，如x>0、y=5等。

*非线性约束：约束条件为非线性表达式，如x^2+y^2≤1等。

*逻辑约束：约束条件为逻辑表达式，如x∨y等。

*模糊约束：约束条件为模糊表达式，如x为低等。

应用

带约束的模糊原子公式在模糊逻辑推理和知识表示中有着广泛的应用。它们可以用来实现以下功能：

*知识限制：通过约束条件限制变量的取值范围，可以更精确地表达知识。

*推断：利用模糊关系R，可以从一个带约束的模糊原子公式推导出另一个带约束的模糊原子公式。

*优化：通过优化约束条件，可以找到给定目标函数的最优解。

*模式识别：带约束的模糊原子公式可以用来描述模式的特征，从而进行模式识别。

举例

以下是一些带约束的模糊原子公式的例子：

*(年龄,年轻)∈大于(20)

*(身高,高)∈等于(180)

*(成绩,优秀)∈如果(课程=数学)

结论

带约束的模糊原子公式是模糊逻辑中一种重要的表示形式，它可以更精确地表达知识并实现更复杂的推理和应用。通过约束条件的限制，带约束的模糊原子公式能够提供更丰富的语义信息，从而增强模糊逻辑系统的表达性和推理能力。第六部分模糊谓词和量词关键词关键要点模糊谓词：

1.模糊谓词是用来表示模糊概念或模糊命题的谓词，其真值不是确定的0或1，而是介于0和1之间的模糊值。

2.模糊谓词的真值通常由模糊集合来表示，模糊集合是描述某个模糊概念的所有可能值及每个值的隶属度的集合。

3.模糊谓词可以用来构建模糊规则和模糊推理系统，以表示和处理不确定和模糊的信息。

模糊量词：

模糊谓词和量词

模糊谓词

模糊谓词是对模糊集进行描述的属性。它将一个对象映射到一个值，该值表示该对象属于模糊集的程度。模糊谓词可以是：

*一元谓词：只包含一个变量，如“高大”。

*多元谓词：包含多个变量，如“比...高”。

模糊谓词可以进一步分为：

*赋值谓词：将对象直接映射到一个值，如“温度是高”。

*关系谓词：将两个或多个对象映射到一个值，表示它们之间的关系，如“小明比小红高”。

模糊量词

模糊量词是对模糊命题进行量化的操作符。它将模糊命题的真值量化到一个值，表示满足该命题的元素在集合中的程度。模糊量词主要有两种：

*存在量词（∃）：表示至少存在一个元素满足命题。

*全体量词（∀）：表示所有元素都满足命题。

模糊谓词和量词的语法

模糊谓词和量词在模糊逻辑中的语法表示如下：

*模糊谓词：P(x)

*一元模糊谓词：A(x)

*多元模糊谓词：R(x,y)

*存在量词：∃x

*全体量词：∀x

模糊谓词和量词的语义

模糊谓词和量词的语义解释如下：

*模糊谓词：P(x)的值是对象x属于模糊集P的程度。

*一元模糊谓词：A(x)的值是对象x属于模糊集A的程度。

*多元模糊谓词：R(x,y)的值是对象x和对象y之间的关系属于模糊集R的程度。

*存在量词：∃xP(x)的值是至少有一个对象x满足命题P(x)的程度。

*全体量词：∀xP(x)的值是所有对象x都满足命题P(x)的程度。

模糊谓词和量词的应用

模糊谓词和量词广泛应用于模糊逻辑系统中，用于对自然语言命题、模糊推理和不确定推理进行建模。例如：

*模糊推理：如果小明是高的，那么小明打篮球很有天赋。

*不确定推理：大多数学生都喜欢玩游戏。

模糊谓词和量词的限制

模糊谓词和量词虽然提供了一种灵活的方式来处理不确定性，但它们也存在一些限制：

*计算复杂性：基于模糊谓词和量词的推理过程可能具有很高的计算复杂性，尤其是在处理大型数据集时。

*知识表示：模糊谓词和量词需要对模糊集和关系进行明确定义，这在某些应用中会很困难。

*主观性：模糊谓词和量词的定义和评价具有主观性，这可能会导致不同的解释和结果。第七部分模糊原子公式的连接词关键词关键要点模糊原子公式的连接词

1.模糊原子公式的连接词是用来连接两个或多个模糊原子公式的逻辑运算符。

2.常用的模糊连接词包括：AND、OR、NOT、IMPLIES、THEN、VERY。

3.这些连接词可以用来表示复杂模糊命题的真值，并建立模糊逻辑推理规则。

模糊连接词AND

1.AND连接词表示两个模糊原子公式的逻辑与，其真值定义为两个原子公式真值的最小值。

2.例如，“小明很聪明”AND“小明很勤奋”，则真值为“真值（小明很聪明）”AND“真值（小明很勤奋）”。

3.AND连接词常用于表达逻辑推理中的必要条件。

模糊连接词OR

1.OR连接词表示两个模糊原子公式的逻辑或，其真值定义为两个原子公式真值的最大值。

2.例如，“小明很聪明”OR“小明很勤奋”，则真值为“真值（小明很聪明）”OR“真值（小明很勤奋）”。

3.OR连接词常用于表达逻辑推理中的充分条件。

模糊连接词NOT

1.NOT连接词表示模糊原子公式的逻辑非，其真值定义为原子公式真值的补集。

2.例如，NOT“小明很聪明”，则真值为1-“真值（小明很聪明）”。

3.NOT连接词常用于表达逻辑推理中的矛盾和对立。

模糊连接词IMPLIES

1.IMPLIES连接词表示模糊原子公式的逻辑蕴含，其真值定义为两个原子公式真值的最小值。

2.例如，“小明很聪明”IMPLIES“小明可以考上名校”，则真值为“真值（小明很聪明）”AND“真值（小明可以考上名校）”。

3.IMPLIES连接词常用于表达逻辑推理中的原因和结果。

模糊连接词THEN

1.THEN连接词表示模糊原子公式的逻辑蕴含，其真值定义为两个原子公式真值的最小值。

2.THEN连接词与IMPLIES连接词在真值计算上相同，但其语法结构不同。

3.THEN连接词常用于表达逻辑推理中的规则。

模糊连接词VERY

1.VERY连接词表示模糊原子公式的加强，其真值定义为原子公式真值的平方。

2.例如，VERY“小明很聪明”，则真值为“真值（小明很聪明）”^2。

3.VERY连接词常用于表达逻辑推理中的强调和程度。模糊原子公式的连接词

模糊逻辑中的原子公式通常是模糊关系，表示两个模糊集合之间的关系。为了组合原子公式，模糊逻辑使用了一系列连接词，这些连接词与经典逻辑中的逻辑运算符类似，但具有模糊含义。以下是对模糊原子公式中常用的连接词的概述：

与（AND）连接词：

*符号：＆

*语义：模糊与操作计算两个原子公式的最小值。

*表达式：P＆Q表示原子公式P和Q的模糊与。

*示例：一个模糊集合“高”和另一个模糊集合“收入”的模糊与操作可以得到一个新的模糊集合，表示“收入高”的模糊程度。

或（OR）连接词：

*符号：∨

*语义：模糊或操作计算两个原子公式的最大值。

*表达式：P∨Q表示原子公式P和Q的模糊或。

*示例：一个模糊集合“高”和另一个模糊集合“收入”的模糊或操作可以得到一个新的模糊集合，表示“收入高或收入低”的模糊程度。

否（NOT）连接词：

*符号：¬

*语义：模糊否操作计算原子公式的补集。

*表达式：¬P表示原子公式P的模糊否。

*示例：一个模糊集合“高收入”的模糊否可以得到一个新的模糊集合，表示“收入低”的模糊程度。

蕴涵（IMPLICATION）连接词：

*符号：⇒

*语义：模糊蕴涵操作返回一个连接值，指示如果第一个原子公式（前件）为真，则第二个原子公式（后件）为真的程度。

*表达式：P⇒Q表示原子公式P蕴涵原子公式Q。

*示例：一个模糊集合“温度高”和另一个模糊集合“使用空调”的模糊蕴涵操作可以得到一个新的模糊集合，表示如果“温度高”，“使用空调”的可能性。

等价（EQUIVALENCE）连接词：

*符号：≡

*语义：模糊等价操作计算两个原子公式相等的模糊程度。

*表达式：P≡Q表示原子公式P等价于原子公式Q。

*示例：一个模糊集合“年龄大”和另一个模糊集合“退休”的模糊等价操作可以得到一个新的模糊集合，表示“年龄大”和“退休”在多大程度上是相同的。

模糊连接词的特性：

模糊连接词具有一组特定的特性，这些特性与经典逻辑中的逻辑运算符的特性相似，但考虑到模糊性的语义。这些特性包括：

*交换律：对于任何原子公式P和Q，P＆Q=Q＆P，P∨Q=Q∨P和P≡Q=Q≡P。

*结合律：对于任何原子公式P、Q和R，(P＆Q)＆R=P＆(Q＆R)，(P∨Q)∨R=P∨(Q∨R)和(P≡Q)≡R=P≡(Q≡R)。

*分配律：对于任何原子公式P、Q和R，P∨(Q＆R)=(P∨Q)＆(P∨R)，P＆(Q∨R)=(P＆Q)∨(P＆R)。

*吸收律：对于任何原子公式P和Q，P∨(P＆Q)=P和P＆(P∨Q)=P。

*矛盾律：对于任何原子公式P，¬(¬P)=P。

*排中律：对于任何原子公式P，P∨¬P=1。

应用：

模糊原子公式的连接词在模糊逻辑推理系统中起着至关重要的作用。它们使我们能够组合原子公式以表达复杂的模糊关系，并制定规则以对模糊环境中的不确定性和模糊性进行推理。模糊连接词广泛应用于模糊控制、数据挖掘、决策支持系统和专家系统等领域。第八部分模糊原子公式的推理规则关键词关键要点模糊原子公式的推理规则

1.模糊原子公式的推理规则是一种用于推理模糊命题的规则系统。

2.它基于模糊集合论和模糊逻辑的原理，允许在不确定性和模糊性条件下进行推理。

3.该规则系统包括求值规则、组合规则和蕴涵规则等。

求值规则

1.求值规则用于确定模糊原子公式的真值。

2.它使用模糊集合的隶属度函数，将输入值映射到[0,1]之间的真值。

3.常用的求值规则包括最小-最大法、最大-最小法和伽马法等。

组合规则

1.组合规则用于连接多个模糊原子公式，形成复合模糊命题。

2.它使用逻辑连接词（如“与”、“或”和“非”）来组合命题。

3.常用的组合规则包括最小算子、最大算子和加权平均等。

蕴涵规则

1.蕴涵规则用于表示模糊命题之间的逻辑推理关系。

2.它使用蕴涵算子（如“如果...那么...”）来建立命题间的联系。

3.常用的蕴涵规则包括最大-最小蕴涵和最小-最大蕴涵等。

模糊推理系统

1.模糊推理系统是一种基于模糊原子公式推理规则的系统。

2.它将输入数据转换为模糊集合，并使用推理规则进行推理。

3.模糊推理系统广泛应用于控制、决策和专家系统等领域。

模糊逻辑中的不确定性

1.模糊逻辑中的不确定性是指无法精确确定真实值的程度。

2.它可以由模糊集合、模糊推理和模糊语言等因素引起。

3.不确定性在模糊逻辑中被视为一种优势，因为它允许在信息不完整或不准确的情况下进行推理。模糊原子公式的推理规则

模糊原子公式的推理规则用于从给定的模糊原子公式集合推导出新的模糊原子公式。这些规则基于模糊逻辑的推理原理，涉及模糊并（AND）、模糊或（OR）和否定（NOT）操作符。

模糊并（AND）

模糊并运算符表示两个模糊命题的联结。模糊并规则如下：

```

如果A和B是模糊原子公式，则：

AANDB=MIN(μ_A(x),μ_B(x))

```

其中：

*μ_A(x)和μ_B(x)分别是模糊集A和B在元素x处的隶属度

*MIN为取两个隶属度的最小值的函数

模糊并操作符产生一个新的模糊原子公式，其隶属度是给定原子公式隶属度的最小值。这表明如果两个原子公式都为真，则它们的联结也是真的。

模糊或（OR）

模糊或运算符表示两个模糊命题的分离。模糊或规则如下：

```

如果A和B是模糊原子公式，则：

AORB=MAX(μ_A(x),μ_B(x))

```

其中：

*MAX为取两个隶属度的最大值的函数

模糊或操作符产生一个新的模糊原子公式，其隶属度是给定原子公式隶属度的最大值。这表明如果两个原子公式中有一个为真，则它们的联结也是真的。

否定（NOT）

否定运算符表示模糊命题的否定。否定规则如下：

```

如果A是一个模糊原子公式，则：

NOTA=1-μ_A(x)

```

否定运算符生成一个新的模糊原子公式，其隶属度是给定原子公式隶属度的补集。这表明如果给定的原子公式为假，则其否定为真。

推理规则

模糊原子公式的推理规则包括：

1.肯定前件规则（ModusPonens，MP）：

*如果A-->B是一个模糊规则，并且A是一个模糊原子公式，则B是一个模糊原子公式。

2.否定后件规则（ModusTollens，MT）：

*如果A-->B是一个模糊规则，并且NOTB是一个模糊原子公式，则NOTA是一个模糊原子公式。

3.否定前件规则（ModusTollendoTollens，MTT）：

*如果A-->B是一个模糊规则，并且NOTA是一个模糊原子公式，则NOTB是一个模糊原子公式。

4.附加规则（HypotheticalSyllogism，HS）：

*如果A-->B和B-->C是模糊规则，则A-->C是一个模糊规则。

5.分离规则（DisjunctiveSyllogism，DS）：

*如果AORB是一个模糊原子