bTUDII DI LOGICA MATEMATICA 569 



sono equivalenti a 



{ab)c, aibc), {ab){cd), [{ab){cd)][e{fg)] 



3. K significa " classe „. 



4. Sia a una K; .rea significa " a" è un a „. 



5. Siano p e q delle proposizioni contenenti lettere va- 

 riabili T,...z. La formula 



P Ox....= q 



significa *■ qualunque si siano x,...z, purché soddisfino alla con- 

 dizione p, esse soddisferanno alla condiziono q .,. (ili indici al 

 segno si sottintendono quando non siavi pericolo di ambiguità. 



6. pq indica l'affermazione simultanea delle proposi- 

 zioni p e q. 



La P convenzione, sulle lettere variabili, ci è famigliare 

 dall'Algebra e dalla Geometria. Essa fu già usata in Logica da 

 Aristotele. Però è necessario di enunciarla, come pure quella 

 sulle parentesi, volendo numerare tutte le convenzioni di cui 

 facciamo uso. 



Le idee rappresentate dai nostri simboli sono idee sempli- 

 cissime, e non hanno l'esatto valore dei corrispondenti termini 

 del linguaggio ordinario, i quali rappresentano idee più com- 

 plesse. Cosi il segno e si può leggere " è un „ o latinamente 

 " est ,: ma rappresenta l'idea che si ha dal termine " est ,, ove 

 si faccia astrazione dal modo, tempo e persona. Quindi non es- 

 sendovi corrispondenza esatta fra i simboli e i termini del lin- 

 guaggio ordinario, l'esatto valore dei simboli si impara meglio, 

 e facilmente, da esempi. 



Per dar esempi presi dall'Aritmetica faremo uso dei simboli : 



N invece di " numero (intero e positivo) ., 



Np „ " numero primo „ 



N X a 1 ' multiplo di « ,. 



Esempi : 



7eNp, 126NX'i, 

 aeN.o.a(a + l)(a + 2)6N X 6 



