CISC 3250: Exam 1 sample questions
Use the set, elements, and predicates below to express the three statements with predicate logic.
S=Set of students = {Mae, Ron, Tasha, Vincent, Zoe}
t(x) = x likes taking tests
m(x) = x likes watching movies
"Mae or Tasha likes taking tests."
Display answer
???
t(Mae)∨t(Tasha)
"No student likes tasking tests"
Display answer
???
∀ x∊S : t'(x)
"At least one student likes to take tests or watch movies"
Display answer
???
∃ x∊S : t(x)∨m(x)