„Elsőrendű logika” változatai közötti eltérés

Bot: <references /> cseréje {{források}}-ra
a (Bot: következő eltávolítása: sr:Исказни рачун)
(Bot: <references /> cseréje {{források}}-ra)
Az '''elsőrendű logika''' a [[matematikai logika|matematikai logikának]] az [[elsőrendű nyelv|elsőrendű nyelvekkel]]ekkel 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 ''szintaxis'' a logikai jelek, jelsorozatok, formulák formai jellemzésével foglalkozik; a ''szemantika'' pedig a jelek értelmezésével, azzal, hogy hogyan lehet kitölteni őket tartalommal és használni a matematikában, más tudományterületeken, illetve a köznapi életben ipari, kereskedelmi stb. alkalmazásokban.
 
== Jegyzetek ==
{{források}}
<references/>
== Lásd még ==
* [[Formális nyelv]]
219 816

szerkesztés