Tulkinta (logiikka)

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun

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[muokkaa | muokkaa wikitekstiä]

Lähteet[muokkaa | muokkaa wikitekstiä]

  1. Mattila, Jorma K.: Diskreetit mallit ja menetelmät (Määritelmä 5.3.8., sivu 41) Lappeenrannan teknillinen yliopisto, Sovelletun matematiikan laitos.