Formal Proofs 
Formal Proofs
by Robert Donley
Video Lecture 3 of 17
Not yet rated
Views: 701
Date Added: March 9, 2015

Lecture Description

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.

Course Index

Course Description

Math Doctor Bob provides a brief course on logic, proofs, sets, and the integers. Intended as a prerequisite playlist for Abstract Algebra and Real Analysis courses.


There are no comments. Be the first to post one.
  Post comment as a guest user.
Click to login or register:
Your name:
Your email:
(will not appear)
Your comment:
(max. 1000 characters)
Are you human? (Sorry)