Nome: implica

Descrição: Implicação booleana

Parâmetros: implica(par1, par2)

Exemplo: x->piecewise { implies(x<0, x<3) ? 1, ? 0 }