Lesson 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."
both p and q
not p or q
neither p or q
if p then q
if and only if
either p or q but not both
XOR is a cirlce with a plus sign inside it
v bar is a v with a horizontal bar directly underneath it