„Elsőrendű logika” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
atfogalmazas, formazas |
a formazas |
||
1. sor:
Az '''elsőrendű logika''' a [[matematikai logika|matematikai logikának]] az [[elsőrendű nyelv|elsőrendű nyelvekkel]] foglalkozó ága. Az elsőrendű nyelvek olyan [[formális nyelv]]ek, melyekben lehetőség van az individuumváltozók [[kvantifikáció|kvantifikálására]], vagyis a „van olyan x amelyre A teljesül” és a „minden x-re A teljesül” típusú állítások megfogalmazására.
Az elsőrendű logika elméletének két fő - egymást nem kizáró, hanem kiegészítő - [[paradigma|paradigmája]] a szintaktikai és a szemantikai megközelítés. A
Az elsőrendű logika [[bizonyításelmélet]] nevű ága inkább (de nem kizárólag) szintaktikai megközelítésből vizsgálja az elsőrendű nyelveket, míg a [[modellelmélet]] inkább a szemantikára koncentrál.
| |||