Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Mar 5, 2012
Basic Methods: We define theorems and describe how to formally construct a proof. We note further rules of inference and show how the logical equivalence of reductio ad absurdum allows proof by contradiction.