Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Mathematik LH 35, 12, 1, fol. 73r

Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German. Mean line confidence on this page: 0.94.

Original at the GWLB · Page image · Annotations (IIIF) · Download text

One image of two folio pages side by side, registered by the library under both labels (also fol. 74v); this page is its right half.

The machine reads it as

  1. si sit propositio vera, in quam ingreditur C
  2. et pro O substitaetdo D, ftat propositro fa caeteris
  3. omnibus manentibus; dicetur O et D discerni
  4. 2 Si et D possunt discerni, dicuntur diversa
  5. Si O et D non possunt discerni dicuntur eadem
  6. 4. Quae non sunt eadem ea sunt diversa
  7. dum praedicata universalium Terminorum rursus subdividi possunt 5 Quae eadem esse colliguntur, dicimus Coincidentia
  8. exempli causa si duae sint rectae, quarum quaelibet
  9. circulum bisecat, ostendi potest medium punctum unius
  10. idem esse cum medio puncto alterius, ideo dicemus
  11. meoes dhametorum circuli puncta coincidere
  12. me et D esse eadem ita designo: O ∞D
  13. y Si O et d sint eadem, diversa vero ita: O non c
  14. O
  15. 8 Quae eadem sunt, eorum unum alteri substitui
  16. potest salva veritate seu si sit propositio
  17. sto()Sit ∞ D (2) Et sit Propositio vera
  18. (3) in qua O (4) Dico pt in e pro C ponas D mna caeteris manentibus
  19. (5) tunc fieri B veram. (6) Nam alioqui O et D
  20. possunt discernentur. (per prop. 1.) Ex (7) Ergo
  21. non sunt eade in fir 2 et A. 3) contra hyp.1
  22. (per prop. 3) quod est contra hypothesin sic 1)
  23. 9. Quae eadem sunt uni tertio eadem
  24. sunt inter se
  25. (1) sit 0 ∞ D (2) et D ∞ O. (3) dico esse
  26. arti
  27. C. ∞Q. (4) Nam in, 2. ponatur vera (ex hypis
  28. poni potest O pro D (per prop. 8.) (5) sit
  29. ut f iat vera (per prop. 8.) (5) fit autem O∞9
  30. per autopsiam ipsius 2) (6) Ergo 40 est 00
  31. vera (per 4 et 5) Q. E. D (per 3)
  32. (10) Quod diverso ab alio idem est, ab illo
  33. alio diversum est
  34. (1) A ∞ B (2) et B non ∞ C _ (3) dico fore
  35. A non ∞ C (4) Nam si A∞ C erit (per prop. 1.
  36. et antict hic (per (per artic. 1. hic et per propius)
  37. B ∞ C. (5) quod est contra hyp. (art. 2.)
  38. +fiat propositio faulsa

Cite

Leibniz-Handschriften zur Mathematik LH 35, 12, 1, fol. 73r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00068194:0145?run=74