PREDICATE LOGIC:
Write the following predicates symbolically and determine its truth value.
Note: Use at least three (3) values for the variables.
1. for every real number x, if x>1 then x – 1 > 1
2. for some real number x, x2 ≤ 0
C. Translate the following English sentence into symbol. (3 pts each)
1. No one in this class is wearing pants and a guitarist.
Let:
Domain of x is all persons
A(x): x is wearing pants
B(x): x is a guitarist
C(x): belongs to the class
Answer: __________________________________________________
2. No one in this class is wearing pants and a guitarist.
Let:
Domain of x is persons in this class
A(x): x is wearing pants
B(x): x is a guitarist
Answer: __________________________________________________
3. There is a student at your school who knows C++ but who doesn’t
know Java.
Let:
Domain: all students at your school
C(x): x knows C++
J(x): x knows Java
Answer: ______________________________
Comments
Leave a comment