查看“︁真”︁的源代码

[[分类:命题逻辑]]{{DEFAULTSORT:zhen1}}
{{#seo:
|keywords=真, 真值
|description=本文介绍真的定义、性质与表示方法，包括真作为真值的基本概念，在不同逻辑系统中的含义，及其在逻辑学和哲学中的重要性。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-05-07
}}
{{InfoBox
|name=真
|eng_name=true
}}
'''真'''('''true''')是[[真值]]之一，指命题与事实相符或在一个[[解释（命题逻辑）|解释]]下满足特定条件，即命题成立。

== 定义 ==

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

* 语义：在给定解释下，命题被称为真当且仅当它描述的事态成立。
* 语法：在[[形式化公理系统（逻辑）|形式化公理系统]]中，命题被称为真当且仅当它可以从公理通过推理规则推导出来。
* 模型论定义：在[[:分类:模型论|模型论]]中，命题在逻辑语言的模型中通过 [[Tarski 真理定义]]定义真。

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

== 记号 ==

{{Identity
|name=真
|type=真值
|symbol=<math>\mathrm{T}</math>,<math>\top</math>,1
|latex=\mathrm{T},\top,1
}}
'''真'''('''true''')一般用 <math>\mathrm{T}</math> 、 <math>1</math> 或 <math>\top</math> 表示。
{{CharMetaInfo
|char=&#x22A4;
|unicodeCodePoint={{UnicodeCodePoint|U+22A4|Down Tack, Top}}
|latex=\top
}}

== 不同逻辑系统中的真 ==

=== 经典逻辑、三值逻辑 ===
* 真是二值逻辑和三值逻辑中的基本真值之一。

=== 多值逻辑 ===
* 真是多个真值之一，
* 可能有不同程度的真值。

=== 模糊逻辑 ===
* 真是 <math>[0,1]</math> 区间内的程度概念。
* 命题可以部分为真。


{{命题逻辑}}
{{谓词逻辑}}