Tags
Question
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.

Tags
Question
Rule of Generalization: Suppose x is a theorem in which u, a variable, occurs free. Then $$\forall u:x$$ is a theorem. (Restriction: [...])
?

Tags
Question
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.
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 document (pdf)

owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p218

#### Summary

status measured difficulty not learned 37% [default] 0

No repetitions