# Leibniz Legible — https://leibnizlegible.com # Page: https://leibnizlegible.com/page/00069349:0095 # Permalink to this reading: https://leibnizlegible.com/page/00069349:0095?run=74 # Title: Leibniz-Handschriften zur Philosophie LH 4, 5, 10 # Folio 48r, page id 00069349:0095 # Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00069349&page=95 # Source image: https://digitale-sammlungen.gwlb.de/content/00069349/jpgs/default/00000095.jpg # Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 36 lines, status machine # Lines: 36 recognised, mean confidence 0.90 # 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. 21 Jumi Demonstratio pure Analybica Quod minus in minus mas, facit plus: Situa posit. + X = b duom 1 In.... + f as =CX + fx - bf Ajo esse aequalebf. propositio I ima posita X aequ. b. ajo esse 6 aequ.+B + bc. Demonstratio: Nam quia X aequ, b. erit X = b aequ. 0. ergo X - b in saequale f - c dabit a. (quia si nihilo ducatur in quidvis, productum erit nihilo aequale). Ergo Est autem X - b in f-c idem quod X = cX = b f. O, ut ostendimus; ergo fiet + fX - cX - bf. O, aequ. 0. seu quod idem est fiet aequ. Cx + b f - fX. Nursus quia X aequ. b Bursus quia bfiet.. fX, aequ. B +bf hinc d aqes bes item... item fiet .. .. +bC aequ. +CX Ergo aequalibus addendo aequalia fiet + fX + bc aequ. CX + b) paule ante Ergo + bC aequ. +Cx + b f - fX. sed supra. O erat etiam wqu. +CX + bf - fX. ergo erit aequ. +bc quod in emae demonstrandum proponebatur