Unicode Symbols Useful for Logic/Semantics. Sentential Logic: Negation: ¬ or ~, Falsum is ⊥ Disjunction: ∨ Conjunction: ∧ or & Material conditional: ...
確定! 回上一頁