Related questions
Question
Transcribed Image Text:Please label the following expression's variables as free or bound.
Ac. (^c. b (Ab. bc)) ((^a. a) (a b c))
The way this question will function is that each subquestion will bold one of the variables, and you
should say whether that one that is currently bolded is free or bound.
Q7.1
1 Point
Ac. (Ac. b (Ab. b c)) ((^a. a) (a b c))
○ Free
Bound
Save Answer
Q7.2
1 Point
Ac. (Ac. b (Ab. b c)) ((\a. a) (a b c))
○ Free
Bound
Save Answer
Transcribed Image Text:Q7.3
1 Point
Ac. (Ac. b (Ab. bc)) ((\a. a) (a b c))
Special question! This bolded variable c is bound. Which parameter is it bound to?
Ac. (^c. b (Ab. bc)) ((^\a. a) (a b c))
) Ac. (^c. b (\b. b c)) ((\a. a) (a b c))
) Ac. (^c. b (λb. b c)) ((^\a. a) (a b c))
Save Answer
Q7.4
1 Point
Ac. (Ac. b (Ab. bc)) ((\a. a) (a b c))
O Free
○ Bound
Save Answer
Q7.5
1 Point
Ac. (^c. b (b. b c)) ((\a. a) (a b c))
O Free
Bound
Save Answer
Q7.6
1 Point
Ac. (Ac. b (Ab. bc)) ((^a. a) (a b c))
Free
○ Bound
Save Answer
Q7.7
1 Point
Ac. (^c. b (Ab. b c)) ((^a. a) (a b c))
O Free
O Bound
Save Answer
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
Step by stepSolved in 2 steps
