Logic Lesson 11: Nesting Conditional Proofs

preview_player
Показать описание
This video illustrates the nesting of conditional proofs with a proof of the rule of exportation. Although we have done nested conditional oroofs before, it includes some extra detail on what goes into nesting conditional proofs. The blog on this video is available here:

This video is part of a series on symbolic logic. If you don't already know how to do proofs, check out the earlier videos in this playlist:

Рекомендации по теме