🚧邏輯
╱🚧 under construction
數學 ⟩ 邏輯
🚧
命題╱statement：可斷定為「真」或「假」的敘述
述詞╱predicate：含有「變數」的命題
參考：KaTeX ⟩ Logic and Set Theory
∀ \forall
∁ \complement
∴ \therefore
∅ \emptyset
⊂ \subset
∵ \because
∅ \empty
∃ \exist
⊃ \supset
↦ \mapsto
∅\varnothing
∄ \nexists
∣∣ \mid
→ \to
⟹ \implies
∈ \in
∧ \land
← \gets
⟸ \impliedby
∨ \lor
↔ \leftrightarrow
⟺ \iff
∉ \notin
∋ \ni
∌ \notni
¬ \neg or \lnot
Direct Input: ∀∴∁∵∃∣∈∉∋⊂⊃∧∨↦→←↔¬∀∴∁∵∃∣∈∈/∋⊂⊃∧∨↦→←↔¬ ℂ ℍ ℕ ℙ ℚ ℝ
Last updated