Discrete Structures

• Predicate


  A predicate with variables can be made a proposition by either assigning a value to the variable or by quantifying the variable
• Quantifier


  Words that refer to quantities such as "some" or "all" and tell for how many elements a given predicate is true
• Quantifiers


  • Universal Quantifiers (such as "for all" or "every")
  • Existential Quantifiers (such as "there exists" or "some")
• Existential Quantifiers


  • There exists a solution to this equation
  • Some students prefer math over English
  • At least one car in the parking lot is pink
  • There exists a red apple in the basket
• Predicates


  • Predicates are special rules or conditions that help us describe properties, characteristics, or actions of objects or elements in a set. They provide a way to make assertions and draw conclusions about the attributes or behaviors of subjects within statements.
• Quantifiers


  • Quantifiers are words that help us talk about how many or how much of something there is in a set or collection of objects. They enable us to make general statements about groups of elements and specify conditions that apply to those elements.