1. Department of Computer Science Abdul Wali Khan University Mardan
Predication Logic
Dr. Rahim Kha
Assistant Professor
Department of Computer Science
Abdul Wali Khan University Mardan

2. Existential Quantifiers
I heard it from one of your friends
A mad dog has bitten Andy
Some people prefer logic

3. Universal Quantifiers
Another way of quantifying a predicate is to say that it is true for every value

4. Universal Quantifiers cntd..

5. Quantifiers Notations

6. Example
The constraint takes on the role of a conjunction or an implication, depending upon the quantifier concerned
The existentially quantified predicate
there exists an x in a satisfying p, such that q’.