Tags
Question
Separation Rule: If $$< x \land y >$$ is a theorem, then [...]
both x and y are theorems.

Tags
Question
Separation Rule: If $$< x \land y >$$ is a theorem, then [...]
?

Tags
Question
Separation Rule: If $$< x \land y >$$ is a theorem, then [...]
both x and y are theorems.
If you want to change selection, open original toplevel document below and click on "Move attachment"

Parent (intermediate) annotation

Open it
Separation Rule: If $$< x \land y >$$ is a theorem, then both x and y are theorems.

Original toplevel documents (pdfs)

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

Summary

status measured difficulty not learned 37% [default] 0

No repetitions