Standard #: MA.912.LT.4.1


This document was generated on CPALMS - www.cpalms.org



Translate propositional statements into logical arguments using propositional variables and logical connectives.


General Information

Subject Area: Mathematics (B.E.S.T.)
Grade: 912
Strand: Logic and Discrete Theory
Status: State Board Approved

Benchmark Instructional Guide

Connecting Benchmarks/Horizontal Alignment

Terms from the K-12 Glossary

 

Vertical Alignment

Previous Benchmarks

Next Benchmarks

Purpose and Instructional Strategies

In Math for College Liberal Arts, students translate propositional statements into logical arguments using propositional variables and logical connectives. 
  • This benchmark is an introduction to the fundamentals of propositional logic. 
  • Instruction includes the definition of propositional statements, discussion of the types of propositional statements, as well as examples of sentences that are not propositional statements. 
  • The building blocks of logic are propositional statements, which are statements that are either true or false. Every propositional statement in logic is either true or false. It cannot be both or neither. 
The following are examples of propositional statements. 
    • The answer to 2 plus 2 is 7. 
    • The capital of Florida is Tallahassee. 
    • The floor is lava. 
  • Sentences that express opinions, questions, commands or whose truth value cannot be determined are not statements within the study of logic. 
The following are NOT propositional statements: 
    • Are we there yet? (question) 
    • The sky is beautiful. (opinion) 
    • Take out the trash. (command) 
    • This sentence is false. (truth value cannot be determined) 
  • Propositional statements are designated with lower-case variables. The most commonly used variables in logic are p, q and r
    • The structure of the statement is defined as: 
      • p: The moon is made of cheese. 
      • q: All cows have feathers. 
  • Propositional statements may be simple, quantified or compound. 
    • A simple propositional statement is a declarative statement that does not contain a connective. 
      • p: The TV is on. 
    • A quantified propositional statement contains a quantifier such as, all, none, or some. 
      • p: None of the remotes work. 
      • q: Some of the grass is green. 
    • A compound propositional statement includes multiple simple and quantified statements linked with logical connectives, such as ‘and,’ ‘or,’ “if…then” and “if and only if.” 
      • p: The car is broken and I have to go to work. 
      • q: If the sun is out, then it is raining. 
  • Instruction includes the representation of logical connectives using logical symbolism and the use of proper terminology. Logical connectives are used to modify statements to produce new forms of statements, such as a negation, conjunction, disjunction, conditional, and biconditional.

    • Logical modifiers and connectives will look like the example below: 
      • p: The light is on. 
      • q: The door is locked. 

  • Conditional statements (pq)contain a hypothesis (p) and a conclusion (q). In a conditional statement, p is the antecedent and q is the consequent. 
  • Negating a sentence changes its truth value; a true statement becomes false, and a false statement becomes true. 
  • Negating quantified and compound statements will require additional rules of logic. 
    • Negating quantified statements 

      • p: All birds are blue. 
      • ~p: Some birds are not blue. 
    • Negating conjunction and disjunction statements use DeMorgan’s Laws (MA.912.LT.5.6): 

      • p: The car is broken. 
      • q: I have to go to work. 
      • pq: The car is broken and I have to go to work. 
      • ~(pq): It is not true that, the car is broken and I have to go to work. 
      • ~p ∨ ~q: The car is not broken or I don’t have to go to work. 
    • Negating conditional statements can be thought of as breaking a promise. 

      • p: The car is broken. 
      • q: I have to go to work. 
      • pq: If the car is broken, then I have to go to work. 
      • ~(pq): If it is not true that, if the car is broken, then I have to go work. 
      • p ∧ ~q: The car is broken and I don’t have to go to work. 
  • For mastery of this benchmark, students should be given opportunities to translate a variety of propositional statements into logical symbolism and vice versa while engaging in discussions that reflect on mathematical thinking of self and others (MTR.4.1). 
  • Instruction includes connections to set operations (MA.912.LT.5.4) and Venn Diagrams (MA.912.LT.5.5).

Common Misconceptions or Errors

  • Students may improperly negate quantified statements. 
    • For example, when asked to negate “All giraffes are orange,” students will respond with “No giraffes are orange.”
      To help address this, remind students that to negate a quantified statement of the type “All A are B,” we need to produce a counter-example of at least one A that is not B, or the shorter version “Some A are not B.” On the other hand, to negate “No A are B,” we need to find an example of an A that is also B, or “Some A are B.” 
  • Students may improperly translate conditional statements where the hypothesis follows the conclusion statement. 
    • For example, let p: “The grass is green,” let q: “It is spring.” Students may incorrectly translate “the grass is green if it is spring” as pq
      To help address this, remind students that pq translates as “if p, then q” or “p implies q.” However, in the conditional statement provided, q is the hypothesis for the conclusion p. So the symbolic translation should be qp
  • Students may struggle when negating compound statements, such as conjunction, disjunction, and conditional.

Instructional Tasks

Instructional Task 1 (MTR.4.1)
  • For the simple statements:
    p: It is a frog. 
    q: It has feathers. 
  • Part A. For each compound statement, write the symbolic form. 

  • Part B. Justify your answers in writing by explaining the process you used to translate each compound statement. Compare your reasoning with others in your group. 
Instructional Task 2 (MTR.1.1
  • Part A. Define p as a quantified statement of your choice. 
  • Part B. Define q as a simple statement of your choice. 
  • Part C. Write the compound statement (pq) using your definitions. 
  • Part D. Write the compound statement ~pq using your definitions.

Instructional Items

Instructional Item 1 
  • Select the negation of: Some planets are habitable. 
    • a. All planets are habitable. 
    • b. Some planets are not habitable. 
    • c. No planets are habitable.

Instructional Item 2 
  • For simple statements: 
    p: This book is boring.
    q: I need coffee. 
  • Write each of the following as a grammatically correct sentence: 
    • p and q 
    • p or q 
    • ~pq 
    • ~ (pq
    • p → ~q

*The strategies, tasks and items included in the B1G-M are examples and should not be considered comprehensive.



Related Courses

Course Number1111 Course Title222
7912070: Access Mathematics for Liberal Arts (Specifically in versions: 2014 - 2015, 2015 - 2018, 2018 - 2019, 2019 - 2022, 2022 - 2023, 2023 and beyond (current))
1207350: Mathematics for College Liberal Arts (Specifically in versions: 2022 and beyond (current))
1212300: Discrete Mathematics Honors (Specifically in versions: 2022 and beyond (current))


Printed On:3/29/2024 9:02:08 AM
Print Page | Close this window