kielégíthetőség vizsgálata

Kapcsolódó fogalmak: 
kielégíthetőség
Rövid szöveges bemutatás: 
A kielégíthetőség azt mutatja meg, hogy egy adott állítás vagy kijelentés kielégíthető-e vagy sem. Tehát ha állítok valamit általánosa, akkor létezik-e olyan valódi példa melyre ez az állítás igaz vagy egyáltalán nem létezik, sőt csak ellenpélda létezik. Attól, hogy valamire nem létezik élő példa még lehet az állítás lehet igaz, ez nagyon fontos. Például ha azt mondom, hogy a jövőheti nyerő lottószámok 1,2,3,4,5, de jövőhéten nem ezek lesznek (majd kiderül) a nyerőszámok akkor ez az állítás kielégíthetetlen. De ha általánosságba fogalmazom meg, akkor az állítás kielégíthető, mert előfordulhat, hogy egyszer tényleg ezek lesznek. De ha az 5-öst 95-ösre cserélem, akkor az állítás biztosan kielégíthetetlen mert nincs 95ös szám a lottóban. Tehát a kielégíthetőség ilyen koncepcióban vizsgálja a tett kijelentéseket. A kielégíthetőség vizsgálható cselekvésekre is, ekkor azt kell megnézni, hogy a cselekvés előfeltételei előálltak-e.