572 GIUSEPPE l'EANit 



non e, secondo ine, tonipleto; poiché quando si introduce una 

 lettera r, si deve cominciare a dire clic cosa rappresenta. !Si 

 potrà completare, scrivendo ad es.: 



JC N . .r > 2 . » . r' > 2. 



Il signor Frege considera delie espressioni delia torma: 



(<DWO,M'(x,y))o,X(y) 



le quali parimenti non si incontrano nel Formulario, perchè in 

 una deduzione può avvenire che l'ipotesi contenga lettere che 

 non figurano nella tesi; ma non avviene mai che figurino nella 

 tesi delle lettere che non si trovano nell'ipotesi. Parimenti non 

 trovasi nel Formulario l'esempio (2>3)=A del signor Frege. 



Definizioni. 



Combinando le notazioni primitive ora introdotte, possiamo 

 comporre idee derivate, suscettibili di definizione .simbolica. Per 

 definizione simbolica d'un nuovo segno x si intende la conven- 

 zione di chiamare x un gruppo di segni avente significato già 

 noto; e la indicheremo con 



j- := a Def. 



Se ciò che si definisce, x, contiene lettere variabili, e se 

 è necessario di limitare il significato di queste lettere mediante 

 un'ipotesi, la definizione assume la forma 



Ipotesi . 3 . X = a Def. 



I due segni = Def, quantunque scritti staccati, si devono 

 considerare come un simbolo solo; che si legge ° è eguale, per 

 definizione ,, ovvero ' chiamiamo ,. 



Sia a una K; spesso si ha da scrivere la proposizione " x 

 ed y sono degli a „ ; noi conveniamo di indicarla simbolicamente 

 con X, yia. E siccome questa proposizione vale l'affermazione 

 delle due .nn.ij^a. così porremo per definizione: 



1. rtcK . : .r, //£«. = . xert . ytrt Def. 



