Filosofia:ensimmäisen kertaluvun logiikka

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

ensimmäisen kertaluvun logiikka

ensimmäisen kertaluvun logiikka
Määritelmä yksilöolioita koskeva logiikka
Selite Ensimmäisen kertaluvun logiikan muuttujat koskevat yksilöolioita. Esimerkkinä predikaattilogiikka, jonka aakkostoon kuuluvat muuttujat ovat ensimmäisen kertaluvun muuttujia. Ensimmäisen kertaluvun logiikasta käytetään myös nimitystä elementaarinen kvantifikaatioteoria.

Lähikäsitteet

Käytetyt lähteet

Juti2001

Alaviitteet

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


Siirry tarkastelemaan sivun muokkaushistoriaa →