> doo 







sg 
i È Va : AI Landi 
1086 ALESSANDRO PADOA © < e Die 
Nello scritto del sig. RussELL si posson dunque sopprimere 
le $1P1 persa 
‘0 Idée primitive: Rel = Relation pedali 
‘1 ReRel.9: «Ry.=.x a avec y la relation R 
sostituendole con le (2)(1) in quest'ordine, assumendo la Oa 
quale Df e la (1) quale conseguenza PIER, della (2). 
* 
& * 
Se “ re Rel ,: il signor RusseLL chiama “ dominio di r , ca) 
[p. 116, 1. 4-2 dal basso] “ l'insieme degli « per ciascuno dei “i 
quali esiste almeno un y tale che xry ,; ed il sig. CouTURAT so: 
chiama “ codominio di r , [op. cit., p. 29, 1. 1-2] “ l’insieme degli y A 
per ciascuno dei quali esiste ia un x tale che ary ,. ‘dl 
Tali Df sono opportune, ma tale non mi sembra la scelta dei 
simboli “ p , e “ p , che il sig. RussELL sostituisce NSOE SI 
mente alle frasi “ dominio di r , e “ codominio di r , [$1P1:21:22]: 
perchè ciascuna di queste frasi si compone di una parte costante 
e di una parte variabile, che giova tener separate. A 
Adottando, ad es., le notazioni 
“domr e codomr,, 
le $1P1:21:22 divengono (1): 
(3) reRel.o. domr=%3{ty3(ery)i Di 
(Ai vebtue ty 9. codomr= y3}Hc3(cry)} Df 
Se a ciascun membro della tesi della (3) si antepone il sim- 0 
bolo “Y ,, risulta: | 
reRel.g:Hdomr.=.Hc3}Hy3(ery)t —. 3 È; 
ovvero : rodi 
I O H(c;y))3(ery) 
u 
(‘) La scrittura “—.09.—, si legge “se —, allora —,; quanto sta | 
fra “ se, ed “allora, chiamasi “ ipotesi ,, quanto segue “ allora , chiamasi 
u . +e 
tesi ,. î 
