Skip to main content
Mathematics LibreTexts

13.1: Module 4 Overview

  • Page ID
    51651
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    What You’ll Learn To Do: Identify, make, and interpret logic.

    Learning Objectives

    • Identify, make, and interpret logical statements in English and symbolic notation.
    • Express and interpret connectives (including negation) in English and symbolic notation.
    • Express and interpret logical quantifiers, and their negations, in English.
    • Express and interpret the propositions of conditional, converse, inverse, and contrapositive in English and symbolic notation.
    • Construct and interpret truth tables to evaluate the truth value of a compound statement, determine whether or not two statements are logically equivalent, and determine the validity of an argument.
    • Recognize when logic is applicable to real-life situations, solve real-life problems, and communicate real-life problems and solutions to others.

    Learning Activities

    Finger hovering over digital icons on a screenThe learning activities for this module include:

    Reading Assignments and Videos

    • Read: Logic
    • Read: Truth Tables and Analyzing Arguments: Examples
    • Watch: Truth Tables: Conjunction and Disjunction
    • Watch: Truth Tables: Implication
    • Watch: Analyzing Arguments with Truth Tables
    • Read: Negating “all,” “some,” or “no” statements

    Homework Assignments

    • Submit: Logic Homework Assignment #1 (16 points)
    • Submit: Logic Homework Assignment #2 (14 points)
    • Discuss: Truth Table Practice (10 points)
    • Discuss: Logic Application (20 points)
    • Complete: Exam 2
    CC licensed content, Original
    Public domain content

    13.1: Module 4 Overview is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?