Natural Deduction

Natural Deduction

Author: Kevin Browne

To demonstrate the technique of natural deduction using the rules of inference and rules of replacement.

See More
Try a College Course Free

Sophia’s self-paced online courses are a great way to save time and money as you earn credits eligible for transfer to over 2,000 colleges and universities.*

Begin Free Trial
No credit card required

28 Sophia partners guarantee credit transfer.

264 Institutions have accepted or given pre-approval for credit transfer.

* The American Council on Education's College Credit Recommendation Service (ACE Credit®) has evaluated and recommended college credit for 22 of Sophia’s online courses. More than 2,000 colleges and universities consider ACE CREDIT recommendations in determining the applicability to their course and degree programs.


Natural Deduction Part One

Covers the first four rules of implication with examples.

Natural Deduction Part Two

Covers the next four rules of inference with examples.

Natural Deduction Part Three

Covers the first set of rules of replacement with examples.

Natural Deduction Part Four

Covers the last of the rules of replacement with examples.