Class Info

  • Date: Tuesday, 9/15/20
  • Meeting Info: The class will meet asynchronously today. Read & watch the Lesson (link under Activities below) and complete the “To Do After Class” assignments. Feel free to leave a comment on this post if you have questions!

To-Do Before Class

  • N/A

Topics

  1. Sec 2.4 Biconditional Statements
  2. Sec 2.5 Truth tables for Statements
  3. Sec 2.6 Logical equivalence

Objectives

  • Identify instances of biconditional statements in both natural language and first-order logic, and translate between them.
  • Construct truth tables for statements.
  • Determine logical equivalence of statements using truth tables and logical rules.

Activities

Read/watch the online lesson: Lesson 6: Biconditionals, Truth Tables, and Logical Equivalence

To-Do After Class

You have one assignment to complete: a WeBWorK assignment to be completed on the WeBWorK system (the assignment covers materials from last Thursday as well as today, and is due this Thursday).

Homework due THIS Thursday 9/17, 4pm: WeBWorK Assignment3-Sec2.1-2.6
NOTE: This homework set was assigned last week and covers materials from two days of class.

Print this page