Question: a ) Use the predicate specifications: b ( x , Y ) : x scares Y c ( x ) : x i s a

a) Use the predicate specifications:
b(x,Y):x scares Y
c(x):xis a cat
d(x,Y):x chases Y
and the constant symbols:
D: dog
M: mouse
B: bird
to translate the following natural language statement into predicate logic:
Some cat scared a dog which chased a mouse but was frightened by a bird.
b) Consider the predicate logic formula:
AAx(EEy(P(x,y)??Q(y))(EEyR(y,x)??AAzS(z,y))).
Identify a variable which has both free and bound occurrences in this formula. Mark the two occurrences in the formula, the one where it is bound and the other where it is free. If there is no such variable for any part of the question, write no such variable exists.
a ) Use the predicate specifications: b ( x , Y )

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!