Logic Symbols

Logic Symbols are part of a modern logical system for expressing rational thought and common patterns of reasoning. These symbols are used to clearly represent often times highly complex logical relationships between statements. There are five special symbols that are employed as statement connectives or operators; these are the logical symbols. The five logical symbols are all truth-functional connectives and will be discussed in more detail below. The symbols are ~ (also symbolized as �), & (also symbolized as or ^), v, (also symbolized as ⊃), and <-> (also symbolized as ). Logical symbols are used in a language that has several parts. Propositions are the statements that can be either true or false. These individual statements are usually represented by capital letters of the alphabet and are called statement constants. They are normal declarative sentences but are represented by statement constants for convenience. The statement connectives are the logical symbols whose function is to form new compound statements. These connectives can be reapplied to the resulting compound statements to form new compounds of compounds.
Symbol
Symbol Name
Meaning/Definition
Example
1) ⋅ And And a ⋅ b
2) ^ Caret/Circumflex And a ^ b
3) & Ampersand And p & q
4) + Plus Or o + m
5) ⋁ Reversed caret Or p ⋁ q
6) ∣ Vertical line Or x ∣ y
7) ' Single quote Not negation p'
8) - Bar Not negation p-
9) ¬ Not Not negation ¬ o
10) ! Exclamation mark Not negation !x
11) ⊕ Circled plus/ oplus Exclusive or - xor p ⊕ r
12) ˜ Tilde Negation ˜x
13) ⇒ Implies
14) ⇔ If and only if
15) ∀ For all
16) ∃ There exists
17) ∄ There does not exists
18) ∴ Therefore
19) ∵ Because/ Since


Math symbols

Home