Merkitys
- 1.(Filosofia)klassisen logiikan toinen ja lauselogiikan sisältävä logiikka, joka antaa myös lauselogiikan atomilauseille loogisen rakenteen
Liittyvät sanat
Hierarkia
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ä.
Propositiologiikalle ja predikaattilogiikalle on omat eheyslauseensa, jotka kertovat luonnollisen päättelyn olevan eheä.
Englanninkieliset vastineet
- functional calculus
- predicate calculus
Esiintymistiheys
181 esiintymää, 0.1 / milj.
Suomi24
0.0
Sanomalehdet
0.0
Aikakauslehdet
0.2
Wikipedia
1.1
Reddit
0.1
Tekstitykset
0.0
Taivutustiedot
| Nominatiivi | predikaattilogiikka |
| Genetiivi | predikaattilogiikan |
| Partitiivi | predikaattilogiikkaa |
| Essiivi | predikaattilogiikkana |
| Translatiivi | predikaattilogiikaksi |
| Inessiivi | predikaattilogiikassa |
| Elatiivi | predikaattilogiikasta |
| Illatiivi | predikaattilogiikkaan |
| Adessiivi | predikaattilogiikalla |
| Ablatiivi | predikaattilogiikalta |
| Allatiivi | predikaattilogiikalle |
| Abessiivi | predikaattilogiikatta |
Riimit
-oɡiːkːɑ
Kaikki riimit