What does it mean for two statements to be logically equivalent?
State De Morgan's first law for negating a conjunction.
Hint: Break the 'and,' flip to 'or,' and negate each part.
State De Morgan's second law for negating a disjunction.
What is the contrapositive of 'If P then Q' (P -> Q)?
What is the converse of P -> Q, and is it logically equivalent to the original?
What is a tautology?
What is a contradiction (self-contradiction)?
Give an example of a tautology using proposition P.
What is material equivalence, and how is a conditional rewritten using disjunction?
What is double negation, and what does it produce?
What is the inverse of P -> Q, and is it equivalent to the original?