# 11.10 Logic and Set Theory

## Explanation

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

⠸⠇

tilde

⠈⠱

abbreviation i-f-f

⠊⠋⠋

### either p or q but not both

p XOR q

⠏⠫⠉⠸⠫⠬⠻⠟

p vbar q

⠏⠈⠬⠱⠟