Have an account?
Skip to Content
Build your own quiz
Suggestions for you
Computers, Science, Mathematics
University
ITS462 - Propositional logic/calculus
16 questions
Show Answers
See Preview
- 1. Multiple Choice
State wether the predicate logic is true or false.
Every new beginning comes from some other beginning end.
Predicate: ∀x∃yBeginning(x) ⇒ [Beginning(y) ∧ ComesFrom(x, end(y))]
True
False
- 2. Multiple Choice
No one who runs walks.
∀x (¬run(x) → walk(x))
¬∃x (run (x) → walk (x))
∀x (run(x) → ¬ walk(x))
∃x (¬run(x) ∨ walk(x))
- 3. Multiple Choice
Universe of discourse for the variable x is all students.
C(x): x is taking CSE 260.
M(x): X is a CSE major.
∀x(M(x) ∧ C(x)) in English is
Every student is a CSE major and they all are taking CSE 260
Every CSE student is taking CSE 260
All student who take CSE 260 is a CSE major
None of the above
- 4. Multiple Choice
Translate this to english.
∀x(∀y love (x,y)→ (love(x,x))
Universe of discourse for the variable x is anyone and y is everyone.
love(x,y): Anyone loves everyone
love(x,x): Anyone loves himself
Anyone who loves anyone, loves himself
Anyone who loves everyone, loves himself
Everyone who loves anyone, loves himself
None of the above
- 5. Multiple Choice
Based on the following pair of expression, determine whether the answer is true or false
UNIFY(queen(a), ⌐queen(elizabeth)) = (elizabeth/a)
True
False
- 6. Multiple Choice
Based on the following pair of expression, determine whether the answer is true or false
UNIFY(ancestor(X,father(X)), ancestor(ali,ahmad)) = (ali/x, father(ahmad)/x)
True
False
- 7. Multiple Choice
How many steps involved in refutation?
2 steps
3 steps
8 steps
9 steps
- 8. Multiple Choice
First step of refutation is convert…
A. English to clause form
B. Clause form to english
C. Predicates to clause form
D. Clause form to predicates
- 9. Multiple Choice
How many steps in converting predicates to clause form
9 steps
6 steps
3 steps
2 steps
- 10. Multiple Choice
Choose the correct answer
Statement --> FOPC --> --> Resolution Refutation
English
Predicates
Clause form
Reputation
- 11. Multiple Choice
For the second step in refutation, which is the correct answer?
Convert English to clause form
Negate the predicates
Negate the goal and convert to clause form
Negate the goal
- 12. Multiple Choice
When is the refutation complete?
Contradiction does not occur and no progress can be made.
Contradiction occurs or no progress can be made.
Contradiction occurs and progress can be made.
None of the above
- 13. Multiple Choice
A predicate is a statement that contains variables and that may be true or false depending on the values of these variables
True
False
- 14. Multiple Choice
Define yes/no for this question
"Some birds are angry" is this an existential quantification?
Yes
No
- 15. Multiple Choice
Birds are angry.
On the internet, no one knows who you are.
The square of any real number is nonnegative.
Determine if those statement is a quantification
True
False
- 16. Multiple Choice
John does not love anyone
∃x¬ love(John, x)
¬∃x love(John, x)
¬∀x love(John, x)
- Answer choicesTagsAnswer choicesTags