Проверка истинности утверждений: логика и анализ