Your IP:
Stone Symbols -- Version 0.0.1 -- Updated 01/14/17 Back to Snerx -- Contact us on our official Discord. ====================================================================================== :: Basic Sentential Operators :: ¬ 'not' ∧ 'and' ∨ 'or' (inclusive) ⊕ 'xor' (exclusive) ⊃ 'if/then' ≡ 'iff', 'equivalence' ∴ 'therefore' :: Additional Sentential Operators :: | 'nand' ↓ 'nor' :: Quantifiers and Modal Operators :: ∀ 'all' ∃ 'there exists' ◊ 'possibly' □ 'necessarily' :: Truth Functions and Relations :: ⊤ 'tautology' ⊥ 'contradicts' ⊢ 'proves' ⊨ 'implies' ⊩ 'makes'