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 truthfunctional 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. 



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 
Home