===== AB ESSE AB POSSE =====
[[lexico:a:ab-esse-ab-posse|ab esse ab posse]] — Na [[lexico:t:teoria|teoria]] das consequências (v. [[lexico:m:modais|modais]]) usou-se uma [[lexico:s:serie|série]] de locuções por [[lexico:m:meio|meio]] das quais se indica se uma [[lexico:c:consequencia|consequência]] é ou [[lexico:n:nao|não]] válida. Eis algumas:

AB [[lexico:e:esse|esse]] AD [[lexico:p:posse|posse]] VALET (OU TENET) CONSEQUENTIA (OU ILLATIO) e também AB ILLA DE INESSE VALET (OU TENET) ILLA DE POSSIBILI — Pode concluir-se da [[lexico:r:realidade|realidade]] para a [[lexico:p:possibilidade|possibilidade]] isto é, se x é [[lexico:r:real|real]], logo x é [[lexico:p:possivel|possível]].

AB OPORTERE AD ESSE VALET (OU TENET) CONSEQUENTIA (OU ILLATIO) — Pode concluir-se da [[lexico:n:necessidade|necessidade]] para a realidade, isto é, se x é [[lexico:n:necessario|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 [[lexico:i:impossibilidade|impossibilidade]] para a não realidade, isto é, se x é [[lexico:i:impossivel|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.