Logo
Unionpedia
Viestintä
Get it on Google Play
Uusi! Lataa Unionpedia Android™-laitteella!
Ladata
Nopeamman yhteyden kuin selaimen!
 

Tulkinta (logiikka)

Indeksi Tulkinta (logiikka)

Malli eli tulkinta on logiikan käsite, joka tarkoittaa usein totuusarvojen ja mahdollisesti merkitystenkin asettamista logiikan symboleille ja lauseille.

6 suhteet: Logiikka, Looginen seuraus, Mahdolliset maailmat, Propositio, Totuus, Totuusarvo.

Logiikka

Logiikka (kreikan sanasta λογική, johdettu sanasta λόγος, ”sana”, ”järjestys”, ”järki”) on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä.

Uusi!!: Tulkinta (logiikka) ja Logiikka · Katso lisää »

Looginen seuraus

Lause B on lauseiden A looginen seuraus, mikäli lauseiden A ollessa totta lause B on välttämättä totta.

Uusi!!: Tulkinta (logiikka) ja Looginen seuraus · Katso lisää »

Mahdolliset maailmat

Mahdollisten maailmojen käsitettä käytetään filosofiassa ja modaalilogiikassa ilmaisemaan modaliteetteja (kuten mahdollisuus, välttämättömyys) koskevia väittämiä.

Uusi!!: Tulkinta (logiikka) ja Mahdolliset maailmat · Katso lisää »

Propositio

Propositio eli väitelause on propositiologiikassa jotakin seikkaa, tapahtumaa tai asiantilaa ilmaiseva lause.

Uusi!!: Tulkinta (logiikka) ja Propositio · Katso lisää »

Totuus

''Totuus'', Jules Joseph Lefebvre, 1870. Totuus tarkoittaa yleiskielessä tavallisesti sitä mikä on totta, vastaa todellisuutta, tosiasiaa.

Uusi!!: Tulkinta (logiikka) ja Totuus · Katso lisää »

Totuusarvo

Totuusarvo on kaksiarvoisessa logiikassa formaalikielen lauseen ominaisuus, joko "tosi" tai "epätosi"; totuusarvoja merkitään usein myös "t" ja "e" tai "1" ja "0".

Uusi!!: Tulkinta (logiikka) ja Totuusarvo · Katso lisää »

LähteväSaapuvat
Hei! Olemme Facebookissa nyt! »