Rule of Generalization: Suppose x is a theorem in which u, a variable, occurs free. Then \(\forall u:x\) is a theorem. (Restriction: [...])
Answer
No generalization is allowed in a fantasy on any variable which appeared free in the fantasy's premise.
If you want to change selection, open original toplevel document below and click on "Move attachment"
Parent (intermediate) annotation
Open it Rule of Generalization: Suppose x is a theorem in which u, a variable, occurs free. Then \(\forall u:x\) is a theorem. (Restriction: No generalization is allowed in a fantasy on any variable which appeared free in the fantasy's premise.)
Original toplevel documents (pdfs)
owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p218
owner: naraypv - (no access) - Gödel, Escher, Bach_ An Eternal Golden Braid-Basic Books (1994).pdf, p226
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.