predikaattilogiikka

substantiivi/ˈpredikɑːtːiˌloɡiːkːɑ/

Jaa

Yhdyssana: predikaatti + logiikka

Merkitys

(Filosofia)klassisen logiikan toinen ja lauselogiikan sisältävä logiikka, joka antaa myös lauselogiikan atomilauseille loogisen rakenteen

Liittyvät sanat

Hierarkia

Yläkäsitteet

Esimerkkilauseet

Ensimmäisen kertaluvun predikaattilogiikka, joskus lyhyemmin pelkästään predikaattilogiikka, tutkii kieliä, jotka mallintavat luonnollisen kielen subjekti -predikaattimuodon lauseita, loogisia operaatioita näillä lauseilla sekä näiden lauseiden yleistyksiä.

— Wikipedia: Predikaattilogiikka

Propositiologiikalle ja predikaattilogiikalle on omat eheyslauseensa, jotka kertovat luonnollisen päättelyn olevan eheä.

— Wikipedia: Luonnollinen päättely

Englanninkieliset vastineet

functional calculus
predicate calculus

Esiintymistiheys

181 esiintymää · 0.1 / milj.

Suomi24

0.0

Sanomalehdet

0.0

Aikakauslehdet

0.2

Wikipedia

1.1

0.1

Tekstitykset

0.0

Taivutustiedot

Sijamuoto	Yksikkö
Nominatiivi	predikaattilogiikka
Genetiivi	predikaattilogiikan
Partitiivi	predikaattilogiikkaa
Essiivi	predikaattilogiikkana
Translatiivi	predikaattilogiikaksi
Inessiivi	predikaattilogiikassa
Elatiivi	predikaattilogiikasta
Illatiivi	predikaattilogiikkaan
Adessiivi	predikaattilogiikalla
Ablatiivi	predikaattilogiikalta
Allatiivi	predikaattilogiikalle
Abessiivi	predikaattilogiikatta