valid proposition

Мат. справедливое суждение