Premissi eli lähtökohta, edellytys, peruste tai ehto on formaalin päättelyn, kuten päättelyn yleensäkin, oletus.
Seuraavassa modus ponens -päättelyssä johdetaan kahdesta premissistä yksinkertainen johtopäätös:
Tähän perustuva virhepäättelyn malli tunnetaan nimellä Non sequitur.