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