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 $2^n$ 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 $M\models p$.

Esimerkki: jos $M=\{P,Q\}$, niin mm. lauseet P ja $P\wedge Q$ ovat tosia mallissa M mutta R ja $P\wedge R$ eivät ole (siis $M\models ̸R$ ja $M\models ̸P\wedge R$).

Katso myös

• Mahdolliset maailmat
• Totuusarvo