упорядоченная логика

Мат. order logic