II.
PREDICATE LOGIC.(25 pts)
A. Let P(x) be the statement x 2 > x4. If the domain consists of the integers,
what are the truth values?
1. P(0)
2. P(-1)
3. P(1)
4. P(2)
5. ∃xP(x)
6. ∀xP(x)
B. Write the following predicates symbolically and determine its truth value.
Note: Use at least three (3) values for the variables. (5 pts each)
1. for every real number x, if x>1 then x – 1 > 1
2. for some real number x, x2 ≤ 0
A. The truth vakues are-
1. P(0)-T
2. P(-1) -T
3. P(1) -F
4. P(2) -F
5. ∃xP(x)-F
6. ∀xP(x)-T
B. 1.for x>1 then x-1>1
The truth value for above statement is false.
2.for real number x , "x^2\\ge 0"
The truth value is true since for every real number "x^2\\ge0"
Comments
Leave a comment