en av flere logiske slutningsregler som angår forholdet mellom mulig og faktisk eksistens. Tillater slutning fra det at x eksisterer til det at x er mulig. Hvis måneraketter finnes, er det altså mulig å bygge dem. Det omvendte, a posse ad esse lat. 'fra å være mulig til å være', gjelder ikke: Selv om det er mulig at det er liv på Mars, er det ikke dermed sikkert at det finnes.
En tredje variant er a non posse ad non esse valet consequentia (lat. 'fra å ikke være mulig til å ikke være'): Hvis enhjørninger er (biologisk) umulig, så finnes ingen enhjørninger.
En fjerde regel, a non esse ad non posse non valet consequentia (lat. 'fra å ikke være til å ikke være mulig') forbyr slutning fra det at x ikke finnes til det at x er umulig. Selv om månebusser (ennå) ikke finnes, beviser ikke det at de er umulige.