Intermediate Logic Please enable JavaScriptplay-sharp-fill Link Intermediate Logic 00 - Introduction to Intermediate Logic 01 - Introduction to Propositional Logic 02 - Negation Conjunction and Disjunction 03 - Truth Tables for Determining Truth Values 04 - The Conditional 05 - The Biconditional 06 - Logical Equivalence and Condtradiction 07 - Truth Tables for Determining Validity 08 - Shorter Truth Tables for Determining Validity 09 - Using Assumed Truth Values in Shorter Truth Tables 10 - Shorter Truth Tables for Consistency 11 - Shorter Truth Tables for Equivalence 12 - The Dilemma 13 - The Rules of Inference 14 - Recognizing the Rules of Inference 15 - Developing Formal Proofs 16 - The Rules of Replacement 17 - Practice with Proofs 18 - The Conditional Proof 19 - Reductio ad Absurdum 20 - Proving Rules Unnecessary 21 - Truth - Functional Completeness 22 - Truth Trees for Consistency 23 - Decomposition Rules 24 - Techniques for Constructing Truth Trees 25 - Truth Trees for Self - Contradiction and Tautology 26 - Truth Trees for Equivalence 27 - Truth Trees for Validity 28 - Applying the Tools to Actual Arguments 29 - Digital Logic 30 - Numbers in Different Bases - Decimal Numbers 31 - Binary Arithmetic 32 - Basic Logic Gates 33 - Finding Truth Tables from Digital Logic Circuits 34 - Converting Truth Tables into Digital Logic Circuits 35 - NAND Gates and NOR Gates 36 - Simplification Rules 37 - Rules of Replacement 38 - De Morgans Theorem 39 - Two More Logic Gates 40a - Karnaugh Mapping 40b - Digital Logic Mapping
