q2-predicate - (b) Every CSE student is taking CSE 260. (c)...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE 260 QUIZ-2– Predicate Logic- ANSWERS (25 minutes) NAME: 1. (10 points) Determine the truth value of each of these statements if the universe of discourse for all variables consists of all integers. (a) n ( n 2 0) True (b) n ( n 2 = 2) False (c) n ( n 2 n ) True (d) n ( n 2 < 0) False 2. (10 points) Answer the following true/false. (a) xP ( x ) ⇔ ¬∃ x ¬ P ( x ) True (b) xP ( x ) ⇔ ¬∀ xP ( x ) False (c) x ( p ( x ) q ( x )) ⇔ ∀ x ( ¬ q ( x ) → ¬ p ( x )) True (d) x yP ( x, y ) ⇔ ∃ y xP ( x, y ) False 3. (10 points) Answer the following multiple choice question: C(x): x is taking CSE 260 M(x): X is a CSE major x ( M ( x ) C ( x )) Universe of discourse for the variable x is all students. The above in English is as follows: Answer is (a) 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
(a) Every student is a CSE major and they all are taking CSE 260.
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: (b) Every CSE student is taking CSE 260. (c) None of the above. 4. (10 points) Translate each of these statements into logical expressions using predicates, quantiFers, and logical connectives. Universe of dis-course consist of all people. Question 21 on page 41. Answer is on page S-5 of the text book. (a) Someone in your class can speak Hindi. (b) Everyone in your class is friendly. (c) There is a person in your class who was not born in California. (d) No student in your class has taken a course in logic programming. 2...
View Full Document

This note was uploaded on 06/08/2009 for the course CSE 260 taught by Professor Saktipramanik during the Spring '08 term at Michigan State University.

Page1 / 2

q2-predicate - (b) Every CSE student is taking CSE 260. (c)...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online