semantical statement

Мат. семантическое высказывание