Video 20: Derivations with Negation Elimination

preview_player
Показать описание

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

5 years late to this video, but I believe the symbol used for Biconditional Elimination has its 'E' omitted by mistake at 4:17 onwards. Otherwise, great lesson, thank you.

kaethis
join shbcf.ru