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

oriri conclusiones Sive, quod idem est.
connexio inter conclusiones sire theoremata, et
definitiones sive hypotheses arbitrarias
est absolute vera. Quemadmodum in numeris
apparet, quorum signa et periodiss decadicae
hominum voluntate constituta sunt, calculi tamen
oine sienficant absolutas veritates
nempe conclationem inter
os nexionem
quibus charaodere characteres assumtos,
formulas inde deductas, quibus et rerum
connexiones (quae characteribus quibuscunque assumtis
eaedem manent,) significantur. Utileautem
est ad scientias ita assumi characteres, ut
ex paucis assumtis multa du facile duci
possint, quod fit si simplisissimis et
 cogitandi elementis characteres
assignentur.
idnetquad e ultenus ch latitur
Idem est cum atio quod in alterius locum in omni propositione
substitur potest salua veritate
Exempli causa Trcangetum um.
eangela nilaterum ulique in tota geometria
substitui potest in locum triangulis
ubiq
si quid substitui salva veritate potest in
locum alterius, alterum vicissim ubique substitui
potest in locum ipsius Nam propositiones
Nam sint duo a et b, et possit b
ubique substitui in locum ipsius a, ajo vicissim
a ubique substitui posse in locum ipsius b. quod
Sic ostendo sit propositio b est c, vel
d est b, ajo in uss
ponamus non posse dici a est C et d est a,
ergo falsae erunt hae propositiones: Ergo
Saltem verae erunt hae duae propositiones:
falsum est a esse C, et a falsum est
d’esse a. jam pro a substitui potest b
ex hypothesi, ergo verae etiam erunt haeduae
propositiones: falsum est b esse C, et
falsum est d esse b d contra hypothesin has
enim assum simus ut veras.
Demonstratum
est ergo propositum idem aliter demonstrari potest.
adem sunt quorum unum in alterius locum
substitui potest, salva veritate ut Triangulum
et Trilaterum, Quadrangulum et quadrilaterum.
8) Si a est b et b est a, erunt a ut b idem
Si (omms) pius est felix, et somm felix est pius
erunt prus et felix idem id es ubique substitui
poterit pius in locum felicis, et felix in locum
pii salva veritate. Quod sic demonstro. Omnes
propositiones in quibus est a ad has duas
reduci possunt
Fverbi gratia quia ubique in locum triangulae
substitui potest Trihaterum, etiam cntra
ubique in locum trilatera poterit sulestitu
triangula