角度

多重假言

（1）如果A，那么B，除非C。
符号化为：┐C→ (A→B)。
等价于：┐C→ (┐A∨B)。
等价于：C∨(┐A∨B)。
等价于：C∨┐A∨B。
等价于：┐(C∨┐A）→B。
等价于：┐C∧A→B。
（2）只有A，才B，否则C。
符号化为：┐(B→A)→C。
等价于：┐(┐B∨A)→C。
等价于：B∧┐A→C。

“假言中暗含事实”式条件

∩ ∪ ∧ ∨ ⊃ ⊂ ∅ ⟺ ┐ ∀ ∞ σ ∈ ± ∓ ↔