Protocollo

 1 25     |         A1 =, M1 = B1, N2 =A2, M2 =B2;sarà che N<M, M1 → N1,
 2 25     |    sarà che N<M, M1 → N1, N2 → M2; sia o sia dimostrato che
 3 25     |    avrà che N=M, N1 → M1, N2 → M2; sia o sia dimostrato che
 4 25     |       N1)+  ~[pag.25 F4]~(N2 → M2)] e b) che tesi seconda
 5 25     |           M=N)]; ma N1=M1 e N2=M2, donde [(N1 → M1) = (M1 →
 6 25     |         M1 → N1)] e che [(N2 → M2) = (M2 →N2)], donde che
 7 25     |       N1)] e che [(N2 → M2) = (M2 →N2)], donde che a) = b).-
 8 25     |        B, N1=A1, M1=B1, N2=A2, M2=B2, e siano N3 (=esistenza
 9 25     |      da M, e quindi N3 → (N2 → M2)], N4 (= universalità e
10 26     |       prima: a) [(N=M)]=[(N2 → M2)+ (M1 →N1)] perché [N4 →
11 26     |         perché [N4 →N3 → (N2 → M2)], M3 → (M1 → N1), e [(N2 →
12 26     |       M3 → (M1 → N1), e [(N2 → M2)+(M1→N1)] →(N=M)]; tesi
13 26     |       N=N4) = [N=N4 → N3 (N2 → M2)], ma (M=N) ≠ [M3 → (M1 →
14 26     |        perché [N4 → N3 → (N2 → M2)]+[M3 →(M1 → N1)] → (N=M)
15 147    |     tutti gli intelligibili M1 M2 M3...Mn che hanno M a nota
16 152-153|        dei due sillogismi M'P, M2 M1, M2 P, S M2, S P equivale
17 152-153|     due sillogismi M'P, M2 M1, M2 P, S M2, S P equivale allo
18 152-153| sillogismi M'P, M2 M1, M2 P, S M2, S P equivale allo schema
19 152-153|        schema dei concetti S → M2, M2 → M1, M1→ P, S → P-,
20 152-153|    schema dei concetti S → M2, M2 → M1, M1→ P, S → P-, con
21 152-153|       è correttamente M con 1, M2 si legge M con 2 ecc.; le