CS 330: Formal Methods and Models, Section 003, Spring 2021

Introduction and Propositional Logic

Slides:

Introduction
Propositions and Equivalence Rules
Deductive Proofs

Videos:

Expression tree and truth table
Equivalences 1
Equivalences 2

Deductive proofs:
biconditional 1
implication
biconditional 2
De Morgan's Law

Back to schedule