Predikatlogikk
From Wikipedia, the free encyclopedia
Predikatlogikk (også predikatkalkyle eller kvantorlogikk) er en gren av logikken som analyserer setninger som inneholder kvantorer («alle», «noen», «ingen» osv.) og variabler. Som en utvidelse av setningslogikken analyserer predikatlogikken ikke bare kombinasjoner av utsagn, men også utsagnenes indre struktur. Syllogistikken kan ses på som et delsystem av predikatlogikken.
Predikatlogikken har betydning for fagfelt langt utover logikk, spesielt for matematikk, lingvistikk, filosofi og informatikk. Den ble utviklet uavhengig av hverandre av Gottlob Frege[1] og Charles S. Peirce[2] på slutten av 1800-tallet.