Logic - Fitch-style Natural Deduction Proofs #24-29

preview_player
Показать описание
Logic - Rose - MBHS - Blair - Natural deduction proofs in propositional logic via a Fitch-style system. In this video, I do proofs #24-29, including explaining rules for introducing a biconditional. - 09/26/2020
Рекомендации по теме
Комментарии
Автор

@0:08 Proof #24 ** @12:20 Proof #25 ** @17:42 Proof #26 ** @20:25 Proof #27 ** @29:27 Proof #28 ** @44:09 Proof #29

dodecahedra
Автор

Thank you so much for making this course. You saved my life. Not literally but close to it.

klyuvoklyuv
Автор

Thank you very much William, you saved my sleepless night !!

eloydellamas
Автор

(20:17)...yes, you are the best! 😁Thanks for your knowledge and hard work.👍

daveglen
Автор

Great video about natural deduction! Cool shirt dude

csperi-peri
Автор

07:10 probably a stupid question, but couldn't you just get a contradiction by conjunction introduction with 1 and 14 directly?

FranciscoMarzoa