Premissi
formaalin päättelyn, kuten päättelyn yleensäkin, oletus
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:
- Premissi: Jos aurinko laskee, tarvitsen villapaidan.
- Premissi: Aurinko laskee.
- Johtopäätös: Tarvitsen villapaidan.
Tähän perustuva virhepäättelyn malli tunnetaan nimellä Non sequitur.
Katso myös muokkaa
- Aksiooma, peruslause