Module: Propositional Logic

Assertions and propositions, connectives, tautologies, contradictions, implications, equivalences, proofs.

Learning Outcomes

Use propositional logic to solve problems.

Use truth tables and logical operators to solve problems.
Translate between narrative arguments and propositional logic.
Prove logical equivalency, contingency, tautology, and contradictions.

Readings

Rosen Sections 1.1-1.3

Propositional logic, applications of propositional logic, propositional equivalences

Textbook 35 pages

Propositional logic, Part 1

Formal logic, assertions and propositions, logical connectives, translating English into propositional logic.

Lecture notes

Propositional logic, Part 2

Application of propositional logic to logic design, tautologies, contradictions, contingencies, implications, equivalences.

Lecture notes

Propositional logic, Part 3

Proof techniques and example proofs.

Lecture notes

Introduction to logic

Screencast on logical reasoning (Trevor)

Screencast 12 minutes TrevTutor

Truth tables

Screencast on truth tables (Trevor)

Screencast 14 minutes TrevTutor

Truth table proofs

Screencast on truth table proofs (Trevor)

Screencast 8 minutes TrevTutor

Experiential Learning

Propositional logic

Write propositional logic expressions (Rosen Section 1.1)

Problems

Propositional logic

Write propositional logic expressions (Rosen Section 1.1)

Solutions

Propositional logic applications

Express system specifications using propositions (Rosen Section 1.2)

Problems

Propositional logic applications

Express system specifications using propositions (Rosen Section 1.2)

Solutions

Propositional equivalences

Use DeMorgan’s laws, determine tautologies (Rosen Section 1.3)

Problems

Propositional equivalences

Use DeMorgan’s laws, determine tautologies (Rosen Section 1.3)

Solutions