# on 07-Oct-2020 (Wed)

#### Annotation 5888043519244

 [unknown IMAGE 5888042208524] #_check #direct-methods #has-images #mechanics-of-laminated-composites

#### pdf

cannot see any pdfs

#### Annotation 5888046402828

 [unknown IMAGE 5888045092108] #Ritz-method #_important #has-images #mechanics-of-laminated-composites

#### pdf

cannot see any pdfs

#### Annotation 5888050859276

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus Joining Rule: If x and y are theorems, then  is a theorem

#### pdf

cannot see any pdfs

#### Flashcard 5888052694284

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

status measured difficulty not learned 37% [default] 0

#### Parent (intermediate) annotation

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

#### Original toplevel document (pdf)

cannot see any pdfs

#### Annotation 5888054267148

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus Separation Rule: If $$< x \land y >$$ is a theorem, then both x and y are theorems.

#### pdf

cannot see any pdfs

#### Flashcard 5888056102156

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

status measured difficulty not learned 37% [default] 0

#### Parent (intermediate) annotation

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

#### Original toplevel document (pdf)

cannot see any pdfs

#### Annotation 5888057675020

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus Double-tilde Rule: The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

#### pdf

cannot see any pdfs

#### Flashcard 5888059510028

Tags
Question
Double-tilde Rule: [...]
The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

status measured difficulty not learned 37% [default] 0

#### Parent (intermediate) annotation

Open it
Double-tilde Rule: The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

#### Original toplevel document (pdf)

cannot see any pdfs

#### Annotation 5888061082892

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus Fantasy Rule: If y can be derived when x is assumed to be a theorem, then $$< x \supset y >$$ is a theorem.

#### pdf

cannot see any pdfs

#### Flashcard 5888063442188

Tags
Question
Fantasy Rule: [...]
If y can be derived when x is assumed to be a theorem, then $$< x \supset y >$$ is a theorem.

status measured difficulty not learned 37% [default] 0

#### Parent (intermediate) annotation

Open it
Fantasy Rule: If y can be derived when x is assumed to be a theorem, then $$< x \supset y >$$ is a theorem.

#### Original toplevel document (pdf)

cannot see any pdfs

#### Annotation 5888065015052

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus Carry-over Rule: Inside a fantasy, any theorem from the "reality" one level higher can be brought in and used

#### pdf

cannot see any pdfs

#### Flashcard 5888066850060

Tags
Question
Carry-over Rule: [...]
Inside a fantasy, any theorem from the "reality" one level higher can be brought in and used

status measured difficulty not learned 37% [default] 0

#### Parent (intermediate) annotation

Open it
Carry-over Rule: Inside a fantasy, any theorem from the "reality" one level higher can be brought in and used

#### Original toplevel document (pdf)

cannot see any pdfs

#### Annotation 5888068422924

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus Rule of Detachment: If x and $$< x \supset y >$$ are both theorems, then y is a theorem.

#### pdf

cannot see any pdfs

#### Flashcard 5888070257932

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

status measured difficulty not learned 37% [default] 0

#### Parent (intermediate) annotation

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

#### Original toplevel document (pdf)

cannot see any pdfs

#### Annotation 5888071830796

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus Contrapositive Rule: $$< x \supset y >$$ and $$< \neg x \supset \neg y >$$ are interchangeable.

#### pdf

cannot see any pdfs

#### Flashcard 5888073665804

Tags
Question
Contrapositive Rule: [...]
$$< x \supset y >$$ and $$< \neg x \supset \neg y >$$ are interchangeable.

status measured difficulty not learned 37% [default] 0

#### Parent (intermediate) annotation

Open it
Contrapositive Rule: $$< x \supset y >$$ and $$< \neg x \supset \neg y >$$ are interchangeable.

#### Original toplevel document (pdf)

cannot see any pdfs

#### Annotation 5888075238668

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus De Morgans Rule: $$< \neg x \land \neg y>$$ and $$\neg$$are interchangeable

#### pdf

cannot see any pdfs

#### Annotation 5888077073676

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus $$< \neg x \land \neg y>$$ and $$\neg$$ are interchangeable

#### Parent (intermediate) annotation

Open it
De Morgans Rule: $$< \neg x \land \neg y>$$ and $$\neg<x \lor y >$$ are interchangeable

#### Original toplevel document (pdf)

cannot see any pdfs

#### Annotation 5888078122252

 #artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus Switcheroo Rule:  and $$<\neg x \supset y>$$ are interchangeable.

#### pdf

cannot see any pdfs

#### Flashcard 5888079957260

Tags
Question
Switcheroo Rule: [...]
$$<x \lor y>$$ and $$<\neg x \supset y>$$ are interchangeable.
Switcheroo Rule: $$<x \lor y>$$ and $$<\neg x \supset y>$$ are interchangeable.