„Elsőrendű nyelv” 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
a →Bevezetés (nem csak matematikusok számára): függvény egyértelműsítés |
a →Az elsőrendű nyelv: függvény egyértelműsítés |
||
125. sor:
<u> Megjegyzések </u>:
* Egyesek szerzők elsőrendű nyelven csak magát a szimbólumhalmazt azaz [[#Az ábécé|ábécét]], tehát csupán a <math> \Lambda = \left( Sr, C, F, P, V, L, Z \right) </math> különféle fajtájú szimbólumokból álló halmazrendszert értik, míg mások elsősorban a szavak halmazát értik. A matematika jelenlegi más ágaival ([[számítógéptudomány]]) a második megoldás nagyobb összhangban van, hátránya, hogy nagyon bonyolulttá teszi a fogalmat (az első változat vélhetően [[didaktika]]i okokból keletkezett egyszerűsítés).
* Mivel minden [[függvény (matematika)|függvény]] [[reláció]]nak tekinthető, és minden konstansjel – nullváltozós – függvénynek, elegendő lenne az ábécében az ''F, P, C'' halmazokat összevonni, és pusztán ''R'' relációjelekről beszélni. Egyes szerzők ezt meg is teszik, mi e cikkben nem; ízlés kérdése.
A [[#Szintaxis|szintaktikai szabályok]] alapján a nyelv kifejezései (azaz maga a nyelv), [[halmazelmélet]]ileg is teljesen kifogástalanul megkonstruálhatóak. [[Rekurzió]]val ugyanis megkonstruálhatjuk a termek és a formulák halmazait. A következőkben a betűk egymás után írását ''(konkatenáció''ját) egyszerűen a [[rendezett pár|rendezettpár-képzéssel]] azonosítjuk.
| |||