Hi everyone! This online lesson is provided as a resource – we will also go over this material in class.

Lesson 6: Biconditionals, Truth Tables, and Logical Equivalence

**Topic**. This lesson covers:

- Sec 2.4 Biconditional Statements
- Sec 2.5 Truth tables for Statements
- 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:

**WeBWorK:**Assignment3-Sec2.1-2.6

**Lecture Notes:**

## Vocabulary

- converse
- if and only if
- logically equivalent
- contrapositive
- De Morgan’s Laws
- open sentence

## When are two statements “the same”?

### Introduction

A key idea in high school algebra is considering “when are two expressions the same” – for example, we learn that:

One of the big ideas in algebra is that there are rules for determining when two expressions are equal (for example, it is the rule called “the distributive property” which shows that the expression on the left is equal to the expression on the right ).

Today we will consider a similar question in Logic – when are two statements “the same”? (Instead of saying they are “equal”, we call them “logically equivalent” – but our real goal is to understand when two statements *mean the same thing*). We will also learn some of the rules to determine when when statements are logically equivalent (for example, De Morgan’s Laws).

#### Definitions and Theorems

- The statement is called the
**converse**of .*NOTE: A conditional statement and its converse express entirely different things!* - means . It is read “ if and only if ”.
- List of alternative phrases, all of which mean :
- if and only if
- is a necessary and sufficient condition for .
- For is it necessary and sufficient that .
- If , then , and conversely.

- Two statements are
**logically equivalent**if their truth values match up line-for-line in a truth table. In symbols, we express this using the equals sign. - RULE: We are allowed to replace a statement with a logically equivalent statement
- The
**contrapositive**of is . - A sentence whose truth depends on the value of one or more variables is called an
**open sentence**. An**open sentence**is not a statement.

### Comparing the conditional and its converse

**Definition.** If is a conditional statement, then its *converse* is the statement .

**Example 1:** Do and mean the same thing? *Create truth tables for both expressions. Do they agree everywhere (that is, do they have the same truth value when starting with the same P and Q)?*

However, it is *sometimes* the case that and are both true. For example:

( is even) ( is divisible by ), and

( is divisible by ) ( is even)

For this particular and , we have both and , so we have . We have a shorthand notation for this situation, called the **biconditional**:

**Definition**. The **biconditional** means .

**Example 2**. Find the truth table for .*Observe the truth values for compared with the truth values of the original and *. Any conclusions?

List of alternative phrases, all of which mean :

- if and only if
- is a necessary and sufficient condition for .
- For is it necessary and sufficient that .
- If , then , and conversely.

*VIDEO: Biconditional*

### Logical Equivalence

**Definition. **Two statements are **logically equivalent** if their truth values match up line-for-line in a truth table. In symbols, we express this using the equals sign.

**Example 3**: Is logically equivalent to ?

*VIDEO: Logical Equivalence *

The above example shows that is logically equivalent to . This means we can write an equals sign in between them:

and we can always substitute/replace one of these expressions with the other. This is the first of many rules, or logical equivalences, we will discover – the rest of the lesson is about three more important logical equivalences.

### Contrapositive

We learned above that the conditional is not equivalent to the converse . However, the conditional is equivalent to another expression in which the positions of and are reversed.

**Example 4:** Which of the following is logically equivalent to ?

- (the converse)
- (the contrapositive)

*VIDEO: Contrapositive*

### De Morgan’s Laws

**Example 5**: Use truth tables to verify the following rules (called De Morgan’s Laws).

#### Exit Question

We often think of De Morgan’s Laws as a way of distributing a negation across a conjunction or disjunction . Describe this in your own words by completing the sentence “When we distribute a negation across a conjunction, , we must…

#### Answer

Answers may vary – but one such answer might be:

“…we must apply the negation to both and , and flip the conjunction into a disjunction “.

Now try the same challenge for the second De Morgan’s Law!

## Leave a Reply