Lesson 7. Propositional Logic

1. What are the five type of compound statements/propositions?
2. Given the conditional proposition . Write the symbolic form of the following related propositions:

• Negation
• Converse
• Inverse
• Contrapositive

1. Define a tautology, a contradiction and a contingency

Lesson 8. Predicate Logic

1. Define and give 2 examples of universal quantification
2. Define and give 2 examples of existential quantification.
3. Explain how to negate a universal and existential quantification. Give 2 examples of each.