Filosofia:ensimmäisen kertaluvun logiikka

    Tieteen termipankista

    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

    Käytetyt lähteet

    Rantala&Virtanen2003

    Alaviitteet

    Lähdeviittaus tähän sivuun:
    Tieteen termipankki 21.12.2024: Filosofia:ensimmäisen kertaluvun logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:ensimmäisen kertaluvun logiikka.)