(Lesson ID 5428) Introduction to Logic: Definition, Part 2