Toteutuvuus
Toteutuvuus on matemaattisen logiikan käsite. Teoriaa sanotaan toteutuvaksi (engl. satisfiable), jos sillä on malli.[1]
Joskus konsistenssilla tarkoitetaan toteutuvuutta ("semanttinen määritelmä"), useimmiten ristiriidattomuutta ("syntaktinen määritelmä").
Lähteet muokkaa
- ↑ Mattila, Jorma K.: Diskreetit mallit ja menetelmät (Määritelmä 5.3.8., sivu 41) Lappeenrannan teknillinen yliopisto, Sovelletun matematiikan laitos. Arkistoitu 22.1.2022. Viitattu 9.11.2010.