Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Contrapositive Rule: [...]
Answer
\(< x \supset y >\) and \(< \neg x \supset \neg y >\) are interchangeable.
Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Contrapositive Rule: [...]
Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Contrapositive Rule: [...]
Answer
\(< x \supset y >\) and \(< \neg x \supset \neg y >\) are interchangeable.
If you want to change selection, open original toplevel document below and click on "Move attachment"
Parent (intermediate) annotation
Open it Contrapositive Rule: \(< x \supset y >\) and \(< \neg x \supset \neg y >\) are interchangeable. Original toplevel document (pdf)
owner:
piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p187
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