查看“︁真”︁的源代码

[[分类:命题逻辑]]
{{InfoBox
|name=真
|eng_name=true
}}
'''真'''('''true''')是[[真值]]之一，指命题成立。

== 记号 ==

{{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}}<ref>有别名{{UnicodeName|Top}}。</ref>
|latex=\top
}}


{{命题逻辑}}