disjunction. → : implication. ¬ : not. ⇔ : logically equivalence. ⇒ : logically implication. ∀ : universal quantifier. ∃ : existential quantifier.
確定! 回上一頁