Formal Methods in Computer Science Intro to Quantifiers

1
Formal Methods in Computer ScienceIntro to
Quantifiers

• Patchrawat Uthaisombut
• University of Pittsburgh

2
Recap questions

• Describe a situation that can be expressed in
  first-order logic but not in propositional logic.
• What is the difference between a well-formed
  formula (wff) and a sentence?
• Give 2 ways for modifying a wff into sentences.