Discrete Math for CS ×  OverviewModel systemsTranslatePropositional and predicate logicProof strategies and valid argumentsRecursion and InductionModular ArithmeticUse language conventions to improve argumentsMathematical definitions and notation

Propositional and predicate logic

Learning Goal

Reason about the truth or falsity of complicated statements using Boolean connectives, quantifiers, and basic operations.

Subtopics