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:
Information
Domain:
Source:
Link to this page: