Completed
Natural Deductive Logic: DERIVABLE RULES (MT, HS, DS, DeM)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Philosophical Logic - 2024 Lectures
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction to Propositional Logic Translations
- 2 Four Exercises in TRANSLATING ENGLISH into PROPOSITIONAL LOGIC - LOGIC
- 3 Propositional Logic Syntax and Structure
- 4 Three Exercises in WELL-FORMED FORMULAS in PROPOSITIONAL LOGIC - LOGIC
- 5 Propositional Logic Truth Tables
- 6 Two Exercises in drawing TRUTH TABLES in PROPOSITIONAL LOGIC
- 7 Propositional Logic Challenging Truth Tables
- 8 Two Exercises in Drawing TRUTH TABLES for COMPLEX WFFS in PROPOSITIONAL LOGIC
- 9 Propositional Logic Tautologies, Contradictions, and Contingencies
- 10 Three Exercises in TAUTOLOGIES, CONTRADICTIONS, and CONTINGENT WFFS - Logic
- 11 Propositional Logic Validity, Soundness, and Entailment
- 12 How to determine whether an argument is VALID - Logic
- 13 Propositional Logic Indirect and Partial Truth Tables
- 14 Two Exercises in using PARTIAL TRUTH TALBES to determine VALIDITY - Logic
- 15 Propositional Logic Truth Trees (and, or, not)
- 16 Two exercises in TRUTH TREES for negation, conjunction, and disjunction - Logic
- 17 Propositional Logic Truth Trees (conditionals)
- 18 Two exercises in TRUTH TREES with Negation, Conditional, and Biconditional - Logic
- 19 Exercises in COMPLEX TRUTH TREES - Logic
- 20 Propositional Logic Truth Trees Tautologies and Contradictions
- 21 Two exercises in how to prove TAUTOLOGIES and CONTRADICTIONS with TRUTH TREES - Logic
- 22 Propositional Logic Truth Trees Validity
- 23 Two exercises in proving VALIDITY and ENTAILMENT using TRUTH TREES - Logic
- 24 Natural Deductive Logic: RULES #1 (R, &E, &I, MP, CP)
- 25 Two Exercises in Natural Deductive Logic: RULES #1 (R, &E, &I, MP, CP) - Logic
- 26 Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA)
- 27 Two exercises in Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA) - Logic
- 28 Natural Deductive Logic: RULES #3 (=I, =E)
- 29 Two practice exercises in Natural Deductive Logic: RULES #3 (=I, =E) - Logic
- 30 Natural Deductive Proofs - TrevTutor's Propositional Logic Workbook
- 31 Natural Deductive Logic: DERIVABLE RULES (MT, HS, DS, DeM)
- 32 Four Exercises in Natural Deductive Proofs: DERIVABLE RULES (DeM, Contra, Impl)
- 33 Natural Deductive Proofs: THEOREMS
- 34 Three Exercises in Natural Deductive Proofs: THEOREMS - Logic
- 35 Boolean Algebra in 13 Minutes
- 36 Conjunctive Normal Form (CNF) and Disjunctive Normal Form (DNF)
- 37 Syntax of PREDICATE LOGIC and WELL-FORMED FORMULAS (wffs)
- 38 SCOPE and FREE and BOUND Variables in Predicate Logic
- 39 Translating ENGLISH into PREDICATE LOGIC
- 40 Translating NO and NOT ALL into Predicate Logic
- 41 TRUTH TREES for QUANTIFIERS in Predicate Logic
- 42 VALIDITY and ENTAILMENT in Truth Trees for Predicate Logic
- 43 Truth Trees for the IDENTITY Operator
- 44 Natural Deductive Logic - Universal and Existential Rules
- 45 Natural Deductive Proofs in Modal Logic (Box In, Box Out)
- 46 Natural Deductive Proofs in Modal Logic (Diamond Out)
