# Leibniz Legible — https://leibnizlegible.com # Page: https://leibnizlegible.com/page/00068646:0082 # Permalink to this reading: https://leibnizlegible.com/page/00068646:0082?run=74 # Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 2 # Folio 41v, page id 00068646:0082 # Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068646&page=82 # Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000082.jpg # Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 44 lines, status machine # Lines: 44 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. Omnis id est nullus non Omne A est B. id est. omnia exehupla in ipsius A continentur sub exemplis ipsius B seu si quod est exemplum ipsius jam eadem exempla non possunt simul sub exemplis B et sut exemplis ipsius non -B contineri. Ergo nulla em hinia exempla ipsius A non continentu sub ipsi exemplius ipsius non -B syllogisum itaque erit talis: es quae exempla continentur sub exemplis ipsius B ea non continentur sub exemplis ipsius u mem B omne vicqui est B non est non B. ne A est Ergo omne s vel quoddam A non est non -B pro non-B scribamus C. et fiet propositio: omne (quodam) A non est C Ergo omne C non est A. id est Ex Ergo omne non B. non est A. seu d nullum non B est A, seu quicquid non est B est A. (nota aliud dicere: nullum non B ciliud nullum non-B. tinc patet si datur propositionis Universalis negalivae conversio simpliciter dari universalis affirmativae conversionem per contrapositione et Contra tam Nullum A est C. Ergo nullum C est A demon- feratur hoc modo: si falsum eest nullum C esse A, ergo aliquod est (est A. Ergo aliquod A est C. qood cuu ab vel tamen prassumferrimus nullium eA esse C a F vel sic: Nullum A est C. Ego qu on non, quoddam A est C Ergo non quoddam C est A. Ergo nullam C est A. probanda ergo sola conversio simplex partcularis affirmativae. quoddam A est C ergo quod am C est A. quod per e patet idem enim est ac sidicerdum dari exemplum commune ipsius C et ipsius. A vel quoddam e