Логика и правда: проверка утверждений