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

explicando pradit
 A d. Ef B nonB. Hoc posito, A est impossibile
A ∞
(1) Si A explicando prodit B non B, A est impossibile. vel ecthe-
fice magis si A ∞  L.. B non B. A est impossibile
(1) Ens vel possibile est quod non est impossibile, uesi A non ∞ L. Bnon B
13) Si non A est impossibile, A est necessarium
1) non non A ∞ A. Hc est usus TE non v+C add. 6
1) A est, id est A est Ens
Enmatiatio A est B it est A∞ L.B
(vid. 10
Falsa Enuntiatio A est B si inde sequitur A∞ L. B non B
Encntiatio A est B.  A∞ B. Itm si A est B, seqi-
cur quod C est D. item A non est B. Item si A est B
s) A est B, sic exponitur literaliter A∞ LB, ubi L idem
non sequitur quod C est d.
quod indefinitum quoddam potest etiam sic exponi A∞ AB
ut non sit opus assumi tertium ad hoc requiritur  randum
si amen est B, idem est quod A est non B,  sequitur ex 6
alidem est dicere: Propositio A est B, est Falsa, et dicere A non est B
sisi A est B, et A est C, _ sequitur A est BC. sebi .
est
i) Eadem sunt, quorum unum alteri substitui potest salva
anum autem est ∞. ut A∞ B.
V Sequitur, A ex B, si A substitui potest pro B
veritate inei
etsi
Ergo vel terminum vel propositionem enuntiationem
s A est B, idem est  at quod si ac si diceres: Si L est A
i idem est in hoc calculo quod A. Exempli causa sit
sequiim quod L est D
B∞ AC et B∞ d ∞ AE erit BC ∞ ACAE ∞ ACE. V. d. 8
15) A est B, idem est ac dicere si L est A su sequi-
tur quod es L est B. Hoc demonstrabimu: Assumamus
quod L est B quia A est B ergo A∞ AB per 8 jam si L estA
ne
demonstr
etur erit L∞ LA. E pro A substrtuendo valorem AB) fit L∞ LAB
 s est AB. Ergo L est B per 8. Vicissim assumamus
Ergo demonstratum est, _ ex hac: A est B, sequi hanc
si L est A sequitur L est B. Nunc inverse demon-
oanir, ex posteriore hac: si L est A sequitur quod L est B,
fer
A est B.
Intelligitur, agtem Lquaecunque
ermimus de quo, dit
ian  s Lest A  L∞ LA
E s B sequitur L est Z
L est 4 coincidit cum L ∞L A, et L est B coiincidit cum +LB
LB ponamus illud esse verum, et tamen hoc esse falsum,
eire quod si inde inferrtar absurdum, utique inferetur
quod ms est Lemma hoc ex illo (per Lemma prop.
sequentis) statuatur ergo haec enuntiatio. si L est A,
seqit quod L est B, A est non B QA est non B
jun ZA est A erl L (quia L est Omnis terminus
(quia pro L substitui Ergo _A substitui pt pro L. Ergo
s Ae est Ergo QA est B (quia ZA comprerenditur sub L)
ergo QA est B non B quod est abs.
16) aede praemittendum fuerat hoc: si ex A
cequitur non A.
cavitur B, ex nne per non A intelligo
15) si A sit propositio 
ropositionem A esse falsam Et cum dico A est B, et
 et B sunt propositiones, intelligo ex A sequi B. sed
monstrandus erit harum substitutionum successus. Iltile
si A est B, non A est non B etiam hoc ad com-
pciose demonstrandum, ut si pro A est L est A dixissemus
1
C et pro L est B dixissemus D, sit pro ista  si
L est A sequitur quod L est B, substitui potuisset C est D.
in praecedente. Si A est B dicatur C, ert C idem, quod
esse B. Itaque cum dicimus Ex A est B sequitur
et _est Eeppidem ec est ac si diceremus A esse B
es  esse F. est E esse F. differt tamen
A esse B, et B Beitas ipsius A, quia haec signi-
ficat A esse B qualenus tale. Itaque essi sequa
sapiens
s etsi exhoc quod _ est justus, sequatur quod Deus
ies plioi
eamen; non vatel sequitur hac ideo
Ei ui est DEi misetodia. Nam Et licet omnis
sapicas sit justus, non ideo tamen et adeo sapientem
alse sit jnstum esse, non ideo tamin sapintia est jostita
ene
Dicere A est B, falsa es, idem est quod dicere
A non est B. pertinet ad usum 78 non
cd d. 4
si A sit B non B A est non Ens
propositio falsa est ex qua sequitur A est non A