Проверка истинности высказываний: подходы и примеры