Logic Lesson 15: Proving De Morgan's Theorem with Indirect Proof

preview_player
Показать описание
In this last video on sentential logic, though not the last on symbolic logic, we finish up our proofs of the rules of replacement with proofs for both forms of De Morgan's Theorem. The solutions to the proofs can also be seen on my blog at

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

Рекомендации по теме
Комментарии
Автор

No Offence but if you're in a hurry, start at 03:09.

akshaychoudhry
Автор

The one solution I needed and you cheated lol

chriscanon