在逻辑中，真值函数是从语言的句子生成的函数。它采用来自 {T,F} 的真值。例如句子 A → B 生成真值函数 h，它的真值是 F，当且仅当 A 的值是 T 而 B 的值是 F。n 个变量的命题句子生成 2^{2^n} 个真值函数。比如，如果有像 A → 这样的 2 个变量的命题则有 16 个生成的真值函数。
1
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵或蕴涵算子是一种二元关系的真值泛函的逻辑运算符，它有着如下形式：
Mini wiki
