Premissi
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.