Near Matches
Ignore Exact
Everything
2
Logic symbols
(
idea
)
by
jesler
Tue Aug 21 2001 at 15:43:25
More formally, you might see the following. HTML symbol names are in parentheses.
¬
NOT
(¬)
∨
OR
(∨)
∧
AND
(∧)
≡
equivalent
(≡)
→ implies (→)
↔
if and only if
(↔)

NAND
↓
NOR
(↓)
⊥
falsum
, 0 (⊥)
falsum
if and only if
Rules of Inference
Logical Equivalences
propositional logic
International Phonetic Alphabet
Disjunctive Syllogism
Modus Tollens
implication
NAND
nor
Log in
or
register
to write something here or to contact authors.