(Lesson ID 5427) Introduction to Logic: Definition, Part 1