„Elsőrendű logika” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Bot: következő eltávolítása: sr:Исказни рачун |
Bot: <references /> cseréje {{források}}-ra |
||
1. sor:
Az '''elsőrendű logika''' a [[matematikai logika|matematikai logikának]] az [[elsőrendű nyelv
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.
140. sor:
== Jegyzetek ==
{{források}}
== Lásd még ==
* [[Formális nyelv]]
|