Tieteen termipankki
fi toisen kertaluvun logiikka
määritelmä
predikaattimuuttujia sisältävä predikaattilogiikka
predikaattimuuttujia sisältävä predikaattilogiikka
selite
Toisen kertaluvun predikaattilogiikka sisältää predikaattimuuttujia, jolloin voidaan kvantifioida myös predikaattien yli. Mikäli ominaisuudet määritellään ekstensionaalisesti yksilöolioiden luokiksi, voidaan sanoa, että toisen kertaluvun logiikassa predikaattimuuttujat saavat arvoikseen ominaisuuksia ja suhteita.
Toisen kertaluvun predikaattilogiikka sisältää predikaattimuuttujia, jolloin voidaan kvantifioida myös predikaattien yli. Mikäli ominaisuudet määritellään ekstensionaalisesti yksilöolioiden luokiksi, voidaan sanoa, että toisen kertaluvun logiikassa predikaattimuuttujat saavat arvoikseen ominaisuuksia ja suhteita.
Luokitus: |
| |||
Lähde: |
|
automaattisesti kootut käsitesuhteet
Käsitteet samalla hierarkiatasolla: ensimmäisen kertaluvun logiikka
Käsitteet samalla hierarkiatasolla: ensimmäisen kertaluvun logiikka