Matematiikka:predikaatti

Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.

predikaatti

Määritelmä symboli, jonka avulla ilmaistaan jossakin loogisessa kielessä, että tietyllä oliolla on tietty ominaisuus

Selite

Jos $P$ on predikaatti, ilmaus $P(x)$ tarkoittaa, että symbolin $x$ nimeämällä oliolla on predikaatin $P$ kuvaama ominaisuus. Yllä $P$ on yksipaikkainen predikaatti. Vastaavasti voidaan määritellä useampipaikkaiset predikaatit. Jos esim. $Q$ on kaksipaikkainen predikaatti, $Q(x,y)$ tarkoittaa, että $x$ on predikaatin $Q$ tarkoittamassa suhteessa olioon $y$. Logiikassa halutaan usein tehdä ero kielellisen tason ja itse asioiden tason välille. [[Matematiikka:relaatio

|Relaatiot]] ovat matemaattisia olioita; asioiden ominaisuuksia ja niiden välisiä suhteita. Predikaatit puolestaan ovat relaatioiden nimiä logiikan formaalikielissä.

Erikieliset vastineet

predicate

englanti (English)

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.12.2025: Matematiikka:predikaatti. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:predikaatti.)

Siirry tarkastelemaan sivun muokkaushistoriaa →