Введение в логику, урок 1: Базовые понятия