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\vDash p$.

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

Katso myös

• Mahdolliset maailmat
• Totuusarvo