#set document(title: "2.1 Statements and Quantifiers", author: "OpenStax / XYZ Homework") #set page(width: 8.5in, height: auto, margin: 1in) #import "@preview/cetz:0.5.2" #set text(font: ("STIX Two Text", "Libertinus Serif", "New Computer Modern"), size: 10.5pt, lang: "en") #show math.equation: set text(font: ("STIX Two Math", "New Computer Modern Math")) #set par(justify: true, leading: 0.62em, spacing: 0.9em) #set enum(spacing: 1.1em) // room between list items so tall inline fractions don't collide #set list(spacing: 1.1em) #set table(stroke: 0.5pt + rgb("#c7ccd3")) #let BLUE = rgb("#183B6F") // brand navy — section bars + example/solution labels (white on navy 11.09:1) #let ORANGE = rgb("#A94509") // brand primary-700 — AA-safe deep orange for TEXT (5.93:1 on white; raw brand #F37021 is 2.94:1 and must never carry text) #let RED = rgb("#DC2626") // brand error-600 #let GREEN = rgb("#059669") // brand success-600 (decoration only; small green text uses green-text #007942) #show heading.where(level: 1): it => block(width: 100%, above: 0pt, below: 16pt, fill: gradient.linear(BLUE, rgb("#2C5AA0")), inset: (x: 14pt, y: 12pt), radius: 3pt, text(fill: white, weight: "bold", size: 19pt, it.body)) #show heading.where(level: 2): it => block(width: 100%, above: 18pt, below: 10pt, fill: BLUE, inset: (x: 10pt, y: 6pt), radius: 2pt, text(fill: white, weight: "bold", size: 12pt, it.body)) #show heading.where(level: 3): it => text(fill: ORANGE, weight: "bold", size: 12.5pt, it.body) #show heading.where(level: 4): it => text(fill: BLUE, weight: "bold", size: 10.5pt, it.body) #let examplebox(label, title, body) = block(width: 100%, breakable: true, fill: rgb("#EFF1F5"), stroke: 0.5pt + rgb("#CFDDF0"), radius: 4pt, inset: 10pt, above: 12pt, below: 12pt)[ #block(below: 6pt)[#box(fill: BLUE, inset: (x: 6pt, y: 2pt), radius: 2pt, text(fill: white, weight: "bold", size: 8.5pt, label)) #h(0.4em) #strong[#title]] #body] // rail = decorative left rule (raw brand token); labelcolor = AA-safe label text shade #let notebox(label, rail, labelcolor, tint, body) = block(width: 100%, breakable: true, fill: tint, stroke: (left: 3pt + rail), inset: (left: 10pt, rest: 8pt), radius: (right: 4pt), above: 11pt, below: 11pt)[ #text(fill: labelcolor, weight: "bold", size: 7.5pt, tracking: 0.5pt)[#upper(label)] #linebreak() #body] #let solutionbox(body) = block(above: 4pt, below: 8pt)[ #text(fill: BLUE, weight: "bold", size: 8.5pt)[Solution] #linebreak() #body] #let figph(msg) = block(width: 100%, height: 60pt, fill: rgb("#f6f7f9"), stroke: (paint: rgb("#c7ccd3"), dash: "dashed"), radius: 4pt, inset: 10pt)[ #align(center + horizon, text(fill: rgb("#889"), style: "italic", size: 9pt, msg))] // Standardize inlined figure sizes: measure the natural CeTZ canvas, then scale to a // consistent envelope (aspect-aware; see build_typst.py FIG_* constants). Unlike the // print preamble, dimensions are FLOORED: in an editor a user can trim a figure to a // degenerate 1-D shape (a bare line), and w/h or tw/w would then divide by zero. #let _STD_W = 3.5 #let _WIDE_W = 5.6 #let _MAX_H = 3.4 #let _ASPECT_WIDE = 2.2 #let _UPSCALE_MAX = 1.15 #let stdfig(body) = context { let m = measure(body) let w = calc.max(m.width / 1in, 0.01) let h = calc.max(m.height / 1in, 0.01) let tw = if w / h > _ASPECT_WIDE { _WIDE_W } else { _STD_W } let s = calc.min(tw / w, _MAX_H / h, _UPSCALE_MAX) align(center, box(scale(x: s * 100%, y: s * 100%, reflow: true, body))) } #show figure: set block(breakable: false) #set figure(gap: 8pt) #show figure.caption: set text(size: 8.5pt, fill: rgb("#555")) == 2.1#h(0.6em)Statements and Quantifiers #figure(figph[A group of construction workers working on a building.], alt: "A group of construction workers working on a building.", caption: [Construction of a logical argument, like that of a house, requires you to begin with the right parts.]) === Learning Objectives After completing this section, you should be able to: + Identify logical statements. + Represent statements in symbolic form. + Negate statements in words. + Negate statements symbolically. + Translate negations between words and symbols. + Express statements with quantifiers of all, some, and none. + Negate statements containing quantifiers of all, some, and none. Have you ever built a club house, tree house, or fort with your friends? If so, you and your friends likely started by gathering some tools and supplies to work with, such as hammers, saws, screwdrivers, wood, nails, and screws. Hopefully, at least one member of your group had some knowledge of how to use the tools correctly and helped to direct the construction project. After all, if your house isn't built on a strong foundation, it will be weak and could possibly fall apart during the next big storm. This same foundation is important in logic. In this section, we will begin with the parts that make up all logical arguments. The building block of any logical argument is a #strong[logical statement], or simply a statement. A logical statement has the form of a complete sentence, and it must make a claim that can be identified as being true or false. When making arguments, sometimes people make false claims. When evaluating the strength or validity of a logical argument, you must also consider the #strong[truth values], or the identification of true or false, of all the statements used to support the argument. While a false statement is still considered a logical statement, a strong logical argument starts with true statements. === Identifying Logical Statements #figure(figph[Red, yellow, and pink roses.], alt: "Red, yellow, and pink roses.", caption: [Not all roses are red.]) An example of logical statement with a false truth value is, “All roses are red.” It is a logical statement because it has the form of a complete sentence and makes a claim that can be determined to be either true or false. It is a false statement because not all roses are red: some roses are red, but there are also roses that are pink, yellow, and white. Requests, questions, or directives may be complete sentences, but they are not logical statements because they cannot be determined to be true or false. For example, suppose someone said to you, “Please, sit down over there.” This request does not make a claim and it cannot be identified as true or false; therefore, it is not a logical statement. #examplebox("Example 1")[Identifying Logical Statements][ Determine whether each of the following sentences represents a logical statement. If it is a logical statement, determine whether it is true or false. + Tiger Woods won the Master’s golf championship at least five times. + Please, sit down over there. + All cats dislike dogs. #solutionbox[ + This is a logical statement because it is a complete sentence that makes a claim that can be identified as being true or false. As of 2021, this statement is true: Tiger Woods won the Master’s in 1997, 2001, 2002, 2005 and 2019. + This is not a logical statement because, although it is a complete sentence, this request does not make a claim that can be identified as being either true or false. + This is a logical statement because it is a complete sentence that makes a claim that can be identified as being true or false. This statement is false because some cats do like some dogs. ] ] === Representing Statements in Symbolic Form When analyzing logical arguments that are made of multiple logical statements, #strong[symbolic form] is used to reduce the amount of writing involved. Symbolic form also helps visualize the relationship between the statements in a more concise way in order to determine the strength or validity of an argument. Each logical statement is represented symbolically as a single lowercase letter, usually starting with the letter #math.equation(block: false, alt: "p")[$p$]. To begin, you will practice how to write a single logical statement in symbolic form. This skill will become more useful as you work with compound statements in later sections. #examplebox("Example 2")[Representing Statements Using Symbolic Form][ Write each of the following logical statements in symbolic form. + Barry Bonds holds the Major League Baseball record for total career home runs. + Some mammals live in the ocean. + Ruth Bader Ginsburg served on the U.S. Supreme Court from 1993 to 2020. #solutionbox[ + #math.equation(block: false, alt: "p")[$p$]: Barry Bonds holds the Major League Baseball record for total career home runs. The statement is labeled with a #math.equation(block: false, alt: "p .")[$p "."$] Once the statement is labeled, use #math.equation(block: false, alt: "p")[$p$] as a replacement for the full written statement to write and analyze the argument symbolically. + #math.equation(block: false, alt: "q")[$q$]: Some mammals live in the ocean. The letter #math.equation(block: false, alt: "q")[$q$] is used to distinguish this statement from the statement in question 1, but any lower-case letter may be used. + #math.equation(block: false, alt: "r")[$r$]: Ruth Bader Ginsburg served on the U.S. Supreme Court from 1993 to 2020. When multiple statements are present in later sections, you will want to be sure to use a different letter for each separate logical statement. ] ] #notebox("Who Knew?", rgb("#183B6F"), rgb("#183B6F"), rgb("#EFF1F5"))[ Mathematics is not the only language to use symbols to represent thoughts or ideas. The Chinese and Japanese languages use symbols known as Hanzi and Kanji, respectively, to represent words and phrases. At one point, the American musician Prince famously changed his name to a symbol representing love. #link("https://openstax.org/r/magazine-36107590")[BBC Prince Symbol Article] ] === Negating Statements Consider the false statement introduced earlier, “All roses are red.” If someone said to you, “All roses are red,” you might respond with, “Some roses are not red.” You could then strengthen your argument by providing additional statements, such as, “There are also white roses, yellow roses, and pink roses, to name a few.” The #strong[negation of a logical statement] has the opposite truth value of the original statement. If the original statement is false, its negation is true, and if the original statement is true, its negation is false. Most logical statements can be negated by simply adding or removing the word #emph[not]. For example, consider the statement, “Emma Stone has green eyes.” The negation of this statement would be, “Emma Stone does not have green eyes.” The table below gives some other examples. #figure(table( columns: 2, align: left, inset: 6pt, table.header([Logical Statement], [Negation]), [Gordon Ramsey is a chef.], [Gordon Ramsey is not a chef.], [Tony the Tiger does not have spots.], [Tony the Tiger has spots.], )) The way you phrase your argument can impact its success. If someone presents you with a false statement, the ability to rebut that statement with its negation will provide you with the tools necessary to emphasize the correctness of your position. #examplebox("Example 3")[Negating Logical Statements][ Write the negation of each logical statement in words. + Michael Phelps was an Olympic swimmer. + Tom is a cat. + Jerry is not a mouse. #solutionbox[ + Add the word #emph[not] to negate the affirmative statement: “Michael Phelps was not an Olympic swimmer.” + Add the word #emph[not] to negate the affirmative statement: “Tom is not a cat.” + Remove the word #emph[not] to negate the negative statement: “Jerry is a mouse.” ] ] === Negating Logical Statements Symbolically The symbol for negation, or not, in logic is the tilde, ~. So, not #math.equation(block: false, alt: "p")[$p$] is represented as #math.equation(block: false, alt: "~ p")[$∼ p$]. To negate a statement symbolically, remove or add a tilde. The negation of not (not #math.equation(block: false, alt: "p")[$p$]) is #math.equation(block: false, alt: "p")[$p$]. Symbolically, this equation is #math.equation(block: false, alt: "~ open parenthesis ~ p close parenthesis equals p .")[$∼ ( ∼ p ) = p .$] #examplebox("Example 4")[Negating Logical Statements Symbolically][ Write the negation of each logical statement symbolically. + #math.equation(block: false, alt: "p")[$p$]: Michael Phelps was an Olympic swimmer. + #math.equation(block: false, alt: "r")[$r$]: Tom is not a cat. + #math.equation(block: false, alt: "~ q")[$∼ q$]: Jerry is not a mouse. #solutionbox[ + To negate an affirmative logical statement symbolically, add a tilde: #math.equation(block: false, alt: "~ p")[$∼ p$]. + Because the symbol for this statement is #math.equation(block: false, alt: "r")[$r$], its negation is #math.equation(block: false, alt: "~ r")[$∼ r$]. + The symbol for this statement is #math.equation(block: false, alt: "~ q")[$∼ q$], so to negate it we simply remove the ~, because #math.equation(block: false, alt: "~ open parenthesis ~ q close parenthesis equals q .")[$∼ ( ∼ q ) = q .$] The answer is #math.equation(block: false, alt: "q")[$q$]. ] ] === Translating Negations Between Words and Symbols In order to analyze logical arguments, it is important to be able to translate between the symbolic and written forms of logical statements. #examplebox("Example 5")[Translating Negations Between Words and Symbols][ Given the statements: #math.equation(block: false, alt: "r")[$r$]: Elmo is a red Muppet. #math.equation(block: false, alt: "p")[$p$]: Ketchup is not a vegetable. + Write the symbolic form of the statement, “Elmo is not a red Muppet.” + Translate the statement #math.equation(block: false, alt: "~ p")[$∼ p$] into words. #solutionbox[ + “Elmo is not a red muppet” is the negation of “Elmo is a red muppet,” which is represented as #math.equation(block: false, alt: "r")[$r$]. Thus, we would write “Elmo is not a red muppet” symbolically as #math.equation(block: false, alt: "~ r")[$∼ r$]. + Because #math.equation(block: false, alt: "p")[$p$] is the symbol representing the statement, “Ketchup is not a vegetable,” #math.equation(block: false, alt: "~ p")[$∼ p$] is equivalent to the statement, “Ketchup is a vegetable.” ] ] === Expressing Statements with Quantifiers of All, Some, or None A #strong[quantifier] is a term that expresses a numerical relationship between two sets or categories. For example, all squares are also rectangles, but only some rectangles are squares, and no squares are circles. In this example, #emph[all, some,] and #emph[none] are quantifiers. In a logical argument, the logical statements made to support the argument are called #strong[premises], and the judgment made based on the premises is called the #strong[conclusion]. Logical arguments that begin with specific premises and attempt to draw more general conclusions are called #strong[inductive arguments]. Consider, for example, a parent walking with their three-year-old child. The child sees a cardinal fly by and points it out. As they continue on their walk, the child notices a robin land on top of a tree and a duck flying across to land on a pond. The child recognizes that cardinals, robins, and ducks are all birds, then excitedly declares, "All birds fly!" The child has just made an inductive argument. They noticed that three different specific types of birds all fly, then synthesized this information to draw the more general conclusion that all birds can fly. In this case, the child's conclusion is false. The specific premises of the child's argument can be paraphrased by the following statements: - Premise: Cardinals are birds that fly. - Premise: Robins are birds that fly. - Premise: Ducks are birds that fly. The general conclusion is: “All birds fly!” All inductive arguments should include at least three specific premises to establish a pattern that supports the general conclusion. To counter the conclusion of an inductive argument, it is necessary to provide a counter example. The parent can tell the child about penguins or emus to explain why that conclusion is false. On the other hand, it is usually impossible to prove that an inductive argument is true. So, inductive arguments are considered either strong or weak. Deciding whether an inductive argument is strong or weak is highly subjective and often determined by the background knowledge of the person making the judgment. Most hypotheses put forth by scientists using what is called the “scientific method” to conduct experiments are based on inductive reasoning. In the following example, we will use quantifiers to express the conclusion of a few inductive arguments. #examplebox("Example 6")[Drawing General Conclusions to Inductive Arguments Using Quantifiers][ For each series of premises, draw a logical conclusion to the argument that includes one of the following quantifiers: all, some, or none. + Squares and rectangles have four sides. A square is a parallelogram, and a rectangle is a parallelogram. What conclusion can be drawn from these premises? + #math.equation(block: false, alt: "1 plus 2 equals 3 ,")[$1 + 2 = 3 ,$] #math.equation(block: false, alt: "6 plus 7 equals 13 ,")[$6 + 7 = 13 ,$] and #math.equation(block: false, alt: "23 plus 24 equals 47.")[$23 + 24 = 47.$] Of these, 1 and 2, 6 and 7, and 23 and 24 are consecutive integers; 3, 13, and 47 are odd numbers. What conclusion can be drawn from these premises? + Sea urchins live in the ocean, and they do not breathe air. Sharks live in the ocean, and they do not breathe air. Eels live in the ocean, and they do not breath air. What conclusion can be drawn from these premises? #solutionbox[ + The conclusion you would likely come to here is “Some four-sided figures are parallelograms.” However, it would be incorrect to say that all four-sided figures are parallelograms because there are some four-sided figures, such as trapezoids, that are not parallelograms. This is a false conclusion. + From these premises, you may draw the conclusion “All sums of two consecutive counting numbers result in an odd number.” Most inductive arguments cannot be proven true, but several mathematical properties can be. If we let #math.equation(block: false, alt: "n")[$n$] represent our first counting number, then #math.equation(block: false, alt: "n plus 1")[$n + 1$] would be the next counting number and #math.equation(block: false, alt: "n plus open parenthesis n plus 1 close parenthesis equals 2 n plus 1")[$n + ( n + 1 ) = 2 n + 1$]. Because #math.equation(block: false, alt: "2 n")[$2 n$] is divisible by two, it is an even number, and if you add one to any even number the result is always an odd number. Thus, the conclusion is true! + Based on the premises provided, with no additional knowledge about whales or dolphins, you might conclude “No creatures that live in the ocean breathe air.” Even though this conclusion is false, it still follows from the known premises and thus is a logical conclusion based on the evidence presented. Alternatively, you could conclude “Some creatures that live in the ocean do not breathe air.” The quantifier you choose to write your conclusion with may vary from another person’s based on how persuasive the argument is. There may be multiple acceptable answers. ] ] #notebox("Checkpoint", rgb("#059669"), rgb("#007942"), rgb("#EAF3EC"))[ #emph[It is not possible to prove definitively that an inductive argument is true or false in most cases.] ] === Negating Statements Containing Quantifiers Recall that the negation of a statement will have the opposite truth value of the original statement. There are four basic forms that logical statements with quantifiers take on. - All #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. - Some #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. - No #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. - Some #math.equation(block: false, alt: "A")[$A$] are not #math.equation(block: false, alt: "B")[$B$]. The negation of logical statements that use the quantifiers #emph[all], #emph[some], or #emph[none] is a little more complicated than just adding or removing the word #emph[not]. For example, consider the logical statement, “All oranges are citrus fruits.” This statement expresses as a subset relationship. The set of oranges is a subset of the set of citrus fruit. This means that there are no oranges that are outside the set of citrus fruit. The negation of this statement would have to break the subset relationship. To do this, you could say, “At least one orange is not a citrus fruit.” Or, more concisely, “Some oranges are not citrus fruit.” It is tempting to say "No oranges are citrus fruit," but that would be incorrect. Such a statement would go beyond breaking the subset relationship, to stating that the two sets have nothing in common. The negation of "#math.equation(block: false, alt: "A")[$A$] is a subset of #math.equation(block: false, alt: "B")[$B$]" would be to state that "#math.equation(block: false, alt: "A")[$A$] is not a subset of #math.equation(block: false, alt: "B")[$B$]," as depicted by the Venn diagram in . #figure( stdfig([#grid(columns: 2, gutter: 1.5em, [#cetz.canvas({ import cetz.draw: * content((100.00pt, 214.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Statement: All oranges are citrus fruit]) circle((100.00pt, 100.00pt), radius: 80.00pt, fill: none, stroke: 0.7pt + black) content((100.00pt, 184.00pt), anchor: "south", text(size: 9pt)[citrus fruit]) circle((100.00pt, 100.00pt), radius: 40.00pt, fill: none, stroke: 0.7pt + black) content((100.00pt, 144.00pt), anchor: "south", text(size: 9pt)[oranges]) circle((100.00pt, 100.00pt), radius: 1.8pt, fill: black, stroke: none) content((104.00pt, 104.00pt), anchor: "south-west", text(size: 9pt)[x]) content((100.00pt, 6.00pt), anchor: "center", text(size: 9pt)[U is equal to fruit]) })], [#cetz.canvas({ import cetz.draw: * content((100.00pt, 214.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Negation: Some oranges are not citrus fruit]) circle((100.00pt, 100.00pt), radius: 80.00pt, fill: none, stroke: 0.7pt + black) content((100.00pt, 184.00pt), anchor: "south", text(size: 9pt)[citrus fruit]) circle((154.00pt, 100.00pt), radius: 40.00pt, fill: none, stroke: 0.7pt + black) content((154.00pt, 144.00pt), anchor: "south", text(size: 9pt)[oranges]) circle((187.70pt, 100.00pt), radius: 1.8pt, fill: black, stroke: none) content((191.70pt, 104.00pt), anchor: "south-west", text(size: 9pt)[x]) content((100.00pt, 6.00pt), anchor: "center", text(size: 9pt)[U is equal to fruit]) })] )]), alt: "Two charts show a large and small circle. The first chart titled Statement depicts all oranges are as citrus fruit shows a large circle labeled citrus fruit with a small circle labeled oranges inside it. An 'x' mark is indicated in the center of the small circle. The first chart represents U is equal to fruit. The second chart titled Negation depicts some oranges that are not citrus fruit shows a large circle labeled citrus fruit with a small circle labeled oranges located on the boundaries of the large circle. An 'x' mark is indicated in the small circle, outside the large circle. The second chart represents U is equal to fruit.", caption: none, ) The statement, “All oranges are citrus fruit,” is true, so its negation, “Some oranges are not citrus fruit,” is false. Now, consider the statement, “No apples are oranges.” This statement indicates that the set of apples is disjointed from the set of oranges. The negation must state that the two are not disjoint sets, or that the two sets have a least one member in common. Their intersection is not empty. The negation of the statement, “#math.equation(block: false, alt: "A")[$A$] intersection #math.equation(block: false, alt: "B")[$B$] is the empty set,” is the statement that " #math.equation(block: false, alt: "A")[$A$] intersection #math.equation(block: false, alt: "B")[$B$] is not empty," as depicted in the Venn diagram in . #figure( stdfig([#grid(columns: 2, gutter: 1.5em, [#cetz.canvas({ import cetz.draw: * content((0pt, 63.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Statement]) rect((-74.20pt, -40.60pt), (74.20pt, 51.80pt), stroke: 0.7pt + black, fill: white) content((65.80pt, 43.40pt), anchor: "north-east", text(size: 10pt)[U is equal to fruit]) circle((-33.60pt, 0.00pt), radius: 28.00pt, stroke: 0.7pt + black, fill: white) circle((33.60pt, 0.00pt), radius: 28.00pt, stroke: 0.7pt + black, fill: white) content((-33.60pt, 33.04pt), text(size: 10pt)[apples]) content((33.60pt, 33.04pt), text(size: 10pt)[oranges]) })], [#cetz.canvas({ import cetz.draw: * content((0pt, 63.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Negation]) rect((-56.00pt, -40.60pt), (56.00pt, 51.80pt), stroke: 0.7pt + black, fill: white) content((47.60pt, 43.40pt), anchor: "north-east", text(size: 10pt)[U is equal to fruit]) circle((-15.40pt, 0.00pt), radius: 28.00pt, stroke: 0.7pt + black, fill: white) circle((15.40pt, 0.00pt), radius: 28.00pt, stroke: 0.7pt + black, fill: white) content((-15.40pt, 33.04pt), text(size: 10pt)[apples]) content((15.40pt, 33.04pt), text(size: 10pt)[oranges]) content((0.00pt, 0.00pt), text(size: 9pt)[x]) })] )]), alt: "Two charts show two circles. The first chart titled Statement depicts all no apples are oranges shows a pink-colored circle labeled apples and a green-colored circle labeled oranges. The first chart represents U is equal to fruit. The second chart titled Negation depicts some apples are oranges shows two circles in the form of a Venn diagram. The first pink-colored circle is labeled apples and the second green-colored circle is labeled oranges. The region found between the two circles is in orange. An 'x' mark is indicated in this orange-colored region. The second chart represents U is equal to fruit.", caption: none, ) The negation of the true statement “No apples are oranges,” is the false statement, “Some apples are oranges.” summarizes the four different forms of logical statements involving quantifiers and the forms of their associated negations, as well as the meanings of the relationships between the two categories or sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$]. #figure(table( columns: 2, align: left, inset: 6pt, table.header([Logical Statements with Quantifiers], [Negation of Logical Statements w/Quantifiers]), [Form: All #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. #linebreak() Means: #math.equation(block: false, alt: "A")[$A$] is a subset of #math.equation(block: false, alt: "B")[$B$], #math.equation(block: false, alt: "A ⊂ B .")[$A ⊂ B .$] #linebreak() All zebras have stripes. (True)], [Form: Some #math.equation(block: false, alt: "A")[$A$] are not #math.equation(block: false, alt: "B")[$B$]. #linebreak() Means: #math.equation(block: false, alt: "A")[$A$] is not a subset of #math.equation(block: false, alt: "B")[$B$], #math.equation(block: false, alt: "A ⊄ B .")[$A ⊄ B .$] #linebreak() Some zebras do not have stripes. (False)], [Form: Some #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. #linebreak() Means: #math.equation(block: false, alt: "A")[$A$] intersection #math.equation(block: false, alt: "B")[$B$] is not empty, #math.equation(block: false, alt: "A intersection B not equal to the empty set .")[$A ∩ B ≠ ∅ .$] #linebreak() Some fish are sharks. (True)], [Form: No #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. #linebreak() Means: #math.equation(block: false, alt: "A")[$A$] intersection #math.equation(block: false, alt: "B")[$B$] is empty, #math.equation(block: false, alt: "A intersection B equals the empty set .")[$A ∩ B = ∅ .$] #linebreak() No fish are sharks. (False)], [Form: No #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. #linebreak() Means: #math.equation(block: false, alt: "A")[$A$] intersection #math.equation(block: false, alt: "B")[$B$] is empty, #math.equation(block: false, alt: "A intersection B equals the empty set .")[$A ∩ B = ∅ .$] #linebreak() No trees are evergreens. (False)], [Form: Some #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. #linebreak() Means: #math.equation(block: false, alt: "A")[$A$] intersection #math.equation(block: false, alt: "B")[$B$] is not empty, #math.equation(block: false, alt: "A intersection B not equal to the empty set .")[$A ∩ B ≠ ∅ .$] #linebreak() Some trees are evergreens. (True)], [Form: Some #math.equation(block: false, alt: "A")[$A$] are not #math.equation(block: false, alt: "B")[$B$]. #linebreak() Means: #math.equation(block: false, alt: "A")[$A$] is not a subset of #math.equation(block: false, alt: "B")[$B$], #math.equation(block: false, alt: "A ⊄ B .")[$A ⊄ B .$] #linebreak() Some horses are not mustangs. (True)], [Form: All #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$]. #linebreak() Means: #math.equation(block: false, alt: "A")[$A$] is a subset of #math.equation(block: false, alt: "B")[$B$], #math.equation(block: false, alt: "A ⊂ B .")[$A ⊂ B .$] #linebreak() All horses are mustangs. (False)], )) We covered sets in great detail in Chapter 1. To review, " #math.equation(block: false, alt: "A")[$A$] is a subset of #math.equation(block: false, alt: "B")[$B$]" means that every member of set #math.equation(block: false, alt: "A")[$A$] is also a member of set #math.equation(block: false, alt: "B")[$B$]. The intersection of two sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] is the set of all elements that they share in common. If #math.equation(block: false, alt: "A")[$A$] intersection #math.equation(block: false, alt: "B")[$B$] is the empty set, then sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] do not have any elements in common. The two sets do not overlap. They are disjoint. #notebox("Video", rgb("#DC2626"), rgb("#DC2626"), rgb("#f7f8fa"))[ #link("https://openstax.org/r/Logic_Statements_and_Quantifiers")[Logic Part 1A: Logic Statements and Quantifiers] ] #examplebox("Example 7")[Negating Statements Containing Quantifiers #emph[All], #emph[Some], or #emph[None]][ Given the statements: #math.equation(block: false, alt: "p")[$p$]: All leopards have spots. #linebreak() #math.equation(block: false, alt: "r")[$r$]: Some apples are red. #linebreak() #math.equation(block: false, alt: "s")[$s$]: No lemons are sweet. Write each of the following symbolic statements in words. + #math.equation(block: false, alt: "~ p")[$∼ p$] + ~#math.equation(block: false, alt: "r")[$r$] + #math.equation(block: false, alt: "~ s")[$∼ s$] #solutionbox[ + The statement “All leopards have spots” is #math.equation(block: false, alt: "p")[$p$] and has the form “All #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$].” The negation will have the form “Some #math.equation(block: false, alt: "A")[$A$] are not #math.equation(block: false, alt: "B")[$B$].” The negation of #math.equation(block: false, alt: "p")[$p$] is the statement, “Some leopards do not have spots.” + The statement “Some apples are red” has the form “Some #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$].” This indicates that the categories #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] overlap or intersect. The negation will have the form, “No #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$],” indicating that #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] do not intersect. This results in the opposite truth value of the original statement, so the negation of “Some apples are red” is the statement: “No apples are red.” + Because #math.equation(block: false, alt: "s")[$s$] is the statement: “No lemons are sweet,” #math.equation(block: false, alt: "s")[$s$] is asserting that the set of lemons does not intersect with the set of sweet things. The negation of #math.equation(block: false, alt: "s")[$s$], #math.equation(block: false, alt: "~ s")[$∼ s$], must make the opposite claim. It must indicate that the set of lemons intersects with the set of sweet things. This means at least one lemon must be sweet. The statement, “Some lemons are sweet” is #math.equation(block: false, alt: "~ s")[$∼ s$]. The negation of the statement, “No #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$],” is the statement, “Some #math.equation(block: false, alt: "A")[$A$] are #math.equation(block: false, alt: "B")[$B$],” as indicated in . ] ] === Key Terms - logic - logical statement - truth values - symbolic form - negation of a logical statement - quantifier - premises - conclusion - inductive logical arguments === Key Concepts - Logical statements have the form of a complete sentence and make claims that can be identified as true or false. - Logical statements are represented symbolically using a lowercase letter. - The negation of a logical statement has the opposite truth value of the original statement. - Be able to - Determine whether a sentence represents a logical statement. - Write and translate logical statements between words and symbols. - Negate logical statements, including logical statements containing quantifiers of #emph[all, some, and none]. === video - #link("https://openstax.org/r/Logic_Statements_and_Quantifiers")[Logic Part 1A: Logic Statements and Quantifiers]