To translate into symbolic notation:
p: Alice is tall
q: Bob is short
p: All whales are mammals
q: Willy is whale
r: Willy is a mammal
If all whales are mammals and Willy is a whale, then Willy is a mammal.
Not p
p and q
p or q
If p then q
p if q
p only if q
p unless q
p if and only if q
~p
p & q
p V q
p -> q
q -> p
p -> q
~q -> p
p <-> q
p: Alice is tall
q: Bob is short
Key Concepts