Find the results of the following substitutions. Just give the answer and explain the reasons if the result is undefined:

a) (∀𝑥)(𝑓(𝑥) < 7)[𝑥 ≔ 7]

b) (∀𝑦)(𝑓(𝑥) < 7)[𝑥 ≔ 7]

There is nothing to substitute x to on both questions and will be therefore undefined?

  • $\begingroup$ Please edit the question to credit the source where you are reading this. $\endgroup$ – D.W. Mar 21 at 17:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.