PREDICATE LOGIC:
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: _______
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: !"\\exist" x(C(x) and A(x) and B(x))
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: !"\\exist"x(A(x) and B(x)
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: "\\exist"x(C(x) and !J(x))
Comments
Leave a comment