Название: implies

Описание: логическое следование

Использование: implies(par1, par2)

Пример: x->piecewise { implies(x<0, x<3) ? 1, ? 0 }