Propositional Logic

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

Slides on propositional logic

Slides

Applications and Logical Equivalences

Slides on applications and logical equivalences

Slides

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

Section 1.1: Screencast

Screencast of Rosen section 1.1.

Screencast 14 min

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

Module: Propositional Logic

Learning Outcomes

Use propositional logic to solve problems.

Readings

Rosen Sections 1.1-1.3

Propositional Logic

Applications and Logical Equivalences

Propositional logic, Part 1

Propositional logic, Part 2

Propositional logic, Part 3

Section 1.1: Screencast

Introduction to logic

Truth tables

Truth table proofs

Experiential Learning

Rosen Sections 1.1-1.3

A01: Homework 1

Q01: Quiz 1

Propositional logic

Propositional logic

Propositional logic applications

Propositional logic applications

Propositional equivalences

Propositional equivalences