Chapter 7 Logic
7.4 Truth Tables for the Conditional and Biconditional
Learning Objectives
By the end of this section, you will be able to:
- Use and apply the conditional to construct a truth table
- Use and apply the biconditional to construct a truth table
- Use truth tables to determine the validity of conditional and biconditional statements
Computer languages use if-then or if-then-else statements as decision statements:
- If the hypothesis is true, then do something.
- Or, if the hypothesis is true, then do something; else do something else.
For example, the following representation of computer code creates an if-then-else decision statement:
Check value of variable [latex]i[/latex].
If [latex]i \lt 1[/latex], then print “Hello, World!” else print “Goodbye.”
In this imaginary program, the if-then statement evaluates and acts on the value of the variable [latex]i[/latex]. For instance, if [latex]i=0[/latex], the program would consider the statement [latex]i \lt 1[/latex] as true and “Hello, World!” would appear on the computer screen. If instead [latex]i=3[/latex], the program would consider the statement [latex]i \lt 1[/latex] as false (because 3 is greater than 1) and print “Goodbye” on the screen.
In this section, we will apply similar reasoning without the use of computer programs.
Use and Apply the Conditional to Construct a Truth Table
A conditional is a logical statement of the form if [latex]p[/latex], then [latex]q[/latex]. The conditional statement in logic is a promise or contract. The only time the conditional, [latex]p \rightarrow q[/latex], is false is when the contract or promise is broken.
For example, consider the following scenario. A child’s parent says, “If you do your homework, then you can play your video games.” The child really wants to play their video games, so they get started right away, finish within an hour, and then show their parent the completed homework. The parent thanks the child for doing a great job on their homework and allows them to play video games. Both the parent and child are happy. The contract was satisfied; true implies true is true.
Now suppose the child does not start their homework right away and then struggles to complete it. They eventually finish and show it to their parent. The parent again thanks the child for completing their homework but then informs the child that it is too late in the evening to play video games, and that they must begin to get ready for bed. Now the child is really upset. They held up their part of the contract, but they did not receive the promised reward. The contract was broken; true implies false is false.
So what happens if the child does not do their homework? In this case, the hypothesis is false. No contract has been entered into; therefore, no contract can be broken. If the conclusion is false, the child does not get to play video games and might not be happy, but this outcome is expected because the child did not complete their end of the bargain. They did not complete their homework. False implies false is true. The last option is not as intuitive. If the parent lets the child play video games even if they did not do their homework, neither parent nor child is going to be upset. False implies true is true.
The truth table for the conditional statement below summarizes these results.
[latex]\begin{array} {|c|c|c|} \hline p & q & p \rightarrow q \\ \hline \text{T} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \textbf{T} \\ \hline \end{array}[/latex]
Video for Extra Help
Example 1
Assume both of the following statements are true: [latex]p[/latex]: My sibling washed the dishes, and [latex]q[/latex]: My parents paid them $5.00. Create a truth table to determine the truth value of each of the following conditional statements.
a) [latex]p \rightarrow q[/latex]
Because [latex]p[/latex] is true and [latex]q[/latex] is true, the statement [latex]p \rightarrow q[/latex] is “If my sibling washed the dishes, then my parents paid them $5.00.” My sibling did wash the dishes, since p is true, and the parents did pay the sibling $5.00, so the contract was entered into and completed. The conditional statement is true, as indicated by the truth table representing this case:
T [latex]\rightarrow[/latex] T = T.
[latex]\begin{array} {|c|c|c|} \hline p & q & p \rightarrow q \\ \hline \text{T} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
b) [latex]p \rightarrow \sim{q}[/latex]
[latex]p \rightarrow \sim{q}[/latex] translates to the statement “If my sibling washed the dishes, then my parents did not pay them $5.00.” [latex]p[/latex] is true, but [latex]\sim{q}[/latex] is false. The sibling completed their end of the contract, but they did not get paid. The contract was broken by the parents. The conditional statement is false, as indicated by the truth table representing this case:
T [latex]\rightarrow[/latex] F = F.
[latex]\begin{array} {|c|c|c|c|} \hline p & q & \sim{q} & p \rightarrow \sim{q} \\ \hline \text{T} & \text{T} & \text{F} & \textbf{F} \\ \hline \end{array}[/latex]
c) [latex]\sim{p} \rightarrow q[/latex]
[latex]\sim{p} \rightarrow q[/latex] translates to the statement “If my sibling did not wash the dishes, then my parents paid them $5.00.” [latex]\sim{p}[/latex] is false, but [latex]q[/latex] is true. The sibling did not do the dishes. No contract was entered into, so it could not be broken. The parents decided to pay them $5.00 anyway. The conditional statement is true, as indicated by the truth table representing this case: F [latex]\rightarrow[/latex] T = T.
[latex]\begin{array} {|c|c|c|c|} \hline p & q & \sim{p} & \sim{p} \rightarrow q \\ \hline \text{T} & \text{T} & \text{F} & \textbf{T} \\ \hline \end{array}[/latex]
Exercise 1
Assume [latex]p[/latex] is true and [latex]q[/latex] is false. [latex]p[/latex]: Kevin vacuumed the living room, and [latex]q[/latex]: Kevin’s parents did not let him borrow the car. Create a truth table to determine the truth value of each of the following conditional statements.
a) [latex]p \rightarrow q[/latex]
b) [latex]p \rightarrow \sim{q}[/latex]
c) [latex]\sim{p} \rightarrow q[/latex]
Solution
a) False
[latex]\begin{array} {|c|c|c|} \hline p & q & p \rightarrow q \\ \hline \text{T} & \text{F} & \textbf{F} \\ \hline \end{array}[/latex]
b) True
[latex]\begin{array} {|c|c|c|c|} \hline p & q & \sim{q} & p \rightarrow \sim{q} \\ \hline \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
c) True
[latex]\begin{array} {|c|c|c|c|} \hline p & q & \sim{p} & \sim{p} \rightarrow q \\ \hline \text{T} & \text{F} & \text{F} & \textbf{T} \\ \hline \end{array}[/latex]
Example 2
Construct a truth table to analyze all possible outcomes for each of the following statements, then determine whether they are valid.
a) [latex]p \land q \rightarrow \sim{q}[/latex]
Applying the dominance of connectives, the statement [latex]p \land q \rightarrow \sim{q}[/latex] is equivalent to [latex](p \land q) \rightarrow (\sim{q})[/latex]. So the columns of the truth table will include [latex]p[/latex], [latex]q[/latex], [latex]p \land q[/latex], [latex]\sim{q}[/latex], and [latex]p \land q \rightarrow \sim{q}[/latex]. Because there are only two basic propositions, p and q, the table will have [latex]2(2)=4[/latex] rows of truth values to account for all the possible outcomes. The statement is not valid because the last column is not all true.
[latex]\begin{array} {|c|c|c|c|c|} \hline p & q & p \land q & \sim{q} & p \land q \rightarrow \sim{q} \\ \hline \text{T} & \text{T} & \text{T} & \text{F} & \textbf{F} \\ \hline \text{T} & \text{F} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{F} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
b) [latex]p \rightarrow \sim{p} \lor q[/latex]
Applying the dominance of connectives, the statement [latex]p \rightarrow \sim{p} \lor q[/latex] is equivalent to [latex](p) \rightarrow ((\sim{p}) \lor q)[/latex]. So the columns of the truth table will include [latex]p[/latex], [latex]q[/latex], [latex]\sim{p}[/latex], [latex]\sim{p} \lor q[/latex], and [latex]p \rightarrow (\sim{p} \lor q)[/latex]. Because there are only two basic propositions, [latex]p[/latex] and [latex]q[/latex], the table will have [latex]2(2)=4[/latex] rows of truth values to account for all the possible outcomes. The statement is not valid because the last column is not all true.
[latex]\begin{array} {|c|c|c|c|c|} \hline p & q & \sim{p} & \sim{p} \lor q & p \rightarrow (\sim{p} \lor q) \\ \hline \text{T} & \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{F} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{T} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
Exercise 2
Construct a truth table to analyze all possible outcomes for each of the following statements, then determine whether they are valid.
a) [latex]q \rightarrow \sim{p} \lor q[/latex]
b) [latex]\sim{p} \rightarrow q \land p[/latex]
Solution
a) Valid
[latex]\begin{array} {|c|c|c|c|c|} \hline p & q & \sim{p} & \sim{p} \lor q & q \rightarrow (\sim{p} \lor q) \\ \hline \text{T} & \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{T} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
b) Not Valid
[latex]\begin{array} {|c|c|c|c|c|} \hline p & q & \sim{p} & q \land p & \sim{p} \rightarrow (q \land p) \\ \hline \text{T} & \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{T} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{F} & \text{T} & \text{F} & \textbf{F} \\ \hline \end{array}[/latex]
Use and Apply the Biconditional to Construct a Truth Table
The biconditional, [latex]p \leftrightarrow q[/latex], is a two-way contract; it is equivalent to the statement [latex]p \rightarrow q[/latex] [latex]AND[/latex] [latex]q \rightarrow p[/latex]. A biconditional statement, [latex]p \leftrightarrow q[/latex], is true whenever the truth value of the hypothesis matches the truth value of the conclusion; otherwise, it is false.
The truth table for the biconditional is summarized below.
[latex]\begin{array} {|c|c|c|} \hline p & q & p \leftrightarrow q \\ \hline \text{T} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{T} & \textbf{F} \\ \hline \text{F} & \text{F} & \textbf{T} \\ \hline \end{array}[/latex]
Video for Extra Help
Example 3
Assume both of the following statements are true: [latex]p[/latex]: The plumber fixed the leak, and [latex]q[/latex]: The homeowner paid the plumber $150.00. Create a truth table to determine the truth value of each of the following biconditional statements.
a) [latex]p \leftrightarrow q[/latex]
Because [latex]p[/latex] is true and [latex]q[/latex] is true, the statement [latex]p \leftrightarrow q[/latex] is “The plumber fixed the leak if and only if the homeowner paid them $150.00.” Because both [latex]p[/latex] and [latex]q[/latex] are true, the leak was fixed and the plumber was paid, meaning both parties satisfied their end of the bargain. The biconditional statement is true, as indicated by the truth table representing this case: T [latex]\leftrightarrow[/latex] T = T.
[latex]\begin{array} {|c|c|c|} \hline p & q & p \leftrightarrow q \\ \hline \text{T} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
b) [latex]p \leftrightarrow \sim{q}[/latex]
[latex]p \leftrightarrow \sim{q}[/latex] translates to the statement “The plumber fixed the leak if and only if the homeowner did not pay them $150.” If the plumber fixed the leak and the homeowner did not pay them, the homeowner will have broken their end of the contract. The biconditional statement is false, as indicated by the truth table representing this case:
T [latex]\leftrightarrow[/latex] F = F.
[latex]\begin{array} {|c|c|c|c|} \hline p & q & \sim{q} & p \leftrightarrow \sim{q} \\ \hline \text{T} & \text{T} & \text{F} & \textbf{F} \\ \hline \end{array}[/latex]
c) [latex]\sim{p} \leftrightarrow \sim{q}[/latex]
[latex]\sim{p} \leftrightarrow \sim{q}[/latex] translates to the statement “The plumber did not fix the leak if and only if the homeowner did not pay them $150.” In this case, neither party—the plumber nor the homeowner—entered into the contract. The leak was not repaired, and the plumber was not paid. No agreement was broken. The biconditional statement is true, as indicated by the truth table representing this case: F [latex]\leftrightarrow[/latex] F = T.
[latex]\begin{array} {|c|c|c|c|c|} \hline p & q & \sim{p} & \sim{q} & \sim{p} \leftrightarrow \sim{q} \\ \hline \text{T} & \text{T} & \text{F} & \text{F} & \textbf{T} \\ \hline \end{array}[/latex]
Exercise 3
Assume [latex]p[/latex] is true and [latex]q[/latex] is false: [latex]p[/latex]: The student aced the exam, and [latex]q[/latex]: The professor canceled office hours. Create a truth table to determine the truth value of each of the following biconditional statements.
a) [latex]p \leftrightarrow q[/latex]
b) [latex]p \leftrightarrow \sim{q}[/latex]
c) [latex]\sim{p} \leftrightarrow q[/latex]
Solution
a) False
[latex]\begin{array} {|c|c|c|} \hline p & q & p \leftrightarrow q \\ \hline \text{T} & \text{F} & \textbf{F} \\ \hline \end{array}[/latex]
b) True
[latex]\begin{array} {|c|c|c|c|} \hline p & q & \sim{q} & p \leftrightarrow \sim{q} \\ \hline \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
c) True
[latex]\begin{array} {|c|c|c|c|} \hline p & q & \sim{p} & \sim{p} \leftrightarrow q \\ \hline \text{T} & \text{F} & \text{F} & \textbf{T} \\ \hline \end{array}[/latex]
Video for Extra Help
Example 4
Construct a truth table to analyze all possible outcomes for each of the following statements, then determine whether they are valid.
a) [latex]p \land q \leftrightarrow p \land \sim{q}[/latex]
Applying the dominance of connectives, the statement [latex]p \land q \leftrightarrow p \land \sim{q}[/latex] is equivalent to [latex](p \land q) \leftrightarrow (p \land (\sim{q}))[/latex]. So the columns of the truth table will include [latex]p[/latex], [latex]q[/latex], [latex]p \land q[/latex], [latex]\sim{q}[/latex], [latex]p \land \sim{q}[/latex], and [latex](p \land q) \leftrightarrow (p \land \sim{q})[/latex]. Because there are only two basic propositions, p and q, the table will have [latex]2(2)=4[/latex] rows of truth values to account for all the possible outcomes. The statement is not valid because the last column is not all true.
[latex]\begin{array} {|c|c|c|c|c|c|} \hline p & q & p \land q & \sim{q} & p \land \sim{q} & (p \land q) \leftrightarrow (p \land \sim{q}) \\ \hline \text{T} & \text{T} & \text{T} & \text{F} & \text{F} & \textbf{F} \\ \hline \text{T} & \text{F} & \text{F} & \text{T} & \text{T} & \textbf{F} \\ \hline \text{F} & \text{T} & \text{F} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{F} & \text{T} & \text{F} & \textbf{T} \\ \hline \end{array}[/latex]
b) [latex]p \lor q \leftrightarrow \sim{p} \lor q[/latex]
Applying the dominance of connectives, the statement [latex]p \lor q \leftrightarrow \sim{p} \lor q[/latex] is equivalent to [latex](p \lor q) \leftrightarrow ((\sim{p}) \lor q)[/latex]. So the columns of the truth table will include [latex]p[/latex], [latex]q[/latex], [latex]p \lor q[/latex], [latex]\sim{p}[/latex], [latex]\sim{p} \lor q[/latex], and [latex](p \lor q) \leftrightarrow (\sim{p} \lor q)[/latex]. Because there are only two basic propositions, [latex]p[/latex] and [latex]q[/latex], the table will have [latex]2(2)=4[/latex] rows of truth values to account for all the possible outcomes. The statement is not valid because the last column is not all true.
[latex]\begin{array} {|c|c|c|c|c|c|} \hline p & q & p \lor q & \sim{p} & \sim{p} \lor q & (p \lor q) \leftrightarrow (\sim{p} \lor q) \\ \hline \text{T} & \text{T} & \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{T} & \text{F} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{T} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{F} & \text{T} & \text{T} & \textbf{F} \\ \hline \end{array}[/latex]
c) [latex]p \rightarrow q \leftrightarrow \sim{q} \rightarrow \sim{p}[/latex]
Applying the dominance of connectives, the statement [latex]p \rightarrow q \leftrightarrow \sim{q} \rightarrow \sim{p}[/latex] is equivalent to [latex](p \rightarrow q) \leftrightarrow ((\sim{q}) \rightarrow (\sim{p}))[/latex]. So the columns of the truth table will include [latex]p[/latex], [latex]q[/latex], [latex]p \rightarrow q[/latex], [latex]\sim{q}[/latex], [latex]\sim{p}[/latex], [latex]\sim{q} \rightarrow \sim{p}[/latex], and [latex](p \rightarrow q) \leftrightarrow (\sim{q} \rightarrow \sim{p})[/latex]. Because there are only two basic propositions, [latex]p[/latex] and [latex]q[/latex], the table will have [latex]2(2)=4[/latex] rows of truth values to account for all the possible outcomes. The statement is valid because the last column is all true.
[latex]\begin{array} {|c|c|c|c|c|c|c|} \hline p & q & p \rightarrow q & \sim{q} & \sim{p} & \sim{q} \rightarrow \sim{p} & (p \rightarrow q) \leftrightarrow (\sim{q} \rightarrow \sim{p}) \\ \hline \text{T} & \text{T} & \text{T} & \text{F} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{F} & \text{T} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{T} & \text{F} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{T} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
d) [latex]p \land q \rightarrow \sim{r} \leftrightarrow p \land q \land r[/latex]
Applying the dominance of connectives, the statement [latex]p \land q \rightarrow \sim{r} \leftrightarrow p \land q \land r[/latex] is equivalent to [latex]((p \land q) \rightarrow (\sim{r})) \leftrightarrow ((p \land q) \land r)[/latex]. So the columns of the truth table will include [latex]p[/latex], [latex]q[/latex], [latex]r[/latex], [latex]\sim{r}[/latex], [latex]p \land q[/latex], [latex](p \land q) \land \sim{r}[/latex], [latex](p \land q) \land r[/latex], and [latex]((p \land q) \rightarrow (\sim{r})) \leftrightarrow ((p \land q) \land r)[/latex]. Because there are three basic propositions, [latex]p[/latex], [latex]q[/latex], and [latex]r[/latex], the table will have [latex]2(2)(2)=8[/latex] rows of truth values to account for all the possible outcomes. The statement is not valid because the last column is not all true.
[latex]\begin{array} {|c|c|c|c|c|c|c|c|} \hline p & q & r & \sim{r} & p \land q & (p \land q) \rightarrow \sim{r} & (p \land q) \land r & (p \land q \rightarrow \sim{r}) \leftrightarrow (p \land q \land r) \\ \hline \text{T} & \text{T} & \text{T} & \text{F} & \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{T} & \text{F} & \text{T} & \text{T} & \text{T} & \text{F} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{T} & \text{F} & \text{F} & \text{T} & \text{F} & \textbf{F} \\ \hline \text{T} & \text{F} & \text{F} & \text{T} & \text{F} & \text{T} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{T} & \text{T} & \text{F} & \text{F} & \text{T} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{T} & \text{F} & \text{T} & \text{F} & \text{T} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{F} & \text{T} & \text{F} & \text{F} & \text{T} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{F} & \text{F} & \text{T} & \text{F} & \text{T} & \text{F} & \textbf{F} \\ \hline \end{array}[/latex]
Exercise 4
Construct a truth table to analyze all possible outcomes for each of the following statements, then determine whether they are valid.
a) [latex]\sim{(p \land q)} \leftrightarrow (\sim{p} \lor \sim{q})[/latex]
b) [latex]\sim{p} \leftrightarrow q \land p[/latex]
c) [latex]p \rightarrow q \leftrightarrow \sim{p} \lor q[/latex]
d) [latex]p \land q \rightarrow r \leftrightarrow \sim{p} \lor \sim{q} \lor r[/latex]
Solution
a) Valid
[latex]\begin{array} {|c|c|c|c|c|c|c|c|} \hline p & q & p \land q & \sim{(p \land q)} & \sim{p} & \sim{q} & \sim{p} \lor \sim{q} & \sim{(p \land q)} \leftrightarrow (\sim{p} \lor \sim{q}) \\ \hline \text{T} & \text{T} & \text{T} & \text{F} & \text{F} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{F} & \text{T} & \text{F} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{F} & \text{T} & \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{F} & \text{T} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
b) Not Valid
[latex]\begin{array} {|c|c|c|c|c|} \hline p & q & \sim{p} & q \land p & \sim{p} \leftrightarrow (q \land p) \\ \hline \text{T} & \text{T} & \text{F} & \text{T} & \textbf{F} \\ \hline \text{T} & \text{F} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{T} & \text{F} & \textbf{F} \\ \hline \text{F} & \text{F} & \text{T} & \text{F} & \textbf{F} \\ \hline \end{array}[/latex]
c) Valid
[latex]\begin{array} {|c|c|c|c|c|c|} \hline p & q & p \rightarrow q & \sim{p} & \sim{p} \lor q & (p \rightarrow q) \leftrightarrow (\sim{p} \lor q) \\ \hline \text{T} & \text{T} & \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{F} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
d) Valid
[latex]\begin{array} {|c|c|c|c|c|c|c|c|c|c|} \hline p & q & r & \sim{p} & \sim{q} & p \land q & (p \land q) \rightarrow r & \sim{p} \lor \sim{q} & (\sim{p} \lor \sim{q}) \lor r & (p \land q \rightarrow r) \leftrightarrow (\sim{p} \lor \sim{q} \lor \sim{r}) \\ \hline \text{T} & \text{T} & \text{T} & \text{F} & \text{F} & \text{T} & \text{T} & \text{F} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{T} & \text{F} & \text{F} & \text{F} & \text{T} & \text{F} & \text{F} & \text{F} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{T} & \text{F} & \text{T} & \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{T} & \text{F} & \text{F} & \text{F} & \text{T} & \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{T} & \text{T} & \text{F} & \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{T} & \text{F} & \text{T} & \text{F} & \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{T} & \text{T} & \text{T} & \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \text{F} & \text{F} & \text{F} & \text{T} & \text{T} & \text{F} & \text{T} & \text{T} & \text{T} & \textbf{T} \\ \hline \end{array}[/latex]
Joining two logical statements with the word “implies” or using the phrase “if first statement, then second statement.”
