Relation    Written as:     Symbolized as:    Read as:    Symbol is:   Components are:
Conjunction
P and Q
or
Both P and Q.
  P · Q
"P dot Q."
"dot"
"conjuncts"

Disjunction

P or Q.
or
Either P or Q.
 P v  Q
"P wedge Q."
"wedge"
"disjuncts

   Material     Implication

If P, then Q.
or
P implies Q.
P => Q
"P implies Q."
"horseshoe"
P is the "antecedent"

Q is the "consequent"

Material Equivalence
P if and only if Q
or
P is necessary and sufficient for Q.
P <=> Q
"P if and only if Q."
"equivalence"
-
Negation
It is false that P.
or
P is not the case.
~P
"Not-P"
"tilde"
               -