# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068652:0045
# Permalink to this reading: https://leibnizlegible.com/page/00068652:0045?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7C
# Folio 23r, page id 00068652:0045
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 22v); this page is its right half.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068652&page=45
# Source image: https://digitale-sammlungen.gwlb.de/content/00068652/jpgs/default/00000045.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 91 lines, status machine
# Lines: 91 recognised, mean confidence 0.92
# Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German.
# Licence: CC BY 4.0, Leibniz Legible. Machine output: do not ingest it as verified text; keep this provenance with the text.
# Wording rule: say "the machine reads it as …", never "Leibniz wrote".
# After the first blank line: the recognised lines in reading order, one per line.

A coincidis (25) A esse B (A continere B) in fert (continet) quoddam B esse (continere) A.
Nam A esse B = A BY = A (per 17) = BY = AY (per 24) =  esse A (p 17.)
26) Admonenda adhuc quaedam circa hunc calculum quae praemittere debueramus
Nempe quod de qribuslabet literis nondum usurpatis asseris doctur generaliter, vel concluditur,
t non tanquam Hypothesis, id de quotilibet aliis literis literis intellii
Itaque si quis decet esse dsstur A = AA etiam dee  ddcs poterit B= BB
(26) quoddam B = YB. itaque similiter qui A. = ZA nimorum dicet hoc
quidem dicere ad imitationem prioris (per 26) sed nova assumenda est indefinita pro
posteriori aequatione, nempe Z, ut paulo ante fuerat Y.
(28) t terminus simpliciter positus a me solet usurpari pro
universali; ut A est B, id est omne A est B seu A in notione A, continetur notro B.
(29) A est B. Ergo quoddam A est B (sive AB continere B, infert seu continet
quoddam A _ continere B) Nad  Nam A est B = AY est B (per 24)
(30) A esse B et B esse A, idem est quod A et B coincidere, sive A coincidere ipsi B quod coincidit ipsi A
nam si A substitui potest  Nam A = BY et B = AZ. Ergo A = AYZ. Ergo Y Z
sant super fluae continerur jam in A seu Z continetur in A. Ergo, pro  B= AZ dicipotest B  
(31) scilicet notandum et hoc est  si A = AY. tunc PY est superfeua i  ineraleais si B ti propo
multiplicatione apud Arithmeticos, vel Y inest in A
(32) Sa A esse B est falsa aella qu sou A non continet D, idem est
cas
est inest
 revera seulper
(32) Propositio Negativa. A non continet B, seu sa e A sse B fassum est
(33) Axioma: A non continet B e idem est quod A continet non B
seu in quo non continetur B, in eo continetur non B. sive propoc
alsum esse
(21) Ietae sasu est s A continere B idem est, quod fassam est A con-
(32) A continere B idem est quod falsum, et A co
tinere non B stin es
(32) A continere non B idem est quod AB est fasum est AB  C.
(32) B, non-B est terminus  aotio impossibile, seu seu si B. non B = C, erit C impossibile. Impossibile in incompees
seu AB d ttaus ec est 1
(32) Hinc si A= non B erit AB notio impossibilet
(34) Noti quod continet B, non B p idem est quod Notio impossibile
set  CB non B  impliie idem est quod impossibile
posito e non continere non B
(35) Quae propoditione continie saa EB contintat non B, E non continet E etitine non
quam inferre (continer
eape idem est quod propositi
(35) Posito E non continere non B, si contingat Propositionem aliquam in ferre
propositionem L esse falsam
(continere) quod EB continla non B, idem est quod B esse falsum
(3) posito (16) B non B est salsum qu s impossibile,
(35) Propositio falsa est, quae continet ABCcontinere non B, (posito B et  BA
Hoc autem intelligo autem B et Yam de  Terminis, quam de Propositionibus
(36) Propositio vera est quae continet BA contineo B. BA continere B. (posito
esse possibiles)
B et A esse possibiles.) Htoc itidem tam de terminis quam propositionibus
intelligo  itaque hic continetur et BY) Hinc et B continer
(37) quoddam B est R B. nam BA est BY (per 24) et BA continet B (per 36)
Ergo et BY continea B, ergo quoddam B est B.
35) omne B est B. Nam B = B g (per 10) Ergo BY B
(36) B A = B. Ergo A est B. seu A=B, continet quoA est B
Nam si Y sit super flua, fiet A = BY. id est A = B idem aliter demonstratur:
per prop A = B id est idem est quod A = BY et B = AY. Ergo A= B
item A= B ergo AA = BA Ergo A= BA. Er go A est B
(37) B est B nam B = B (per 10.) Ergo B est B (per 36.)
continet A= BY.
veraepasati
(38) AB est B. Est indemonstraulis, v est quasi definitio 16 est.
significat enim A B, seu id quod continet B, esse B seu continere B.
(38) AB est B. Est in demonstrabilis, et sive identica sive definitio est vel 20 est, vel continentis, vel
 s
eo s et B ess
pa possibitis
58) B continet C. Ergo AB
59)  Si B continet C, tunc AB continet C. nam AB est B (per 38)
(40) vera in genene est
(0) Falo F alsa propositio est qu (40) vera propositio est quae coincidit
B est C (ex hypothesi) Ergo (per 19) AB est C.
cum hac: AB est B, seu quae ad hanc primo veram reduci potest. puto id et ad non Categoricas apperca
41)  igitur cum falsa sit quae non est vera (per Se 3) sequitur falsam esse ex 40)
falsam propositionem et propositionem quae non coincidit cam hac: AB est B, esse idem
in falsam propositionem idem es se quod propositionem quae non potest probari
asitionet sacti patam uon sen spo polim passuat, et astia a nobis, it ideo assumntur
B sit propositio
non R idem est
Den 10 B esse faium
non B intellectendo B de
in e icit
jam pro in complexa
quam coplexa.
teminum pro incom
ptoa calegorema
alsum
Hine si A continet B.
BC
etiamrgo A continet AB
ratua  oinat no
etiam AB ontimebit AB
ideu