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

AB [[lexico:e:esse:start|esse]] AD [[lexico:p:posse:start|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:start|realidade]] para a [[lexico:p:possibilidade:start|possibilidade]] isto é, se x é [[lexico:r:real:start|real]], logo x é [[lexico:p:possivel:start|possível]].

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}