• Unit 3: Mathematical Logic

    In this unit, we will discuss basic concepts that are part of the foundation of mathematical logic. As you seek to fully understand these concepts, you must be able to recognize valid logical arguments. Although these arguments will usually be applied to mathematics, they are the same techniques used by lawyers in the courtroom, physicians examining a patient, or engineers trying to solve a difficult problem. The circuits of computers are designed using the same algebra of propositions that we will discuss in this unit. Often, embedded computers (that is, the data processing units within a larger machine) are programmed by using binary, gate-level logic, machine code, or ladder logic. These rely on the basic concepts we will discuss here.

    Completing this unit should take you approximately 5 hours.

    • 3.1: Propositions and Logical Operators

    • 3.2: Truth Tables and Propositions Generated by a Set

    • 3.3: Equivalence and Implication

    • 3.4: The Laws of Logic

    • Unit 3 Assessment

      • Receive a grade