November 2014
Intermediate to advanced
326 pages
7h 46m
English
The following are symbols used in the book that may not be familiar to a nonmathematical reader and that are not explained in the main text. (Other new symbols are explained when they are introduced.) We’ll list the symbols first, then give a few examples of their use.
¬p
Logical negation. Read “not p.” If p is true, then ¬p is false, and vice versa.
p ∨ q
Logical disjunction. Read “p or q.” The statement p ∨ q is true if either p is true, or q is true, or they are both true.
p ∧ q
Logical conjunction. Read “p and q.” The statement p ∧ q is true only when both p and q are true.
p
q
Logical implication. Read “p implies q” or ...
Read now
Unlock full access