蕴涵和当且仅当

符号是 蕴涵符号当且仅当符号

蕴涵:蕴涵符号

蕴涵符号的意思是 "若……则"

例子:

a 和 b 两者都是奇数, (a+b) 是偶数

这可以写成:

a 和 b 两者都是奇数 蕴涵符号 (a+b) 是偶数


符号向右指,因为反过来可能并不为真

例子:

只因为 (a+b) 是偶数不代表 a 和 b 是奇数 (它们两者可能都是偶数)

 

当且仅当 (英语:"Iff")当且仅当符号

"当且仅当" (英语 "Iff")代表双方向的蕴涵。

例子:

x + y = 3 当且仅当符号 x = 3 − y

这个例子,两个方向的蕴涵都是真的!

例子:

ab 两者都是整数。

"若 ab 其中一个是奇数,而另一个是偶数, (a+b) 是奇数" 可以写为:

ab 其中一个是奇数,而另一个是偶数 当且仅当符号 (a+b) 是奇数

在这例子,两个方向的蕴涵都是真的,因为若 (a+b) 是奇数,并且 ab 两者都是整数,则其中一个数一定是奇数,而另一个是偶数.