Predikátumlogika

Predikátumkalkulus, kvantifikációelmélet: a szimbolikus logikán belül tág értelemben a teljes alternáló logikát jelenti, magában foglalja a kijelentéslogiká t és az osztálylogikát is. A predikátumlogika központi célja a helyes következtetés fogalmának ? az alternáló logikán belüli ? legáltalánosabb megadása. A predikátumlogika főbb fejezetei: a predikátum fogalom ált.-ítása, igazságfunktor ok, kvantor ok, kvantifikáció, formalizálás, interpretáció, a következtetés ellenőrzésének módszerei, az eldöntésprobléma.

Péchy Benjamin