# Leibniz Legible — https://leibnizlegible.com # Page: https://leibnizlegible.com/page/00068621:0043 # Permalink to this reading: https://leibnizlegible.com/page/00068621:0043?run=74 # Title: Leibniz-Handschriften zur Philosophie LH 4, 5, 8 # Folio 22r, page id 00068621:0043 # Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 21v); this page is its right half. # Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068621&page=43 # Source image: https://digitale-sammlungen.gwlb.de/content/00068621/jpgs/default/00000043.jpg # Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 103 lines, status machine # Lines: 103 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. W Propositio particularis affirmativa vera est, quando universalis negativa Et contra vera non est. seu quando non reperatur verbi gratia: quidam fortunatus est mniser quidam fortunalus est in + t quia nec dividi potest p, nec - 7 per +5. communem divisorem habent + 11 et 14 (quorum alterntium suffecisset ad propositionem universalem negativam veram reddendam) similiter: quidam sapiens est iistos -22 Noet Aeat- es + 10- +cd - C quia nec dividi potest per 3, nec - 2t per +10. quia nec +70 et - 3, nec - 33 et + 10 divisorem communem habent. Conllar. 3. propositio Universalis negativa e em et particularis affirmativa sibi contradictorie opponuntur (ita, ut non possint esse simul falae verae aut simul falsae) patet ex dictis . Propositio particularis affirmativa orem. converti potest simpliciter v. g. quidam fortunatus est miser Eg quidam miser est fortunatue: Quidam sapiens est jastus Ergo quidamstus est sapiens. Patet eodem modo quo ostendimus propositionem Univ. negativam quae huic contradicit, simpliciter convert; ad theorir propositionum categoricarum veralu pro diversa sua qualitate Ataunt definitiones sive totius et quantitate, sive totius definitiones seu continenti alie urn totius calculi Logici principia unde jam alcub Logiti Catigorici fundamenta princ Hinc alia adhuc Corollaria duci possunt circa et quibus so consequentias Logicas ex quibus jam reliquas celebriores solo culculo numerorum demonstrabo usu jam explicato, demonstrabimus. Consequentiae illae sunt vel simplices vel syllo composit derivatae syllogisticae. Consequentiae simplicis sun celebriores sunt subalternatio oppositio Oppositio, subatternatio, Conversio. De Oppositione contradictoria jam duo habuimus di probavimus corol. Oppositio est vel contra dictoria particulare. Sit ergo inter ea quae nec simul vera nec simul falsa esse possunt, de quibus dimus coroll. 1. et 3. vel est contraria cum duae propositiones simul esse possunt falsae non tamen non possunt simul esse verae, suunt tamen possunt tamen esse simul falsae Hinc Coroll. F universal. Affirm, et Univers Ateg. sibi constadictor contrarie copponuntur Non possunt enim simul esse verae. et-He non habent divisorem communem non dividipotes per J. (alioqui +∞ et - 3) iset +E on Conversio. Sudiienatio est .cum ex universali concluditur neorem. E Semper locum habet subulter natio seu semper universali concludi potest esse X particulare pius Omnis sapiens est justus +70-33 cdh EErgo +18 =3 quidam sapiens est jtus e propositionem Hoc ita demonstro: 3 dividi porest pm ob propossitionem universalem affirmativam A per ob prop univ. af Ergo + 70 haberent divisorem communem quod est contra quoniam ergo tam +70 et - 3, quam -33 et + non habent divisorem communem, vers erit reguto naturam reg. 1.) similiter +X0 dividi potest per + 10 (per reg. 2) ergo - 23 etio non habent divisorem communem, (alioquid enim B et 70 haberent etiam divisorem communem, quod est contra reg. 1Ratio consequentiae (quia divisor divigoris est etiam notatae manifesta divisor dividendi, ergo si +10 diviser seu divifor et divedendus habe itaque si verbe grar 150t +-3) tertius numerus, et +10 divi habent (numeri 20) habent dividentem communem 15 divisor divisoris +10, erit etia et numeri - 33. erit otlam divisor dividendi per + 10 nempe C sequeretur 3d et +G0 habere oivisolem cotumune et reg. 4). quod demonstrancum nempe quidam sapiens est instgpius. FKG per D. est numerorum naturam iteegent propositio particularis affirmativa (per