91Ó°ÊÓ

In logical propositions, a truth value is a determination of whether a statement is true or false. Statements can only have one of two truth values: *true* or *false.*

For example, let's look at the proposition: "If \(3+5<2,\) then \(1+3=4\)." We need to determine the truth value for the component parts:

• "\(3+5<2\)" simplifies to "8 < 2," which is a *false* statement. Therefore, its truth value is false.
• "\(1+3=4\)" is clearly true, as the math checks out. So, its truth value is *true.*

The truth values of these propositions help us evaluate the truth value of the entire statement.

Implication is a fundamental concept in logic. It is often expressed in the form of "if-then" statements, also known as conditional statements. For example, "If \( P, \) then \( Q \)."

An implication \( P \rightarrow Q \) contains:
- An "if" part called the antecedent (\( P \))
- A "then" part called the consequent (\( Q \))
In logical terms, a conditional statement \( P \rightarrow Q \) is considered false only when the antecedent \( P \) is true and the consequent \( Q \) is false. In all other cases, \( P \rightarrow Q \) is true.

Let's consider the example again: "If \(3+5<2,\) then \(1+3=4\)." The first part is false, and the second part is true. Since a false antecedent implies anything, the entire statement is true by default.

Understanding the terms antecedent and consequent is crucial for interpreting logical implications effectively. These terms are the building blocks of any conditional statement in logic.

### AntecedentThe antecedent is the "if" part of an "if-then" statement. In our example, the antecedent is "\( 3+5<2 \)." Within logical implications, the antecedent doesn't have to be true for the implication to hold true.

### ConsequentThe consequent is the "then" part of the statement, which follows logically from the antecedent. In our example, "\( 1+3=4 \)" stands as the consequent. In logic, even if the consequent is false, a true antecedent can still make the implication true if the rest of the statement supports it.

By breaking down these components, it becomes easier to analyze and understand how logical propositions behave under various conditions.