#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
The contrapositive rule expresses explicitly a way of turning around conditional statements which we carry out unconsciously. For instance, the "Zentence"
If you are studying it, then you are far from the Way
means the same thing as
If you are close to the Way, then you are not studying it