# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068652:0129
# Permalink to this reading: https://leibnizlegible.com/page/00068652:0129?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7C
# Folio 63r, page id 00068652:0129
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068652&page=129
# Source image: https://digitale-sammlungen.gwlb.de/content/00068652/jpgs/default/00000129.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 48 lines, status machine
# Lines: 48 recognised, mean confidence 0.95
# 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.

postquam igitur intelleximus
omnem propositionem aut veram aut
falsam esse, et omnem probationem propositionem verum
veram, quae non per se vera, sive
immediata est posse probari
a priori, sequitur uc modum probandi
tradamus is pancis, continetur hoc inprimis potissimum
axiomate:
pat vero
raedicatum in locum
subjecti propositionis universalis, ael
antecedentis uba  propositionis affirmativae, salva veritate
affirmativae vel consequens in locum
affirmativae, substitui potest salva in alia propositione ubi hoc subjectum
veritate. Excipienda autem sunt
propositiones reduplicativae in quibus
protestamur ne substitutio fiat fieri poss
nos testamur de termino aliquo ita Mricte
coqui ut nultus nequidem  aliuqe substitui
non possit nolimus. Caelerum ratio
ixiomalis hujus patet ex praeredenti
cum enim praedicatum in subrecto vel
antecedens in continente contineatur
ponamus enim se dari propositionem uneocsassi
et aliam Universalem
affirmatibam. Omne B est C et aliam
A est B.
propositionem one A est B. dico
in posteriori pro B substitui posse C. nam
cum A contineat B, et B contineat C utique (per axioma praecedens,
efia continebit C. quod  e per axioma idem) u
dicamus A esse C. quod sufficit per axioma idem)
ut dicamus A esse C.
Nosd autem hoc
n loco varietatem. propositionum prosequi
et logicas regulas traders cum fundamentum
L
substitutionis indicasse sufficiat.
prioris est praedicatum velab
consec antec
consequens
de
sppioris est
 sunt enim reflexita et
e arespectu cogita
tionum se habent, ut  muten
propositiones materiales respectu
vocum,