Lesson 10: General Mathematics Logic (Propositions)
Lesson 10: General Mathematics Logic (Propositions)
Target:
Remark that simple propositions are also called atomic propositions because they are the
building blocks of propositional logic as atoms are considered building blocks in chemistry.
Consequently, any compound proposition is composed of simple propositions.
Remark the compound propositions will be revisited more closely in the next meeting.
Group work.
In the explore activity, each of you was asked to provide an argument for or against a
statement of their choice. Each of you will determine whether each sentence in your
argument is a proposition. You should also identify whether it is simple or compound, if it is
a compound proposition, you should also identify its simple components.
Formalize the following arguments and verify whether they are correct:
• “If Carlo won the competition, then either Mario came second or Sergio came third.
Sergio didn’t come third. Thus, if Mario didn’t come second, then Carlo didn’t win the
competition.”
• “If Carlo won the competition, then either Mario came second or Sergio came third.
Mario didn’t come second. Thus, if Carlo won the competition, then Sergio didn’t
come third.”
• “If Carlo won the competition, then Mario came second and Sergio came third.
Mario didn’t come second. Thus Carlo didn’t win the competition.”
• “If Carlo won the competition, then, if Mario came second then Sergio came third.
Mario didn’t come second. Thus, either Carlo won or Sergio arrived third”
• “If you play and you study you’ll pass the exams, while if you play and don’t study
you won’t pass. Thus, if you play, either you study and you’ll pass the exams, or you
don’t study and you won’t pass.”