Terminology

No	Word	Definition
1	~p	The negation of a proposition p
2	p˄q	p and q
3	p˅q	p or q
4	p→q	p implies q (if p then q)
5	p↔q	p if and only if q
6	p≡q	p is equivalent to q)
7	Ǝx	There exist x
8	?x	For all x