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 .

Esimerkki: jos , niin mm. lauseet P ja  ovat tosia mallissa M mutta R ja  eivät ole (siis  ja ).

Katso myös 

 Mahdolliset maailmat
 Totuusarvo

Lähteet 

Malliteoria