Premissi
formaalin päättelyn, kuten päättelyn yleensäkin, oletus From Wikipedia, the free encyclopedia
Remove ads
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.
Remove ads
Katso myös
- Aksiooma, peruslause
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads