Introduction to Logic Online Course, Week 13: Conditional Proof & Indirect Proof in Predicate Logic

preview_player
Показать описание
Introduction to Logic Online Course, Week 13: Conditional Proof & Indirect Proof in Predicate Logic. College of Eastern Idaho, Fall 2020, Instructor: Zachary Fruhling.
Рекомендации по теме
Комментарии
Автор

15:26 for contrapositive it was faster and gives the same contradiction -sa & sa

abrilthom