Tags
Question
Rule of Specification: Suppose u is a variable which occurs inside the string x. If the string $$\forall u:x$$ is a theorem, then so is x, and so are any strings made from x by replacing u, wherever it occurs, by one and the same term. (Restriction: [...].)
The term which replaces u must not contain any variable that is quantified in x

Tags
Question
Rule of Specification: Suppose u is a variable which occurs inside the string x. If the string $$\forall u:x$$ is a theorem, then so is x, and so are any strings made from x by replacing u, wherever it occurs, by one and the same term. (Restriction: [...].)
?

Tags
Question
Rule of Specification: Suppose u is a variable which occurs inside the string x. If the string $$\forall u:x$$ is a theorem, then so is x, and so are any strings made from x by replacing u, wherever it occurs, by one and the same term. (Restriction: [...].)
The term which replaces u must not contain any variable that is quantified in x
If you want to change selection, open original toplevel document below and click on "Move attachment"

#### Parent (intermediate) annotation

Open it
urs inside the string x. If the string $$\forall u:x$$ is a theorem, then so is x, and so are any strings made from x by replacing u, wherever it occurs, by one and the same term. (Restriction: <span>The term which replaces u must not contain any variable that is quantified in x.) <span>

#### Original toplevel documents (pdfs)

• owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p217
• owner: naraypv - (no access) - GĂ¶del, Escher, Bach_ An Eternal Golden Braid-Basic Books (1994).pdf, p225

#### Summary

status measured difficulty not learned 37% [default] 0

No repetitions