🚧邏輯

╱🚧 under construction

數學 ⟩ 邏輯

🚧

🔴 主題

• 命題╱statement：可斷定為「真」或「假」的敘述

• 述詞╱predicate：含有「變數」的命題

🔯 符號

參考：KaTeX ⟩ Logic and Set Theory

∀ \forall	∁ \complement	∴ \therefore	$\emptyset$ \emptyset
	⊂ \subset	∵ \because	$\empty$ \empty
∃ \exist	⊃ \supset	↦ \mapsto	$\varnothing$\varnothing
∄ \nexists	∣∣ \mid	→ \to	⟹   \implies
∈ \in	∧ \land	← \gets	⟸   \impliedby
	∨ \lor	↔ \leftrightarrow	⟺   \iff
∉ \notin	∋ \ni	∌ \notni	¬ \neg or \lnot

Direct Input: ∀∴∁∵∃∣∈∉∋⊂⊃∧∨↦→←↔¬∀∴∁∵∃∣∈∈/∋⊂⊃∧∨↦→←↔¬ ℂ ℍ ℕ ℙ ℚ ℝ

📗 參考

• Brilliant ⟩ Predicate Logic

• wiki ⟩ First-order logic (predicate logic)

• 中研院 ⟩ Predicate Logic (PDF)