tyydyksellinen

Tyydyksellinen on suomalainen adjektiivi, joka on muodostettu sanasta tyydyttää ja päätteestä -inen. Se kuvaa jotakin asiaa tai ilmaisua, joka voidaan tyydyttää tai täyttää, ja sen merkitys jää käytön kontekstista riippuvaksi. Termi esiintyy lähinnä teknisissä, erityisesti formaalin logiikan ja filosofisen kielen teksteissä, joissa puhutaan tällaisen lausekkeen ominaisuudesta.

Matematiikassa ja logiikassa tyydyksellinen viittaa lauseeseen tai kaavapareihin, joita voidaan täyttää eli mallintaa olemassa olevalla tulkinnalla. Toisin sanoen kaava on tyydyksellinen, jos on olemassa tulkinta, joka tekee sen todeksi. Tämä vastaa englanninkielistä käsitettä satisfiable. Tyydyksellisyys on siten vastakkainen ongelman tilalle, jossa ei ole mitään tulkintaa, jolla kaava voisi olla tosi (epätyydyttävä). Poikkeuksellisen usein käytetty termi voi vaihdella tekstin kirjoittajasta ja alasta riippuen; joissakin yhteyksissä käytetään yksinkertaisesti sanaa tyydyttävä tai määritelmiä siihen liittyen.

Käyttöyhteyksissä tyydyksellinen on pääasiassa tekninen termi. Arkipäiväisessä suomen kielessä voidaan puhua jostakin asian olevan tyytyväinen tai tyydyttävä ilmaisemalla sen sijaan esimerkiksi sanoin tyytyväinen tai tyydyttävä, sillä tyydyksellinen ei ole vakiintunut kielenkäyttö yleisessä viestinnässä. Lähteissä termi esiintyy erityisesti tutkimus- ja koulukirjoituksissa, joissa käsitellään loogisen päätellyn totuutta ja mallin löytymistä.

Näin ollen tyydyksellinen on tekninen adjektiivi, jonka keskeinen merkitys on “saatavilla oleva/mallitulokseen soveltuva” ja jota käytetään enimmäkseen formaalissa logiikassa ja filosofiassa. Lisämääreitä käytettäessä on huomioitava konteksti, sillä sanalle löytyy käytännön vastineita kuten tyytyväinen, sekä vastaavia teknisiä ilmauksia riippuen lähteestä.