Koofers

Lecture Notes for CMSC 250 - Discrete Structures with Plane at Maryland (UMD)

Notes Information

Material Type:Class Note
Professor:Plane
Class:CMSC 250 - Discrete Structures
Subject:Computer Science
University:University of Maryland
Term:--
Keywords:
  • Combinations
  • Combination
  • Consequence
  • Contrapositive
  • Overlapping
  • Conditional
  • (to/for) Him/it
  • Propositional
  • Development
  • Infinite Sets
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

Predicate Calculus . Subject / Predicate John / went to the store. The sky / is blue. . Propositional Logic - uses statements . Predicate Calculus - uses predicates - predicates must be applied to a subject in order to be true or false . P(x) - means this predicate represented by P - applied to the object represented by x Quantification . ?x There exists an x . ?x For all x's ---------------------- Usually specified from a domain . ?x ? Z There exists an x in the integers . ?x ? R For all x's in the reals . Domain - set where these subjects come from Translation . A student of mine is wearing a blue shirt. - Domain: people who are my students S - Quantification: There is at least one - Predicate: wearing a blue shirt ?x ? S such that B(x) where B(x) represents "wearing a blue shirt" . All of my students are in class. - Domain: people who are my students S - Quantification: All of them - Predicate: are in class ?x ? S such that C(x) where C(x) represents "...

Related Documents

Combinations Notes
Combination Notes
Either...or Exam
Either...or Exam
Best Wishes Notes
Computer Representation Exam
Particularly Notes
Either...or Quiz
Either...or Exam
Modus Ponens Quiz
Contrapositive Exam
Either...or Exam
Contrapositive Exam
Contrapositive Notes
Immediately Exam
Moral Argument Notes
155, "/var/app/current/tmp/"