Class Info

  • Date: Tuesday, 9/21/21
  • Meeting Info: The class will meet live on zoom today.
  • Heads up: Your first exam will take place next week on Thursday, 9/30/21. More details will be provided prior to the exam. A review sheet can be found here.

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

Zoom recording

Class notes:

Lesson-6_-biconditionals-truth-tables-and-logical-equivalenceDownload

There is also an online lesson covering this material, which you can read/watch if you wish: Lesson 6: Biconditionals, Truth Tables, and Logical Equivalence

To-Do After Class

You have one assignment to complete.

Homework due THIS Thursday 9/23/21, 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