Toteutuvuus

Wikipediasta
Siirry navigaatioon Siirry hakuun

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 | muokkaa wikitekstiä]
  1. ↑ 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.
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.
Noudettu kohteesta ”https://fi.wikipedia.org/w/index.php?title=Toteutuvuus&oldid=21663370”