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: [...].)
Answer
The term which replaces u must not contain any variable that is quantified in x
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: [...].)
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: [...].)
Answer
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
not learned
measured difficulty
37% [default]
last interval [days]
repetition number in this series
0
memorised on
scheduled repetition
scheduled repetition interval
last repetition or drill
Details
No repetitions
Discussion
Do you want to join discussion? Click here to log in or create user.