Protocollo

 1 25     |     ed M, N=A, M=B, N1 =A1 =, M1 = B1, N2 =A2, M2 =B2;sarà
 2 25     |      A2, M2 =B2;sarà che N<M, M1 → N1, N2 → M2; sia o sia
 3 25     |      o sia dimostrato che N1 =M1; si avrà che N=M, N1 → M1,
 4 25     |     M1; si avrà che N=M, N1 → M1, N2 → M2; sia o sia dimostrato
 5 25     |       sia dimostrato che N1 = M1, ma non che N=M, si avrà
 6 25     |       M=N)] perché [(N= M) = (M1 → N1)+  ~[pag.25 F4]~(N2 →
 7 25     | perché [(N=M) → (M=N)]; ma N1=M1 e N2=M2, donde [(N1 → M1) = (
 8 25     |      M1 e N2=M2, donde [(N1 → M1) = (M1 → N1)] e che [(N2 →
 9 25     |       M2, donde [(N1 → M1) = (M1 → N1)] e che [(N2 → M2) = (
10 25     |   siano dati N=A, M=B, N1=A1, M1=B1, N2=A2, M2=B2, e siano
11 25     |   universalità e necessità di M1, e~ ./. 
12 26     |       pag.26 F1]~quindi M3 → (M1 → N1); tesi prima: a) [(
13 26     |       a) [(N=M)]=[(N2 → M2)+ (M1 →N1)] perché [N4 →N3 → (
14 26     |        N3 → (N2 → M2)], M3 → (M1 → N1), e [(N2 → M2)+(M1→
15 26     |       M1 → N1), e [(N2 → M2)+(M1→N1)] →(N=M)]; tesi seconda:
16 26     |       M2)], ma (M=N) ≠ [M3 → (M1 →N1)]; tesi terza: c) [(
17 26     |      N (=N4)], (M=N) ≠ [M3 → (M1→N1)]; tesi quarta: d) {[(
18 26     |         N3 → (N2 → M2)]+[M3 →(M1 → N1)] → (N=M) e [(N=M) → (
19 147    |       tutti gli intelligibili M1 M2 M3...Mn che hanno M a
20 152-153|    dei due sillogismi M'P, M2 M1, M2 P, S M2, S P equivale
21 152-153|     dei concetti S → M2, M2 → M1, M1→ P, S → P-, con la conseguenza
22 152-153|     concetti S → M2, M2 → M1, M1→ P, S → P-, con la conseguenza
23 152-153|      piccolo e sotto, per cui M1 è correttamente M con 1,