Koofers

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

Notes Information

Material Type:Class Note
Professor:Staff
Class:CMSC 250 - Discrete Structures
Subject:Computer Science
University:University of Maryland
Term: 2007
Keywords:
  • Contradiction
  • Immediately
  • Definitions
  • Contrapositive
  • Rational Number
  • Substitution
  • Propositional
  • Infinite Sets
  • Generalization
  • Transitivity
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

CMSC 250 Discrete Structures Number Theory 20 June 2007 Number Theory 2 Exactly one car in the plant has color square6 H(a) := "a has color" square6 ?x?Cars - H(x) ? square4 ?a?Cars - a ? x ? ~ H(a) square6 H(a,b) := "a has color b" square6 ?x?Cars - ?y?Colors square4 H(x,y) ? - ?a?Cars, ?b?Colors square4 a ? x ? ~ H(a,b) 20 June 2007 Number Theory 3 At most one car in the plant has color square6 H(a,b) := "a has color b" square6 ?x,a?Cars - ?y,b?Colors square4 [H(x,y) ? H(a,b)] ? x = a 20 June 2007 Number Theory 4 At least two cars in the plant have color square6 H(a,b) := "a has color b" square6 ?x,a?Cars - ?y,b?Colors square4 H(x,y) ? H(a,b) ? x ? a 20 June 2007 Number Theory 5 Existential Gen/Inst square6 Existential Generalization - P(value) - value ? D ??x?D such that P(x) square6 Existential Instantiation - ?x?D such that P(x) ?P(a), a?D such that P(a) is true 20 June 2007 Number Theory 6 Proofs Must Have! square6 Clear statement of what you are proving square6 C...

Related Documents

Contrapositive Exam
Best Wishes Notes
Definite Truth Values Notes
Contrapositive Notes
Contrapositive Notes
Contrapositive Notes
Contrapositive Notes
Propositional Logic Notes
Assumptions Notes
Immediately Exam
Immediately Exam
Inductive Logic Notes
Either...or Exam
Provided That Quiz
Either...or Exam
Contrapositive Notes
155, "/var/app/current/tmp/"