Основные логические определения и их примеры