Question: This question is about bound and free variables in predicate wffs. Pick the correct answer for each statement. Question 1 options: 123 x ((P(x) Q(y))

This question is about bound and free variables in predicate wffs. Pick the correct answer for each statement.

Question 1 options:

123

x ((P(x) Q(y)) y R(x, y))

123

x (P(x) y R(x, y))

123

x P(x) y R(x, y)

123

x ((P(x) Q(x)) y R(x, y))

1.

No variables are free, they are all bound

2.

x is free and y is bound

3.

y is free and x is bound

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 Databases Questions!