11.10 Logic and Set Theory


Some of the basic symbols used in logic and set theory were covered in an earlier lesson. However, there are multiple symbols that often have the same meaning used in more advanced mathematics topics. Such symbols will be covered in this section.  However, many of the symbols will not be explained in as much detail since the basic use of these symbols has previously been explained.

In logic and set theory the phrases such as "not p" are frequently used. In previous sections the notation used was tilde p or ~p.

Listed below are additional notations for "not p."

tilde p

hyphen p

p with a bar directly over it

p apostrophe

both p and q

p and q

p dot q

p ampersand q

not p or q

p vertical bar q

p slash q

neither p or q

p arrow pointing down q

p capital delta q

if p then q

p therefore q

p less than q

p subset q

if and only if

left and right arrow

equivalent symbol


abbreviation i-f-f

either p or q but not both

XOR is a cirlce with a plus sign inside it

p XOR q

v bar is a v with a horizontal bar directly underneath it

p vbar q

previous - next (exercises)