Class4

• Predicates
  
• Universe of Discourse
  
• Quantifiers
  
• Quantifying on More than one Variable
  
• Predicates become Propositions
  
• Sets
  
• The Empty Set
  
• Cardinality of a Set
  
• Equality of Sets
  
• Subsets
  
• The Power Set

---