June 2009
Intermediate to advanced
288 pages
5h 59m
English
We use the symbol
to mean “equals by definition.”
If P and Q are propositions, so too are ¬P (read as “not P”), P
Q (“P or Q”), P
Q (“P and Q”), P
Q (“P implies Q”), and P
Q (“P is equivalent to Q”). For equivalence, ...
Read now
Unlock full access