Truth Table Logicise 1

About
Course Logistics
Sentence
1. What is Logic?Logicise: Venn Diagrams Problem-set: Venn Diagrams and Syllogism 2. Intro to SL Logicise: Truth Table 1 3. Core Concepts in Logic Logicise: Truth Table 2 Problem-set: Arguments and Validity Problem-set: Substitution of Logical Equivalents 4. Conditionals Logicise: Wason Selection Task 1 Problem-set: Symbolization Logicise: Truth Table 3 5. Test 1 Info
Predicate
1. Why Predicates?Logicise: Alien Family Tree 1 2. Model Semantics for PL Problem-set 1: Model Semantics Logicise: Model 1 SL Tableaux Rules Problem-set 2: Sheffer Stroke and Tableaux 3. PL Symbolization 4. Truth Tree Demo Problem-set 3: Symbolization and PL Tableaux Logicise: Alien Family Tree 2 Logicise: Model 2 PL Tree Rules All Rules on one page
Deduction
1. SL: Overview 2. SL: Theorems 3. PL: Overview Logicise 1: SL Deduction Quiz Logicise 2: PL Deduction Quiz Demo: Fundamentals Demo: Conditional Proof Problem-set 1: SL Basic Deduction Problem-set 2: SL Theorems Problem-set 3: PL Deduction Handout: Rules of Inference Handout: Them's the Proofs
Identity
1. Identity in Logic 2. Identity in Philosophy 3. Identity: Computations Logicise 1. Identity Interpretation with Physical Models Logicise 2. Identity Interpretation with Set Models Problem-set 1: Interpretation Problem-set 2: Translations and Deduction
Login