Filosofia:ensimmäisen kertaluvun logiikka
ensimmäisen kertaluvun logiikka
| ensimmäisen kertaluvun logiikka |
Määritelmä
yksilöolioita koskeva predikaattilogiikka
Selite
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
- toisen kertaluvun logiikka (vieruskäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 22.12.2024: Filosofia:ensimmäisen kertaluvun logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:ensimmäisen kertaluvun logiikka.)