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

Exempli gratia Triangulum et Trilaterum; in omnibus enim propositionibus
de Triangulo, substitui potest Trilaterum lva veritate; vel contra; it etiam endem
Defez. E u recta Xrer recta YX dicenu: YL ∞XXH coinqcidere viam bitislinam Mobulis b X ad Y Af abra
diversa sunt quae non sunt eadem, seu in
A non a Nignificat A et B esse diversantra quo tamen quadratum perfectum
(ex Hyp.) Ergo in prop.  propositione
ex Hypd poterit substitui B in locum A, et A in locum B
Alioqui sit B∞ A. Ergo (per praeced) erit A ∞ D
uet alteri isit ai comudem insit respectu leop. 3 si A ∞B et B ∞ C erit A∞ C
si quia sdem st atteri alterimo idem eric ipsi
 si A sit ∞ B atiam B erit A.
ost pluribus ei mexistentibus 4, bop. + Si A non ∞ B. etiam  non ∞ A. Ms si quid diversum sit ab altero, alterum erit diversum ab ps
Tadem, sunt quorum unum postest substitui
significat A et B esse eadem
componere unum, cum unol; adeqet bin quae jam ostentim substitutio aliquando non procedit, verbi gratia talia sunt, circulus et quadnalum triangulum; quodratum perfectum
ut concludatur quarum libet periodorum vitas coincidere
 eadem unifertio sunt eadem inter se
Nam si in  A ∞B (vera ex Hyp) substituatur
C in locum B fiet (per def. 1Fdem) propositio vera
Coroll. si A∞ B et B∞ C et C∞ D erit A∞D. et il
Him tum aequalia sint mognifudiis eadem consenens
ose si A ∞ B et B non a C erit A non co C pertiore am ulterum ab eodem erit dirersum
A∞ C. Nam AeB  C Ergo ABCCprop. hiC) Nansus Aa CN Dergo (proporic) Ad
Nam si in propositione B non aC (vera ex Hyp.)
substituatur A in locum B fiet per defH 
ob A∞ B.) propositio vera A non ∞C.
De subatrpantia voco quorum unum alteri inest, ut A et B
dessDisparota quorum neutrum alteri inest
 seu A L continete R, tunc pr d Bo
l   poni La antensi dut e l  ertu o 
respecta ipsius L composstirel constituti disparale
B(+) N ∞ L significat B esse in L seu L continere B; at B et Nsi constituer  idem est in pluribus
ixion. 1.B _ rocidem siset quo N(F) Bsen tranpositio hienilmatae. Potulatu . ut uom asturi nst libet insit
Si A est in B et sit B e C etiam A erit in C
Nam in pt A est in B pro B substituendo C, fit
u  i
quiomo (+ A ∞ A  simt qutitu
pulumi am smet dumema
rop. 9 Si A ∞B erit A(+) C ∞ B(+) C sie comvarntia
Nam si in propositione A(+C ∞ ADC (per se vera)
pro A semel substituas coincidens B,
se Hoc popos Scholium haec propositio converti
oupote multoqu minus duae sequentes
Si DB aL erit B in instautiam reperiendi
Nam B est in LDB (per de f. inexistentis) argo
et LDB d L (ex Hyp) Ergo (per prop) Best int.
si B est in L erit (DB ∞ L
Nam si B est in L erit BD PC L (per
Ergo (per prop ) B+ B+P ∞ t p
L+ B ∞ B + P + B B quod (per Ap )
prop. E si A est in B et sit A∞C etiam C est in B. cencdens merer
pe de coihudentinm quia A exhp)  
prytee si cest in  et sit Aa B an E sit in A ud incon
fit:Aesse in B. (Est coliversa praecedent
emp. d est in 1 tu  E lo pra ants
si A∞L et B∞M, erit ABB ∞M
Nam quia BeoM erit (per prop. praeced. AM
ADB ae AsM et pro posterion A ponendo+ (quia
si Aast et B∞M et c∞ N erit 
ex praeced sex praece. quia Ac L et BC M)
jam C oas Ergo fiet AOB∞ LD M. unde quia
LC∞ N firt Trursus per praecedentem) A(DB( C ∞ LDM
prop. 10 Si A L. fa et B∞ M erit ABB ∞ LDM. si coincidentibus adjicidntur coincidentia fiuut coincidensia
Nam quia B∞ M. erit (per prae Ced.) ADB ∞ A(D) M, et
pro posteriori A ponendo L (quia A∞ L ex Hyp.) fiet A(DB
recti non poteste
sse Bab M. et sequanis multo minus converti potust.
A∞L et B ∞ M et C ∞ N. erit ADBDC
∞ L M N. Et ita porro. Si sint quotaque prs
obita, etto idem alia  espective coincidentia singula singulis ompo
Nam (ex praeced quia A ∞ L et B ∞ M) siet ADB∞ BF M
tar
esrai iA
poblecio
Nam D est in LB (per def inexistentis et L(B e L (ex hyp. ). Ergo Term idem plinitar, quam struatur dom
Ntam si Best in L erit DP ∞ L Cxer def. ... ) Ergo (per prop .....
RLDBa BDPB, quod (per ax . . . ) ∞ BD P, quod
est ae qualia uni tertio essola inter de. Mundes
is mea periodo semper duarum proximarum
Druique tsi multum refent inreali asectione, cum de vebus generum
dis agitur, quis sit ordo, prius enim damus formanda fundamenta
ipsius RX. patit nomnitudines mburum, ut si RX sit S pedum
et R5 4 pedum, et KYX 3 pedum, patet magnitudines
eanum compoudere partium componere magnitudinem
 nihil aliud componnt quam hasen B1B XAX