formaalin päättelyn, kuten päättelyn yleensäkin, oletus From Wikipedia, the free encyclopedia
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.