假：修订间差异

2025年11月3日 (一) 08:31的最新版本

假
术语名称	假
英语名称	false
别名	untrue

假(false)是真值之一，指命题与事实不符或在一个解释下不满足特定条件，即命题不成立。

定义

在逻辑学中，假可以通过多种方式定义：

语义：在给定解释下，命题被称为假当且仅当它描述的事态不成立。
语法：在形式化公理系统中，命题被称为假当且仅当它的否定可以从公理通过推理规则推导出来。
模型论定义：在模型论中，命题在逻辑语言的模型中通过 Tarski 真理定义定义真，其反面为假。

在经典二值逻辑中，假是两个基本真值之一，另一个是真。

记号

假
对象名称	假
对象记号	[math]\displaystyle{ \mathrm{F} }[/math],[math]\displaystyle{ \bot }[/math],0
Latex	`\mathrm{F}`, `\bot`, `0`
对象类别	真值

假(false)一般用 [math]\displaystyle{ \mathrm{F} }[/math] 、 [math]\displaystyle{ 0 }[/math] 或 [math]\displaystyle{ \bot }[/math] 表示。

⊥
字符	⊥
Unicode码位	`U+22A5` Up Tack, Base, Bottom
Latex命令序列	`\bot`

不同逻辑系统中的假

经典逻辑、三值逻辑

假是二值逻辑和三值逻辑中的基本真值之一。

多值逻辑

假是多个真值之一，
可能有不同程度的真值。

模糊逻辑

假是 [math]\displaystyle{ [0,1] }[/math] 区间内的程度概念。
命题可以部分为假。

命题逻辑/零阶逻辑
基本概念	命题	命题、命题变元、命题常量
基本概念	真值	真 [math]\displaystyle{ \mathrm{T} }[/math]/[math]\displaystyle{ 1 }[/math]/[math]\displaystyle{ \top }[/math] 、假 [math]\displaystyle{ \mathrm{F} }[/math]/[math]\displaystyle{ 0 }[/math]/[math]\displaystyle{ \bot }[/math]
命题结构	命题结构	原子命题、复合命题
	逻辑联结词	否定（非） [math]\displaystyle{ \lnot }[/math] 、合取（且/与） [math]\displaystyle{ \land }[/math] 、析取（或） [math]\displaystyle{ \lor }[/math]
	逻辑联结词	蕴涵（推出） [math]\displaystyle{ \rightarrow }[/math] 、等价（当且仅当） [math]\displaystyle{ \leftrightarrow }[/math]
命题公式	形式定义	命题语言 [math]\displaystyle{ \mathcal{L}_0 }[/math] 、命题公式
	逻辑语义	指派、 Tarski 真理定义、解释、真值表、满足
	语义分类	重言式/永真式、偶然式/仅可满足式/可真可假式、矛盾式/永假式/不可满足式
	语义关系	重言等价/等值/等价 [math]\displaystyle{ = }[/math]/[math]\displaystyle{ \Leftrightarrow }[/math] 、重言蕴涵 [math]\displaystyle{ \Rightarrow }[/math]
	范式	析取范式、合取范式（主析取范式、主合取范式）

谓词逻辑/一阶逻辑
命题结构	项	个体词（个体常项、个体变项）、论域/个体域、函项、项、闭项
	谓词	谓词（谓词常项、谓词变项）
	量词	量词（辖域、出现）、全称量词 [math]\displaystyle{ \forall }[/math] 、存在量词 [math]\displaystyle{ \exists }[/math]
谓词公式	形式定义	谓词语言 [math]\displaystyle{ \mathcal{L}^* }[/math] 、谓词公式、闭式
	逻辑语义	结构、指派/赋值、基本语义定义、解释、满足、模型
	语义分类	普遍有效公式、可满足式、不可满足式
	语义关系	逻辑等值/逻辑等价 [math]\displaystyle{ = }[/math]/[math]\displaystyle{ \Leftrightarrow }[/math] 、逻辑蕴涵 [math]\displaystyle{ \Rightarrow }[/math]
	范式	前束范式、 Skolem 范式
	个体变项代入	可自由代入、易字、简单易字变形、易字变形
	命题变元代入	置换定理

@@ 第1行： / 第1行： @@
-[[分类:命题逻辑]]
+[[分类:命题逻辑]]{{DEFAULTSORT:jia3}}
+{{#seo:
+|keywords=假, 真值
+|description=本文介绍假的定义、性质与表示方法，包括假作为真值的基本概念，在不同逻辑系统中的含义，及其在逻辑学和哲学中的重要性。
+|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
+|published_time=2023-05-07
+}}
 {{InfoBox
 |name=假
@@ 第5行： / 第11行： @@
 |aliases=untrue
 }}
-'''假'''('''false''')是[[真值]]之一，指命题不成立。
+'''假'''('''false''')是[[真值]]之一，指命题与事实不符或在一个[[解释（命题逻辑）|解释]]下不满足特定条件，即命题不成立。
+== 定义 ==
+在逻辑学中，假可以通过多种方式定义：
+* 语义：在给定解释下，命题被称为假当且仅当它描述的事态不成立。
+* 语法：在[[形式化公理系统（逻辑）|形式化公理系统]]中，命题被称为假当且仅当它的[[否定]]可以从公理通过推理规则推导出来。
+* 模型论定义：在[[:分类:模型论|模型论]]中，命题在逻辑语言的模型中通过 [[Tarski 真理定义]]定义真，其反面为假。
+在经典二值逻辑中，假是两个基本真值之一，另一个是[[真]]。
 == 记号 ==
@@ 第18行： / 第34行： @@
 {{CharMetaInfo
 |char=&#x22A5;
-|unicodeCodePoint={{UnicodeCodePoint|U+22A4|Up Tack}}<ref>有别名{{UnicodeName|Base}}、{{UnicodeName|Bottom}}。</ref>
+|unicodeCodePoint={{UnicodeCodePoint|U+22A5|Up Tack, Base, Bottom}}
 |latex=\bot
 }}
+== 不同逻辑系统中的假 ==
+=== 经典逻辑、三值逻辑 ===
+* 假是二值逻辑和三值逻辑中的基本真值之一。
+=== 多值逻辑 ===
+* 假是多个真值之一，
+* 可能有不同程度的真值。
+=== 模糊逻辑 ===
+* 假是 <math>[0,1]</math> 区间内的程度概念。
+* 命题可以部分为假。
 {{命题逻辑}}
+{{谓词逻辑}}