A somewhat more detailed derivation was made in this post by komponisto. He derived the analogues of modus ponens and modus tollens from Bayes’ theorem. If you want even more detail, the first couple of chapters of Probability Theory: The Logic of Science discuss it.
A somewhat more detailed derivation was made in this post by komponisto. He derived the analogues of modus ponens and modus tollens from Bayes’ theorem. If you want even more detail, the first couple of chapters of Probability Theory: The Logic of Science discuss it.