Filosofia:ensimmäisen kertaluvun logiikka
ensimmäisen kertaluvun logiikka
| ensimmäisen kertaluvun logiikka |
Määritelmä (fi)
yksilöolioita koskeva predikaattilogiikka
Selite (fi)
Ensimmäisen kertaluvun predikaattilogiikan muuttujat ovat yksilömuuttujia, jolloin kaikki kvantifioinnit koskevat vain yksilöitä. Klassiseen logiikkaan sisältyy ensimmäisen kertaluvun predikaattilogiikka.
Lähikäsitteet
- predikaattilogiikka (yläkäsite)
- toisen kertaluvun logiikka (vieruskäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 10.2.2026: Filosofia:ensimmäisen kertaluvun logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:ensimmäisen kertaluvun logiikka.)