ITS462 - Propositional logic/calculus
Assessment
•
Fatini Alya
•
Computers, Science, Mathematics
•
University
•
38 plays
•
Hard
Student preview
16 questions
Show answers
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
Explore all questions with a free account
Find a similar activity
Create activity tailored to your needs using
.svg)
Propositional Logic
•
8th Grade - University
Propositional Logic Quiz
•
University
Predicate and Quantifiers
•
University
Propositional logic
•
University
AI QUIZ
•
University
Propositional Logic
•
University
KNOWLEDGE REPRESENTATION
•
University
Logic in MIS
•
University