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

a
a (jav.)
 
=== Az elsőrendű nyelv ===
{{Fő|Elsőrendű nyelv}}
 
Egy véges sok [[szimbólum]]ot tartalmazó, adott jelkészlet vagy ábécé feletti logikai nyelvben – [[Gottlob Frege|Frege]] nyomán <sup> [[Fogalomírás#Állandó és változó|ld. itt]] </sup> kétféle szimbólumot különböztetünk meg: állandókat és változókat. A modern elsőrendű logikában e megkülönböztetés a következőképp differenciálódott:
* A '''segédjel'''ek „értelmetlennek”, szakszerűbben „jelentés nélkülinek” <sup> [[#MIniesszé erről lentebb]] </sup> nevezhetőek, csak a formulák elválasztását és szintaktikai-pragmatikai támogatását végzik: az elsőrendű nyelvekben két segédjel van, a nyitó- és csukó zárójel ( ( és ) ); mellesleg megoldható lenne az is (az ún. [[lengyel jelölés]]sel vagy a [[Fogalomírás]]ban, de akár jelölési konvenciók/axiómák bevezetése által is), hogy ne is kelljen szerepelniük az elsőrendű logikában.