Selected Rules of Predicate Calculus (Intuitive Approach)
Selected Theorems of Predicate Calculus
[pic]
[pic]
Examples of translations of English statements into Predicate Logic
Definition: Two integers [pic] are given.
We say that a [pic] divides [pic] if there is an integer [pic], such that [pic]. Symbolically
[pic]
Translate the following sentences into predicate logic:
1. Every number divisible by 4 is even.
[pic]
or
[pic]
2. Every sum of two positive numbers is positive.
[pic]
or
[pic]
or more precisely
[pic]
3. The product of 0 and any real number is 0.
[pic]
or more precisely
[pic]
4. Every sum of three odd numbers is odd.
[pic]
or
[pic]
5. Segment a[0..n-1] contains no zeros.
[pic]
6. Segment a[j..k] contains at least two zeros.
[pic]
7. Segment b[j..k] contains at least two maximal elements.
[pic]
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.