Example: air traffic controller

Lecture 2 CH.1 The Foundations: Logic and Proofs

Lecture 2 Dr.Mohamed Abdel-Aal Discrete Mathematics A statement of the form P (x1, x2, . . . , xn) is the value of the propositional function P at the n-tuple (x1, x2, . . . , xn), and P is also called an n-place predicate or a n-ary predicate. Quantifiers Quantification expresses the extent to which a predicate is true over a

Tags:

  Foundations

Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Transcription of Lecture 2 CH.1 The Foundations: Logic and Proofs

Related search queries