Filosofia:ensimmäisen kertaluvun logiikka

From Tieteen termipankki
Jump to: navigation, search

ensimmäisen kertaluvun logiikka

ensimmäisen kertaluvun logiikka
Definition yksilöolioita koskeva predikaattilogiikka
Explanation Ensimmäisen kertaluvun logiikan muuttujat ovat yksilömuuttujia, jolloin kaikki kvantifioinnit koskevat vain yksilöitä. Klassiseen logiikkaan sisältyy ensimmäisen kertaluvun predikaattilogiikka.

Related Concepts

Sources

Rantala&Virtanen2003

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →