蕴涵和当且仅当
符号是 和
蕴涵:
蕴涵符号的意思是 "若……则"
例子:
若 a 和 b 两者都是奇数,则 (a+b) 是偶数
这可以写成:
a 和 b 两者都是奇数 (a+b) 是偶数
符号向右指,因为反过来可能并不为真
例子:
只因为 (a+b) 是偶数不代表 a 和 b 是奇数 (它们两者可能都是偶数)
当且仅当 (英语:"Iff")
"当且仅当" (英语 "Iff")代表双方向的蕴涵。
例子:
x + y = 3 x = 3 − y
这个例子,两个方向的蕴涵都是真的!
例子:
a 与 b 两者都是整数。
"若 a 和 b 其中一个是奇数,而另一个是偶数,则 (a+b) 是奇数" 可以写为:
a 和 b 其中一个是奇数,而另一个是偶数 (a+b) 是奇数
在这例子,两个方向的蕴涵都是真的,因为若 (a+b) 是奇数,并且 a 和 b 两者都是整数,则其中一个数一定是奇数,而另一个是偶数.