What is Logic? #134: One Last Example Proof, I promise
Doctor Logic Awkwardly Does Logic: What is Logic?
Video #134: One Last Example Proof, I promise
Based on ch. 8: https://sluckelman.webspace.durham.ac.uk/whatislogic/
Doctor Logic on Twitter: @SaraLUckelman
Previous video: https://www.youtube.com/watch?v=e1KR_agId1s
Next video: https://www.youtube.com/watch?v=qFaNPr2Zcgo
Видео What is Logic? #134: One Last Example Proof, I promise канала Doctor Logic
Video #134: One Last Example Proof, I promise
Based on ch. 8: https://sluckelman.webspace.durham.ac.uk/whatislogic/
Doctor Logic on Twitter: @SaraLUckelman
Previous video: https://www.youtube.com/watch?v=e1KR_agId1s
Next video: https://www.youtube.com/watch?v=qFaNPr2Zcgo
Видео What is Logic? #134: One Last Example Proof, I promise канала Doctor Logic
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
What is Logic? #101: An Introduction to SubstitutionWhat is Logic? #99: What is a Sentence?What is Logic? #144: The Trairūpya-HetuWhat is Logic? #75: The First Derived Rule, Modus TollensWhat is Logic? #201: What you can't prove in T and What T isn't good forWhat is Logic? #78: Rules of Replacement: Contraposition, DeMorgan's, Double Negation, & ExportationWhat is Logic? #120: Basic Definitions of Predicate Proof TheoryWhat is Logic? #193: Admissable vs. Derivable RulesWhat is Logic? #213: Lewis's Logic S2What is Logic? #19: Bad Syllogisms"What the Tortoise Said to Achilles" by Lewis Carroll, read by Doctor LogicWhat is Logic? #8: Language of Aristotelian Syllogistic, Some PreliminariesWhat is Logic? #194: A Rule that is Admissable but Not Derivable in KWhat is Logic? #48: Parse TreesWhat is Logic? #199: Why is System T called "T"?What is Logic? #240: The First Lemma for the Completeness of S5What is Logic? #68: The Rules for ConditionalsWhat is Logic? #91: Objects and PropertiesWhat is Logic? #126: ∀E and ∃I, the Easy Quantifier RulesWhat is Logic? #25: Some Examples of Proofs