Question: a ) Use the predicate specifications: b ( x , Y ) : x scares Y c ( x ) : x i s a
a Use the predicate specifications:
: scares
: a cat
: chases
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:
AAxAAzS
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.
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
