University Discrete Math Propositional and Predicate Logic — Unit Notes
Every definition and theorem this unit expects you to know, stated once each and written to be revised from: 10 definitions and 5 theorems, 8 worked examples, 1 diagram, in 16 printable pages. This page lists what the notes cover. The notes themselves come with the University Discrete Math bundle.
Unit notes — in the bundle
Not sold separately. The practice worksheet for this unit is free, with no email and no account.
Propositional and Predicate Logic — what the notes cover
9 sections, in the order the unit is taught. Each entry below is the title of a definition or a theorem the notes state in full.
What you need
Also in this section: 1 note on method and common errors.
Propositions and logical connectives
- Definition — Proposition
- Definition — The logical connectives
Also in this section: 1 worked example, 1 note on method and common errors.
Truth tables
- Definition — Truth table of a compound proposition
- Definition — Tautology, contradiction and contingency
Also in this section: 1 worked example, 1 note on method and common errors.
Conditional statements, converse and contrapositive
- Definition — The conditional
- Theorem — Converse, inverse and contrapositive
Also in this section: 1 worked example, 1 note on method and common errors, 1 diagram.
Logical equivalences and De Morgan's laws
- Definition — Logical equivalence
- Theorem — The laws of logical equivalence
Also in this section: 1 worked example, 1 note on method and common errors.
Predicates and quantifiers
- Definition — Predicate
- Definition — The two quantifiers
Also in this section: 1 worked example, 1 note on method and common errors.
Negating quantified statements
- Theorem — Negating a quantified statement
Also in this section: 1 worked example, 1 note on method and common errors.
Nested quantifiers
- Definition — Nested quantifiers
- Theorem — Swapping two quantifiers
Also in this section: 1 worked example, 1 note on method and common errors.
Rules of inference and valid arguments
- Definition — Argument and validity
- Theorem — Rules of inference
Also in this section: 1 worked example, 1 note on method and common errors.
Where the notes are
The notes are one of the documents in the University Discrete Math Solutions Bundle, beside the unit test, the challenge problems and every worked answer key. The Propositional and Predicate Logic practice worksheet is free and stays free.
Every University Discrete Math topic — the complete Solutions Bundle
One download, one payment, the whole program. For all 9 University Discrete Math units: the worksheet, the reference notes, the challenge set, the unit test and every answer key — these notes included.
- Worked solutions, not answer lists — every step written out
- Covers the whole year's program at this level
- Less than the price of one hour of tutoring — for the entire year's solutions
Practise it, then test yourself
Notes on their own do not make anything stick. This unit has a free, printable practice worksheet, and an end-of-unit test that comes with the bundle.
Propositional and Predicate Logic practice worksheet About the Propositional and Predicate Logic unit test