目录

想法

在逻辑，的假命题，称为虚假或虚假，是命题这总是错误的。

恶习通常被指$假$,$F类$,$\机器人程序$，或$0$。即使在普通英语中出现形容词不符合语法，这些词也可能发音为“false”。

定义

在经典逻辑中

在经典逻辑，有两个真理值：false和真的经典逻辑在谬误和真理之间是完全对称的；看见德摩根对偶.

在直觉逻辑中

在直觉逻辑,$假$是底部元件在中偏序集属于真理值.

直觉主义逻辑仍然存在二值的从这个意义上说，任何真值都是假的，如果不是真的.

在自然扣除这个推理规则因为谎言是作为

在线性逻辑中

在线性逻辑，两者都有添加剂虚伪，表示$0$、和乘法的虚伪，表示$\机器人程序$。尽管有符号，但它是$0$这就是底部元件线性真值的格。（特别是，$0\vdash\bot$但是$\机器人程序\n破折号0$.)

在地形中

就内部逻辑的地形（或其他类别),$假$是底部元件在中子对象偏序集任何给定的对象（其中每个对象对应于上下文内部语言）。

然而，并非每个拓扑都是二值的，因此除了$假$和$真的$.

在类型理论中

在类型理论具有命题作为类型，虚假由空类型.

同伦类型理论

在同伦型理论，虚假由空白空间.

示例

在地形中$设置$

在原型中地形 设置，终端对象是单子 设置 $*$（该指向)子对象的偏序集是经典的$\{\emptyset\hookrightarrow*\}$那么谎言就是空集合 $\空套$，被视为空子集这一点。（请参见Set的内部逻辑更多详细信息）。

原型也是如此（∞，1）-拓扑 ∞Grpd从这个角度来看，考虑一下

• 作为0的集合-截断的 $\英菲$-广群：a0-广群;

• 一subsingleton公司设置为$(-1)$-截断的 $\英菲$-广群：a（-1）-广群.

在这个意义上，对象$假$在里面设置或∞Grpd可以被规范地认为是这个独特的空广群.

相关概念

• 真的,单元类型

• 空类型,前falso quodlibet

• 矛盾,不一致,一致性