Introduction to Logic and Conditional Statements

TL;DR

Logic helps us understand how statements relate to each other, especially through "if-then" relationships called conditional statements. These statements have a specific structure: a condition that, if true, guarantees a particular result. Understanding this structure is crucial for accurate reasoning in geometry and beyond.

1. The Mental Model

Think of logic as building blocks for clear thinking. Conditional statements are like a rule book: if one thing happens, then you can expect another specific thing to follow. It's all about cause and effect in a structured way.

2. The Core Material

You'll often hear about propositions in logic. A proposition is simply a statement that can be definitively true or false. It can't be both, and it can't be neither.

• "The sky is blue." (True proposition)
• "2 + 2 = 5." (False proposition)
• "What time is it?" (Not a proposition, it's a question)

Conditional Statements

Photo by Pixabay on Pexels

A conditional statement is a statement that can be written in the "If P, then Q" format.
* P is the hypothesis (or antecedent) – it's the condition.
* Q is the conclusion (or consequent) – it's what happens if the hypothesis is true.

We often write this symbolically as $P \to Q$. This reads as "P implies Q."

Example:
"If it rains (P), then the ground gets wet (Q)."

This statement says that if the condition of rain is met, then the ground will be wet. It doesn't say anything about what happens if it doesn't rain.

Truth Values of Conditional Statements

Photo by Brett Jordan on Pexels

A conditional statement "$P \to Q$" is only false in one specific scenario: when the hypothesis (P) is true, but the conclusion (Q) is false. In all other cases, the statement is considered true.

Let's look at the "rain" example:
1. P is True, Q is True: It rains, and the ground gets wet. (Statement: True)
2. P is False, Q is False: It doesn't rain, and the ground doesn't get wet. (Statement: True – it didn't violate the rule)
3. P is False, Q is True: It doesn't rain, but the ground gets wet (maybe from sprinklers). (Statement: True – again, the rule wasn't violated)
4. P is True, Q is False: It rains, but the ground doesn't get wet. (Statement: False – this directly contradicts "If it rains, then the ground gets wet.")

Here's how that truth logic works:

graph TD
    A["Is the hypothesis (P) true?"] -->|Yes| B["Is the conclusion (Q) true?"];
    B -->|Yes| C["Conditional (P -> Q) is TRUE"];
    B -->|No| D["Conditional (P -> Q) is FALSE"];
    A -->|No| C;

Related Conditional Statements

Photo by Pixabay on Pexels

From a conditional statement ($P \to Q$), you can form three related statements:

1. Converse: If Q, then P ($Q \to P$)

   • Example: If the ground gets wet, then it rained. (Not necessarily true!)

2. Inverse: If not P, then not Q ($\neg P \to \neg Q$)

   • Example: If it does not rain, then the ground does not get wet. (Not necessarily true!)

3. Contrapositive: If not Q, then not P ($\neg Q \to \neg P$)

   • Example: If the ground does not get wet, then it did not rain. (This is logically equivalent to the original statement!)

The original statement and its contrapositive always have the same truth value. Similarly, the converse and the inverse always have the same truth value.

3. Worked Example

Let's take the statement: "If a shape is a square, then it is a rectangle."

1. Identify P and Q:

   • P (Hypothesis): "A shape is a square."
   • Q (Conclusion): "It is a rectangle."

2. Determine its truth value: This statement is True. Every square fits the definition of a rectangle (four right angles, opposite sides parallel and equal).

3. Write its converse:

   • $Q \to P$: "If a shape is a rectangle, then it is a square."
   • Truth value: False. A rectangle can have different side lengths (e.g., 2x4), making it a rectangle but not a square.

4. Write its inverse:

   • $\neg P \to \neg Q$: "If a shape is not a square, then it is not a rectangle."
   • Truth value: False. A 2x4 rectangle is not a square, but it is a rectangle. So, P is false, but Q is true.

5. Write its contrapositive:

   • $\neg Q \to \neg P$: "If a shape is not a rectangle, then it is not a square."
   • Truth value: True. If something isn't even a rectangle, it definitely can't be a square, because all squares are rectangles. Notice it has the same truth value as the original statement!

4. Key Takeaways

• A proposition is a statement that is either definitively true or false.
• A conditional statement links a hypothesis (P) to a conclusion (Q) with "If P, then Q."
• A conditional statement is only false when its hypothesis is true but its conclusion is false.
• The converse flips the hypothesis and conclusion ($Q \to P$).
• The inverse negates both the hypothesis and conclusion ($\neg P \to \neg Q$).
• The contrapositive flips and negates both ($\neg Q \to \neg P$) and is logically equivalent to the original statement.
• Only the original conditional and its contrapositive always share the same truth value.

Common Mistakes to Avoid:
- Don't assume the converse or inverse of a true statement is also true.
- Confusing a question or command with a proposition.
- Thinking "If P, then Q" means P is the only way for Q to happen.
- Forgetting that when P is false, the conditional statement is always true, regardless of Q's truth value.

5. Now Try It

Take the statement: "If an animal is a cat, then it has whiskers."

1. Identify the hypothesis (P) and the conclusion (Q).
2. Determine if the original statement is true or false.
3. Write the converse, inverse, and contrapositive of this statement.
4. For each of those three new statements, determine if it's true or false.

Success looks like you correctly identifying P and Q, assigning the correct truth value to the original statement, and then correctly forming and assigning truth values to its converse, inverse, and contrapositive, noting the logical equivalences.