Equivalence

equivalentExample 1:

Given: ~pconditional_transp.gifq If I don’t study, then I fail.
por_0.gifq I study or I fail.
Problem: Determine the truth values of the given statements.

Solution:

p q ~p ~pconditional_transp.gifq por_0.gifq
T T F

T

T

T F F

T

T
F T T

T

T
F F T

F

F

In the truth table above, the last two columns have the same exact truth values!  Therefore, the statement ~pconditional_transp.gifq is logically equivalent to the statement por_0.gifq.

Definition: When two statements have the same exact truth values, they are said to be logically equivalent.

Example 2: Construct a truth table for each statement below. Then determine which two are logically equivalent.

1. ~qconditional_transp.gifp

2. ~(pconditional_transp.gifq)

3. por_0.gifq

p q ~q ~qconditional_transp.gifp
T T F  T
T F T  T
F T F  T
F F T  F
p q pconditional_transp.gifq ~(pconditional_transp.gifq)
T T T F
T F F T
F T T F
F F T F
p q por_0.gifq
T T

T

T F T
F T T
F F F

The truth tables above show that ~qconditional_transp.gifp is logically equivalent to por_0.gifq, since these statements have the same exact truth values. In Example 3, we will place the truth values of these two equivalent statements side by side in the same truth table. We will then examine the biconditional of these statements.

Example 3: Construct a truth table for (~qconditional_transp.gifp)biconditional_transp_0.gif(por_0.gifq)

p q ~q ~qconditional_transp.gifp por_0.gifq (~qconditional_transp.gifp)biconditional_transp_0.gif(por_0.gifq)
T T F  T

T

T
T F T  T T T
F T F  T T T
F F T  F F T

The biconditional (~qconditional_transp.gifp)biconditional_transp_0.gif( por_0.gifq) is a tautology. This is no coincidence:  It turns out that any two equivalent statements will yield a tautology when placed in the biconditional.

Definition: The biconditional of two equivalent statements is a tautology.

In the next example, we will place the two equivalent statements from Example 1 in the biconditional.

Example 4:

Given: ~pconditional_transp.gifq If I don’t study, then I fail.
por_0.gifq I study or I fail.
Problem: Is (~pconditional_transp.gifq)biconditional_transp_0.gif(por_0.gifq) a tautology?

Solution:

p q ~p ~pconditional_transp.gifq por_0.gifq (~pconditional_transp.gifq)biconditional_transp_0.gif(por_0.gifq)
T T F

T

T

T
T F F

T

T T
F T T

T

T T
F F T

F

F T

The truth values of biconditional (~pconditional_transp.gifq)biconditional_transp_0.gif(por_0.gifq) are {T, T, T, T}. Therefore, (~pconditional_transp.gifq)biconditional_transp_0.gif(por_0.gifq) is a tautology. Once again, we see that the biconditional of two equivalent statements is a tautology.


equivalentSummary:

When two statements have the same exact truth values, they are said to be logically equivalent. The biconditional of two equivalent statements is a tautology.


Exercises

Directions: Read each question below. Create a truth table on paper to help you answer each question. Select your answer by clicking on its button. Feedback to your answer is provided in the RESULTS BOX. If you make a mistake, choose a different button.


1.   What are the truth values of the following statement? 
(pand_0.gif~q)conditional_transp.gif~p
 
{T, T, T, F}
{T, F, T, T}
{F, T, T, T}
None of the above.

RESULTS BOX:
 

2.   Which of the following statements is logically equivalent to the statement given in Exercise 1?
 
qconditional_transp.gifp
~pconditional_transp.gif(pand_0.gif~q)
pconditional_transp.gifq
None of the above.

RESULTS BOX:
 

3.   Which of the following statements is logically equivalent to qconditional_transp.gif(pq)?
 
qconditional_transp.gifp
~pconditional_transp.gif(pand_0.gif~q)
pconditional_transp.gifq
None of the above.

RESULTS BOX:
 

4.   Which of the following statements is logically equivalent to aconditional_transp.gif(aor_0.gifb)?
 
aconditional_transp.gifb
(aor_0.gifb)conditional_transp.gifb
(aand_0.gifb)conditional_transp.gifb
None of the above.

RESULTS BOX:
 

5.  
Given: Statement x is logically equivalent to statement y.
Problem: Which of the following is true?
 
x if and only if y
xbiconditional_transp_0.gify is a tautology
x iff y
All of the above.

RESULTS BOX: