Statement, Negation, and Quantified Statements

Statements and Propositions

• Define a statement (proposition): a sentence that can be either true or false, but not both at the same time.
• Represent statements with letters, typically p, q, r, etc. These are placeholders for actual sentences.
• Example setup: a statement could be represented by p, another by q, and a third by r. Letters are just placeholders; what matters is their truth value.
• Truth values: True or False. A statement can be true (T) or false (F) depending on the content.
• The negation (opposite) of a statement: represented by the squiggle symbol (logical NOT). If p is a statement, its negation is ¬p (or ~p).
• How negation works in general:
  • If p is true, then ¬p is false.
  • If p is false, then ¬p is true.
• Important caveat about mixed truth values:
  • Just because q is false does not mean p is always true and q is always false in general; it’s just how the example is arranged.
• If we negate a false statement, the negation becomes true. Example: if q is false, ¬q is true.
• Concrete example:
  • Example: “Today is not Tuesday.” If today is Tuesday, this statement is false; its negation (¬q) is true (i.e., “Today is Tuesday.”).
• Role of letters and negation in practice:
  • You can use letters p, q, r as stand-ins for statements and then form their negations to analyze truth conditions.
• Real-world example to illustrate negation:
  • Suppose p = "Shakespeare wrote the television series The Big Bang Theory." The negation ¬p is true because Shakespeare did not write the show; i.e.,
  • p: Shakespeare wrote the TV series The Big Bang Theory.
  • ¬p: Shakespeare did not write the TV series The Big Bang Theory.
• Another quick example:
  • Let q be a statement about the day: q = "Today is Tuesday." Then ¬q = "Today is not Tuesday." If today is Tuesday, ¬q is false; if today is not Tuesday, ¬q is true.
• A note on how negation is introduced in phrases:
  • We often express the negation by adding a negation phrase such as “not” or by using the negation symbol (¬). For example:
  • It is not true that X; that is the negation of X.
• The nature of language and logic:
  • Much of this discussion is about interpreting words precisely, since the logical content depends on how you phrase things. We translate natural-language statements into propositional form to analyze their truth conditions.
• Transition to quantifiers (words that indicate quantity):
  • We’ll introduce quantifiers to discuss quantities like all, some, and none (which can also be phrased as none or not any).

Quantifiers and their meanings

• Quantifiers are words that talk about quantities in statements. The primary ones we focus on are:
  • All
  • Some
  • No (which can also be phrased as none)
• Three levels of quantity (as discussed):
  • All A are B: every member of A is also a member of B.
  • Some A are B: there exists at least one A that is also B.
  • No A are B: no member of A is a member of B.
• Several equivalent formulations you’ll encounter:
  • All A are B is equivalent to There are no A that are not B.
  • Some A are B is equivalent to There exists x such that A(x) ∧ B(x).
  • No A are B is equivalent to All A are not B.
  • Some A are not B is equivalent to Not all A are B.
• Concrete examples:
  • All poets are writers. (All A are B, where A = poets, B = writers)
  • Some people are generous. (Some A are B, where A = people, B = generous)
  • No colds are fatal. (No A are B, where A = colds, B = fatal)
  • Some students do not work hard. (Some A are not B, where A = students, B = work hard)
  • Not all students work hard. (Not all A are B, equivalent to Some students do not work hard)
• Two alternative phrasings for the same idea:
  • All A are B ↔ There are no A that are not B.
  • No A are B ↔ All A are not B.
• Negating quantified statements:
  • The negation of All A are B is Not all A are B, which can also be expressed as Some A are not B, or There exists an A that is not B.
  • The negation of Some A are B is No A are B, which can also be expressed as All A are not B.
  • The negation of No A are B is Some A are B (i.e., there exists an A that is B).
• Practical implication: different wordings can express the same logical content; practice helps recognize when phrases mean the same thing.
• Example of negation in practice:
  • If you have a sentence like All A are B, the opposite phrasing would be Not all A are B or Some A are not B. Conversely, No A are B is opposite to All A are not B (but note: No A are B is equivalent to All A are not B).

From statements to practice: mapping and activities

• There will be activities to pair statements with their negations:
  • You may be given four phrases rooted in a single theme (e.g., Some A are B; No A are B; All A are not B; Some A are not B).
  • Your task is to match each statement with its negation and then pair up with others who have the opposite form.
• Example pair to practice:
  • Phrases: "No basketball players are short" and "All basketball players are not short" are opposites or equivalent forms depending on phrasing (they express the same content in different wording).
• Setup for activity:
  • Four students receive one of the phrases (e.g., Some A are B).
  • Find the person with the statement that is the negation (its opposite form) and then group together within your set of four.
• Teacher’s implementation plan:
  • After brief explanation, students will practice outside in a grassy area.
  • Then we’ll come back, share results, and put examples up on the board to illustrate the different expressions that mean the same thing.
• Final notes about the activity:
  • This activity reinforces understanding of how different statements and their negations can express the same idea.
  • We will also discuss how to negate these statements in a precise way as we progress toward truth tables.

Connections, context, and implications

• Foundational shift: This unit moves from numerical expressions (earlier chapters) to linguistic expressions using words and letters for logical analysis.
• Significance: Understanding how negation and quantifiers interact helps in precise argumentation, avoiding ambiguity, and evaluating logical consequences in everyday reasoning and real-world arguments.
• Ethical/philosophical/practical implications:
  • Precision in language matters: misinterpreting negation or quantifier scope can lead to incorrect conclusions or faulty arguments.
  • In real-world contexts (law, policy, debate), clearly stating universal versus existential claims is crucial for sound reasoning.
• Preview of advanced tools:
  • Truth tables will be discussed later to systematically analyze the combinations of truth values for propositions and their negations.

Quick reference: common forms and translations

• Propositional letters:
  • p, q, r denote statements.
• Negation:
  • ¬p or ~p denotes the opposite of p.
  • If p is true, ¬p is false; if p is false, ¬p is true.
• Example translations between language and logic:
  • p: "Shakespeare wrote the television series The Big Bang Theory."
  • ¬p: "Shakespeare did not write the television series The Big Bang Theory."
  • q: "Today is Tuesday." (or any day statement)
  • ¬q: "Today is not Tuesday."
• Quantifier translations (informal → formal):
  • All A are B: \forall x\,(A(x)\rightarrow B(x))
  • Some A are B: \exists x\,(A(x)\land B(x))
  • No A are B: \neg \exists x\,(A(x)\land B(x))
  • Some A are not B: \exists x\,(A(x)\land \neg B(x))
  • Not all A are B: \neg \forall x\,(A(x)\rightarrow B(x)) (equivalently \exists x\,(A(x)\land \neg B(x)))
• Equivalences to memorize:
  • All A are B ↔ There are no A that are not B.
  • No A are B ↔ All A are not B.
  • Some A are B ↔ There exists x with A(x) ∧ B(x).
  • Some A are not B ↔ Not all A are B (i.e., ∃x (A(x) ∧ ¬B(x))).