can anybody help ?
thanks
Hi
I am trying to answer the question which I have attached. Please tell me if the answers are correct.
a) let M(x,y) = x has forgiven y R(x)= x is a saint
U=universe of discourse= all humans
b)let R(x) = x is in calculus class ; Q(x) = x is in discrete math class
M(x,y)= x is smarter than y
U=universe of discourse = all humans
c)let P(x) = x likes mary ; R(x) = x is mary
U=universe= all humans
d)let P(x) = x is a police officer
Q(x) = x is jane
R(x)= x is roger
M(x,y) = x saw y
U=universe= all humans
e)let P(x) = x is police officer
M(x,y) = x saw y
let j=jane and r=roger
again U=universe of discourse = all humans
thanks
I think this is correct. (In (b), you need to insert a space between \Rightarrow and M.)
I am not sure if your problem allowed defining individual constants along with predicates. In (e) you did define j and r. For example, (c) could be ∀x (L(x,m) <-> x ≠ m) where L(x,y) means x likes y and m means Mary.
It is easier to read formulas if predicates are named mnemonically, e.g., C(x) for calculus, S(x,y) for saw, etc.