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ä").

  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.