Tulkinta (logiikka)
Malli eli tulkinta on logiikan käsite, joka tarkoittaa usein totuusarvojen ja mahdollisesti merkitystenkin asettamista logiikan symboleille ja lauseille.
Jonkin kielen L malli on siis joukko M kielen L symboleita (luettelo niistä kielen L peruspropositioista, jotka tulkitaan tosiksi mallissa M). Jos kielessä L on n propositiomuuttujaa, kielellä on siis erilaista mallia.
Kielen L lause p on tosi mallissa M jos ja vain jos p on lauseiden M looginen seuraus eli p on tosi kaikissa maailmoissa, joissa lauseet M ovat tosia, mikä merkitään .[1]
Esimerkki: jos , niin mm. lauseet P ja ovat tosia mallissa M mutta R ja eivät ole (siis ja ).
Katso myös
Lähteet
🔥 Top keywords: Wikipedia:EtusivuToiminnot:HakuJarno SaarinenEija-Riitta KorholaOliver KapanenToni NieminenToiminnot:Tuoreet muutoksetJääkiekon maailmanmestaruuskilpailut 2024Robert FicoHuhtikuu tuleeJääkiekon maailmanmestaruuskilpailutLinnea VihonenSuomen jääkiekkomaajoukkueMelroseVeeti KallioMaria SidKimmo KapanenItävallan jääkiekkomaajoukkueSuomiYasukeSlovakiaLuettelo hätäkeskuksen tehtäväluokistaEurovision laulukilpailu 2024Juhani TamminenItävaltaKirjosieppoJorma UotinenJääkiekon maailmanmestaruuskilpailut 2023Fritzlin insestitapausMerja Kyllönen16. toukokuutaHilkka KinnunenSami KapanenNeste (yritys)Uusi-KaledoniaAnja RäsänenSarajevon laukauksetJukka JalonenSmer-SD