離散數學符號大全

├ 判定符（公式在 L 中可證） ╞ 知足符（公式在 E上有效，公式在 E上可知足） ┐命題的 「非」運算 ∧ 命題的 「合取 」（「與」）運算 ∨ 命題的 「析取 」（「或」，「可兼或 」）運算 → 命題的 「條件 」運算 A<=>B 命題 A 與 B 等價關係 A=>B 命題 A 與 B 的蘊涵關係 A* 公式 A 的對偶公式 wff 合式公式 iff 當且僅當 ↑ 命題的 「與非 」 運算（

>>阅读原文<<