What is a proposition in logic?
What is a truth table?
What is conjunction in propositional logic, and what symbol represents it?
What is disjunction in propositional logic?
What is negation, and what is its truth table?
What is a conditional statement, and when is it false?
Hint: A promise is only broken when you said you would (P true) but didn't (Q false).
What is a biconditional statement?
How many rows does a truth table have for a compound statement with three variables (P, Q, R)?
Hint: Each variable can be true or false, so you multiply 2 x 2 x 2.
In the conditional P -> Q, what are P and Q called?
What is exclusive disjunction, and how does it differ from inclusive disjunction?
What truth values make the conjunction P . Q true?