Wednesday, January 31, 2007

predicate logic

Question 1

In this question, assume the following predicate and constant symbols:

W(x,y) : x wrote y
L(x,y) : x is longer than y
N(x) : x is a novel
h : Hardy
a : Austen
j : Jude the Obscure
p : Pride and Predjudice

Given these specifications, which of the predicate logic formulas below represent the sentence, 'Hardy wrote a novel which is longer than any of Austen's' in predicate logic?
a. x (W(h,x) L(x,a)))
b. x y (L(x,y) W(h,y) W(a,x))
c. x y (W(h,x) W(a,y) L(x,y)))
d. x (N(x) W(h,x) y (N(y) W(a,y) L(x,y)))
e. x y (W(h,x) W(a,y) L(x,y))


i can solve that. :D (btw, it's d). it's one of my brother's hw problems...one out of 9 questions that i can do. xT

No comments: