разрешимое утверждение

Мат. decidable proposition