Tag: converse

Topic. This lesson covers:

1. Sec 2.10 Negating Statements
2. Sec 3.1 Counting Lists
3. Sec 3.2 Factorials

Learning Outcomes.

• Apply rules for negating various types of statements, both in formal logic and natural language
• Count collections of lists with various properties

Homework. There is one WeBWorK assignment on today’s material (Note: some of the material in this assignment will be covered in the next lesson):

1. WeBWorK: WeBWorK Assignment5-Sec3.1-3.4

Lecture Notes:

Topic. This lesson covers:

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

Learning Outcomes.

• 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.

Homework. There is one WeBWorK assignment on today’s material:

1. WeBWorK: Assignment3-Sec2.1-2.6

Lecture Notes: