# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068646:0126
# Permalink to this reading: https://leibnizlegible.com/page/00068646:0126?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 2
# Folio 63v, page id 00068646:0126
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 62r); this page is its left half.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068646&page=126
# Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000126.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 68 lines, status machine
# Lines: 68 recognised, mean confidence 0.95
# 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.

Ne AC ∞ BC, ila ni non si A∞B
(11) A est Be ergo A est B. dem. Nam I. Rest BC ex hyp. Ergo 2.
Nest (8) (per p B (per num ) A est ABC. A∞d ABC AC est BC
Ergo (per num. 8) A ex A ∞ ABC
(11) AB A ∞ BC ergo AB ∞ BC. demonstratio. Nam
AA  AC ∞ BCC L ex hyp. A ∞ BC Ergo
12
(11) A ∞ B ergo AC ∞ BC. pat sequitur ex rec
natur (1) Si A ∞ BC Ergo A sequitur AB ∞ BC. Na
dem. Nam Iexhyp) A ∞ BC. ergo _E (per 11) AC ∞ BCB BCC
id est 3 (per 7) AC ∞ BC Quod evat dem.
(13) Non sequitur AC est BC Ergo A est B. hoc
demonstrabitur exhibendo easum ubi illo vero, tamen
hoc non est verum, quod est quem casum exhibere, est
problema solvere. sit AC ∞ BC et A non
∞ et A non ∞ B. Nempe si A∞ BC nec A∞C
erit  (per 12) AC ∞ BC, Quod erat Fac.
(14) A est BC ergo Aest B. demonstratio
a (per hypi) A est BC Ergo 2 (per num. 8) A est ABC A ∞ ABC
Ergo 3 (per num. 11) AB  ∞ ABC. Ergo B 4 (per num. 8)
AC est B (sed verum est etiam A esse B
(1) A est BC. Ergo A est B omne BC est B,
(15) AB est A. Dem. T. AB + exhuss AB est A. Hoc initio ponendum erat
3  AB ∞ AB  2. Ergo (peri 7) AB∞ AAB.
3 Ei Ergo 3 (per Num. 8) AB est A.
(16) A est B, et B est C ergo AA est C Nam
Ae A∞ AB et B ∞ BC Ergo AWABC
Ergo AB ∞ (ABBC rg ∞) ABC. Ergo per num. 8 AB est C
Sed verum est etiam A esse C) sed A. B ae Ergo
demonstratio  (ex hyp.) A est B. Ergo (per num 8) E. A ∞ AB
similiter 3. (exhyp.) B est C. Ergo (per num. 8) 4. B∞ BC.
Hines (per 2 et 4) ABe ABBC)  ABC AB ∞ (ABBC 1 per num. 7.) ∞ ABC
B Ex 5 per num. 8. F AB ∞C. _ Et denque ex 6 per 2. 7 A est C
quod erat dem.
(17) AC A A est BC, . Ergo A est B. dem.
 A est E F x Ex Hyp.  A est BC jam per num. 15. 2. BC est B.
Ergo ex 1 et 2 per num. 16. 3. A est B. qQuod erut dem.
(18) A est B et A est C Ego A est BC.
A∞ AB Et A ∞ BC. Ergo (AA id est) A ∞ (ABBC ∞ ABC
Ergo  (per num 8) A= A est BC
(19) Hinc similiter A est B et A est C et A est d, ErgoA
Ergo A est BCd
simul
(20) Ex 17 et 18 patet coincidere has dua A est B et Aest C
siul cum ista. A est BC. idem est in pluribus
(21) A non est B idem est quod A est non B. Nempe
si A non est B, falsa est A est B. Ergo falsa est A∞ AB
Ergo per num. 4 AB est impossib. non Ens. Ergo
seu A est non B. Ergo seu A∞ A non B. Ergo per num. 8
AB est non B. A 5B A non B A est non B. Kursus A est
(22) videndum an et deminstrari possit ut nom non A est A
(21) non A
B et B est A, idem est quod A∞B.
Nemje  A ∞ AB et B ∞ AB. Erum A ∞ B
A et rursus A ∞ B Ergo (per 7) AA ∞ AB
seu per num. 7. A∞ B
(22) A est B ergo non B est non A.
(22 si A non est B sequitur quod A est non B.
Nam A non est B, idem est quod fulsa est A est B.
seu fatsa est A _ AB. Ergo A  est non B
(22) A est B Ergo non A est non B. Nam per num.10
Nam A est B ex hyp. Ergo per num 9. A B non est A
non B non est A. Ergo per =F num. 2Y non B est non A
(23) Non non A eA.
Nam non
non non A est A et qta (l. A non non A ∞ A. hoc osten-
dendum. Quaeritur an reperiri possit Q non non A quod sit ot A
in sit A