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

propositionis.
Sit ergo propositio
C est a, (in qua a est praedicatum), jam
ex hypothesi a est b. Ergo per artic. 5.
C est b. et in prop c’est a. potuit
b substitui in locum ipsius a. Sit
alia propositio a est d. jam
exhypothesi b est a. Ergo per articis
b est d. sive in prop. a est d, poterit b
Substitui in locum ipsius a.
Cum ergo
tam in propositione C est a, quam-
in propositione a est D. possit substitui
b in locum a, patet ubique substitui posse
adeoque esse idem Eadem  Quod autem
de Dactum de b ostendimus respectu
a, etiam de a patet rispectu b
nam  eodem modo se invicem habent
itaque sunt eadem.
appellamus.
sen
Propositio vera est, quae substitutionibus aequivalentium e
et chiraclerum
quae vel  per se vera est, vel substitutionibus seu consequentus per se veris Explicationibus
reduci potest ad per se veram atjam probatam aut arbitrariam
ut hac a est d. Ponamus enim
a  fiet bcessea, fet (ides, a
et ex ta est d) substituendo fiet: bc est d.
bc.
ponamus pono d esse bcae et fie eq posotumum p ti ip
substitue ex prop. (bc est d. )fiet bc est b.
id est hanc esse defixenum
artic. 6.
tda
quae propositio identica est. Assut Hinc patet verus usus analyseos, quomodo
artem propositiones, ut bc est a et d est b
vel jam sunt ver  sil probatae, vel sunt assumtae
pro arbitrio per modum definitionis Licet enim
mihi definitionem hauc ipsius a assumere a est bc.
Bob propositionum veritas
ostendi possit, reducendo ecas
ad veras, si scilicet substituent
aequivalentia ita enim semper
Regressus locum habet.
verbi gratia animal rationabe, compendii potest et sic defineri. Propositio
Causa vocamus hominem est dicimus homo
estbamimal rationale tque ita dicere
a. est bc nihil est aliud quam characterem
a explicare.
est
c
dicau compo
tributum reciprocum es cum
simplicis
idem est cum subjectis verbi gratia:
a et bc. erit be attributum recipro et
bc est a erit bc attributum reciprocum.
titum
oanis Definitio est Attributum recistrocum.
vera est quae ex propositionibus
per se veris per definitiones et consequen
tias seu substitutiones pe rectas
deduci potest sit fieri potest.
Ex pluribus Attributis unum etigi esse
polest quod sit definitio ex quo caetera
poterunt demonstrari.
ita
Hanc definitionem praefenomagis
capit vulgus t sufficit ad judicium,
sed prior utilior est ad inventionem.
e Indiget tamen prior praedicatis
recipiocis, cum posserior contenta sit proebi–
catis commanibus. Si tamen ef
in analysi volumus uti solis attributis
com praedicatis communibus debemus
EX unoquoque attributo recipioco omnia subjecti
prae dicata inveniri et demonstrari possunt.
uti deductionb ad absurdum. quia
ex vero sequi potest falsum sed
etsi ex falso verum. Hinc et
sota attributas communiedeam
velimus et quaeramus constructionem res
Requisitum est attributum non recistrocum+
ponamus rem non adesse
et inde Calculandus et resol.
vendo assumamus aliquid quo ducamur
ad abfurdum, patebit
pei oste
assumti
hoc modo stracties
quae non ut probanda sed
sassumta ponitur
as compendii cansa
ratio
peitio ests tamntis unus explo
et sont
per alios plures, ut a est oritra
vel
d est bce (sive d est aC) it a definitum
be definitio; vel d definitum bce (vel des
definitio. Est enim definitio idem quod defi–
nitum hano idem quod animal rationale
nam compendii causa uno vocabulo hominem