Introduction to Statements and Logical Connectives

TL;DR

Logic helps us understand truth and reasoning by breaking down sentences into basic statements. We connect these statements using special words called logical connectives to form more complex ideas. Mastering these fundamentals is crucial for building sound arguments and analyzing information effectively.

1. The Mental Model

Think of logic as building blocks for ideas. You start with simple, true-or-false sentences, then combine them with connectors like "and" or "not" to build bigger, more complex ideas, much like constructing sentences from words.

2. The Core Material

In logic, we deal with statements. A statement is a declarative sentence that is definitively either true or false, but not both. It's not a question, a command, or an opinion.

• "The sky is blue." (This is a statement; it's true.)
• "Close the door." (Not a statement; it's a command.)
• "What time is it?" (Not a statement; it's a question.)
• "Chocolate ice cream is the best." (Not a statement; it's an opinion, and its truth value isn't universal.)

We often represent simple statements with single lowercase letters like $p$, $q$, or $r$.

Logical connectives are words or symbols that combine simple statements to form more complex statements. They're like the glue for our logical building blocks. The truthfulness of the combined statement depends entirely on the truthfulness of the individual statements and the specific connective used.

Here are the main ones you'll encounter:

2.1. Negation (NOT)

Photo by Image Hunter on Pexels

The negation of a statement flips its truth value. If a statement $p$ is true, its negation (written as $\neg p$ or $\sim p$) is false, and vice-versa.

• If $p$: "The sun is shining." (True)
• Then $\neg p$: "The sun is not shining." (False)

2.2. Conjunction (AND)

Photo by Anton Kireev on Pexels

A conjunction combines two statements with "and." It's true only if both statements are true. We write it as $p \land q$.

• $p$: "It is raining."
• $q$: "I have an umbrella."
• $p \land q$: "It is raining and I have an umbrella." (This is only true if both are happening.)

2.3. Disjunction (OR)

Photo by Brett Jordan on Pexels

A disjunction combines two statements with "or." It's true if at least one of the statements is true (it can be both). We write it as $p \lor q$. This is often called "inclusive or."

• $p$: "I will eat pizza."
• $q$: "I will eat pasta."
• $p \lor q$: "I will eat pizza or I will eat pasta." (This is true if I eat pizza, or if I eat pasta, or if I eat both.)

2.4. Conditional (IF...THEN)

Photo by Brett Jordan on Pexels

A conditional statement links two statements with "if...then." It's written as $p \to q$. $p$ is the antecedent (the "if" part), and $q$ is the consequent (the "then" part). The only time a conditional is false is when the antecedent is true and the consequent is false.

• $p$: "You study hard."
• $q$: "You will pass the exam."
• $p \to q$: "If you study hard, then you will pass the exam." (This statement is false only if you study hard but still fail.)

2.5. Biconditional (IF AND ONLY IF)

A biconditional statement means "if and only if." It's written as $p \leftrightarrow q$. It's true when both statements have the same truth value (both true or both false). Think of it as meaning they imply each other ($p \to q$ AND $q \to p$).

• $p$: "A shape is a square."
• $q$: "A shape has four equal sides and four right angles."
• $p \leftrightarrow q$: "A shape is a square if and only if it has four equal sides and four right angles." (This is true because being a square means it has those properties, and having those properties means it's a square.)

Here's a diagram summarizing the core idea:

graph TD
    A["Declarative Sentence?"] -->|Yes| B["True or False?"]
    B -->|Yes| C["**Statement**"]
    B -->|No| D["Not a Statement"]
    A -->|No| D
    C --> E["Combine with Logical Connectives"]
    E --> F["Negation (NOT $\neg$)"]
    E --> G["Conjunction (AND $\land$)"]
    E --> H["Disjunction (OR $\lor$)"]
    E --> I["Conditional (IF...THEN $\to$)"]
    E --> J["Biconditional (IFF $\leftrightarrow$)"]
    F --> K["New Complex Statement"]
    G --> K
    H --> K
    I --> K
    J --> K

3. Worked Example

Let's break down the complex statement: "If the sun is shining and it is warm, then we will go to the beach or stay home."

1. Identify simple statements:

   • $p$: "The sun is shining."
   • $q$: "It is warm."
   • $r$: "We will go to the beach."
   • $s$: "We will stay home."

2. Identify logical connectives and their order:

   • "the sun is shining and it is warm" suggests a conjunction between $p$ and $q$: $(p \land q)$.
   • "we will go to the beach or stay home" suggests a disjunction between $r$ and $s$: $(r \lor s)$.
   • "If (the sun is shining and it is warm), then (we will go to the beach or stay home)" suggests a conditional connecting the first part to the second part.

3. Translate into symbolic logic:
   $(p \land q) \to (r \lor s)$

This symbolic form makes it much clearer to analyze the statement's truth conditions without getting lost in the words.

4. Key Takeaways

• A statement is a sentence that is either true or false, unambiguously.
• Logical connectives (NOT, AND, OR, IF...THEN, IF AND ONLY IF) combine simple statements.
• Negation ($\neg$) flips a statement's truth value.
• Conjunction ($\land$) is true only if both parts are true.
• Disjunction ($\lor$) is true if at least one part is true.
• Conditional ($\to$) is false only if a true "if" leads to a false "then."
• Biconditional ($\leftrightarrow$) is true if both parts have the same truth value.

Common mistakes to avoid:

• Confusing an opinion or question with a statement.
• Misinterpreting "or" as "exclusive or" (meaning one or the other, but not both) in common language. In logic, "or" is usually inclusive.
• Assuming a conditional $p \to q$ is false just because $p$ is false; if $p$ is false, the conditional is always true.
• Not correctly identifying the main connective in a complex statement (which dictates the overall structure).

5. Now Try It

Take a newspaper article or a short paragraph from a book. Identify at least three distinct sentences that are true statements. Then, pick two of those statements and combine them using one of the logical connectives (AND, OR, IF...THEN). Finally, translate your combined sentence into its symbolic logical form using letters for the statements and the correct symbols for the connective.

What success looks like: You'll have identified clear true/false sentences, correctly applied a logical connective in plain English, and accurately represented that combined sentence using symbolic notation.