⊨
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
Truth Table Logicise 1
Provide the correct values for the truth table.
Tutorial
Chance(s) :
Tier :
Not Logged
Passing :
Score :
0
Confirm
Leaderboard
×
Message