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

enunttationem
B posse formari propost
A est B significat _ substitui posse in locum ipsius B.
Ex A sequitur B, significat in locum propositionis A
posse substitui propositionem B
ABC signeficat A∞
A∞ B signisim A et B eete a idem, sive sibi mutuo
nantiatio
a
s2
substitutiones permissas ex illis orritur
(3) Implsba cest  A es A ∞ B significat A et B esse
idem, seu ubique sibi posse substitui. Nisi
prohibeatur, quod sit in iis, ubi terminus aliquis certo respectu
considerari declaratur, it verg. licet trilaferum et triangulum
sint idem, tamen si dicas trilaterum quatenus tale habet circum
amb circumferentiam triangulum quatenos tale, habet efradus
1180 gradus, non potest substitui trilaterum. Est in eo aliquid
(3) contradictorium est B non B
inateriale
() impossibilis est term terminus, quo posito sequitur poni
posse qui si pontur esse, sequiter  qui si ponitur esse, sequi-
contradictorium. Possibilis autem est termi-
piopr
tet en. oenea ni hil tale sequitur
nus exq
5) Falsa Enantiatio est, qua a
ex terminis possibilibus e admissis sequatur admitti
impossibile; quod tamen ipsa non ad concessa ex positis
non sequeretur. Fats vera autem est ex qua nihil
(6) - Ae CB Non, A est B, vel A non est B, idem signifi-
tale sequitur
cat, quod A est falsa est haec Enuntiatio A est B. ipsa
autem partienta Nox, sibi prefixa duo autem Non immediate
conjuncta se mutuo totlunt. Non
(6) Non significat aliquid esse rejiciendum; et ideo
Non non seu rejectio rejectionis signe sive sit terminus
sive enuntiatio (6) Non significat exclusionem, ad eoque
Non Non () Particula Non hunc habet usum, ut significet
Terminum vel enuntiationem cui praefigitur non habere locum, et
sinc si sibi ipsi praefigitur semet destruit, quasi  ipsamet
et
posita non fuisset itaque Non Non A idem est quod si
iaqueX Non, A est B, vel A non est B idem est, quod falsa est
nuntiatio: A est B, Et Non Non A idem est quod A. et
summa aequivalent. Omniscius et substantia mens sapientissima
aequivalent. E Ergo pro Mens omniscia poterit substitur
Omniscius et spiritus sapientissimus aeqiuatent. Hinc pe
si dicas spiritus omniscius, et pro omniscio substituas spiri-
tum sapientissimumsiet spiritus spiritus omniscius, sed ha
tum sapientissimum pa duplicatio et sufficit dici: spiritus sapi-
entissimus quod secut est in numeris,  et magnitudinibus, ubi
foret sed inutilis e
repetitum A, eat designat non idem sed aequale priori
(8) A est B  idem est quod A∞ LB nempe A continet B
A continet B et quidem simpliciter ut adeo dicere licent A ∞ AB
A ∞ AB, _ nempe quia A sic continet B A est B idem esse
quod A ∞ AB, nam cum A sit A ∞ A per 2. et D ontine.
A contineat B _ simpliciter ex hyp. pro A substitui potest AB,
quoniam per 7. geminatio nil mutat ergo ex A tfieri potest A∞a
seu ex A xfieri potest A∞ AB. Ita cum dicitur Deus est rtis
etiam dici potest Deus est Deus zelotes, et haec duo coincidunt interse.
Ita rem ab Enuntiatione traduximus ad aequipollentiam, quae
calculo nostro est aptior. Idem aliter confici poterat hoc modo:
pidici potest A ∞ LB, nempe si A et B aequipollent
dostitim ipsum A nam si L ∞A fiet A ~ AB, et Ens ve
aliud quiddam quod jam in A continetur; si non aequipollent, erit L
cum A est 
notest spi
id omne quod in A est praeter B. jam quia A ∞ LB, fiet etiam
A ∞ LBB (per 7) Ergo pro LB ponendo A, fiet A∞ AB. malo
autem  adhibere A ∞ AB, quam A∞ LB, ne tertium assumi sit opus
(9) si A est B sequitur non A est non B Demonstratio:
1 A est B ex hyp. Ergo E. A∞ AB per S Fa lsum est Non B esse A.
Nam E A est B ex hyp. ergo Esto enim verum Non B est A ex hyp.
adversarii. jam A est B ex hyp. concessa. Ergo 3 A∞ AB per . Ergo
Non B est AB ex 1 per 4. hic. Ergo 5 Non B est  AB non Bper  
quod est abs. per 5. Ergo falsa Hyp. 1. posita 3. hic. Quod erat sem.
(10) poterant praedemonstrari si _ B est non B vel B est A non B,
vel non B est B vel non B est BA, vel  non B est B non A esse
absurdas, idque communi hac methodo fit, quod perunu. reducitur esse
ad B non B in eodem termino. v.g. C non B est AB a A, per
C reducitur ad C non B ∞ C non B. B  A AB
(10) A est B ergo AC est B. D _ I A est B sxhyp.
ix li pero1 400 6. coni. de cotoc ex  A  B sudidum
si prs Enuntiation, A sequitur enunt. B, et vicissum
coincidunt A et B
Si A est B non B, A est nonEns fie
et pubi euiatur   est B  nn B
Si AB est non Ens sequitur
et geo  Babnon A
A continere non B posito A et B ed Entia
Non AB et Cas Etsi AB esset Ens, tamen etiam Non AB
proestat abstinere Termins possibilis
a impossit
potestesse Ens.
Enuntiatio negativa nihil aliud est, quam quae falsam
dict Affirmativam. Hypothetica nihil aliud est quam
Caleyorica, vertendo autecedens in subjectum, et consequens
A est B, ergo C est d
d sit M, dicemus L est M
in praedicatum. Cx. gr.
e
Cesse
AEt sufsiceient Categoriae eirmatus
2