May 21, 2021 •
Rules of Inference
— P implies Q. P is true. Therefore Q must also be true.
— P implies Q. Q is not true. Therefore P must not be true.
— I believe P, therefore P is true.