AB ESSE AB POSSE
ab esse ab posse — Na teoria das consequências (v. modais) usou-se uma série de locuções por meio das quais se indica se uma consequência é ou não válida. Eis algumas:
AB esse AD posse VALET (OU TENET) CONSEQUENTIA (OU ILLATIO) e também AB ILLA DE INESSE VALET (OU TENET) ILLA DE POSSIBILI — Pode concluir-se da realidade para a possibilidade isto é, se x é real, logo x é possível.
AB OPORTERE AD ESSE VALET (OU TENET) CONSEQUENTIA (OU ILLATIO) — Pode concluir-se da necessidade para a realidade, isto é, se x é necessário, logo x é real.
AB OPORTERE AD POSSE VALET CONSEQUENTIA — Pode concluir-se da necessidade para a possibilidade, isto é, se x é necessário, logo x é possível.
A NON POSSE AD NON ESSE VALET CONSEQUENTIA — Pode concluir-se da impossibilidade para a não realidade, isto é, se x é impossível, logo x não é real. As expressões mencionadas são as consequências modais cuja suas locuções se usam mais frequentemente.