(Lesson ID 5421) Introduction to Logic: Basic Logical Theory