查看“︁二值变量”︁的源代码

[[分类:逻辑变量]]
{{InfoBox
|name=二值变量
|eng_name=binary variable
}}
{{InfoBox
|name=二值集合
|eng_name=two-element set
}}
'''二值变量'''('''binary variable''')是只有两个可能且互斥的取值（或状态）的离散变量，在统计学、命题逻辑、逻辑运算相关领域中较为常见，也用于刻画[[二进制]]的一[[二进制位|位]]。

== 具体举例 ==

* 在统计学中，二值变量是一次 [[Bernoulli 试验]]的结果，取值有“成功”和“失败”两种。
* 在命题逻辑和谓词逻辑中，二值变量可能指某个[[命题|命题变元]]或命题的[[真值]]，取值有“真”和“假”两种。也包括判定个体词是否满足谓词的命题。一般使用[[示性函数]]连接命题和二值变量的关系。
* 逻辑运算中，二值变量就是抽象掉了具体命题，仅留下可以取得的真值，互相之间可以进行一些逻辑运算。

== 记号 ==

{{Identity
|name=二值集合
|symbol=<math>\mathbb{B}</math>
|latex=\mathbb{B}
|type=集合
}}
在使用数进行建模时，二值变量通常抽象地使用 <math>\{0,1\}</math> 作为取值（有时也用 <math>\{-1,1\}</math> ，如果需要对称性或均值为 0 ），并称其取值集合为'''二值集合'''(two-element set) ，有人记作 <math>\mathbb{B}</math> 。

== 常见逻辑运算 ==

除了普通运算外，二值变量间的特色运算为逻辑运算。常见逻辑运算有：
{{逻辑运算}}