Toteutuvuus

Wikipedia
Loikkaa: valikkoon, 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.
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.