复杂逻辑条件 “如果……那么” “只有……才”“至多一个” “或者或者(至少一个)”
2013-10-19 11:00阅读:
| 意义 |
逻辑形式 |
|
| 或者选甲,或者选乙 |
否定任意一个,可以肯定另一个 |
—甲→乙,—乙→甲 |
| 甲乙至少选一个 甲乙不能同时落选 |
否定任意一个,可以肯定另一个 |
—甲→乙,—乙→甲 |
| 甲乙至多选一个 甲乙不能同时选上 |
肯定任意一个,可以否定另一个 |
甲→—乙,乙→—甲 |
| 要么选甲,要么选乙 |
肯定一个来否定另一个 否定一个来肯定另一个 |
—甲→乙,—乙→甲, 甲→—乙,乙→—甲 |