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

17) in Namerpo 15 assumsimus si posito A, sequitur B,
ex non , B sequi non A. vel generalius, asunnsi
mu secundum nostrum Hypotheticas sub sate
goricis comprenendi modum. assum simus 
hanc consequentiam: A est B, ergo non B est nonf.
Hoc jam udemonstremes: Aest B, idem quod A∞ AB
si jam Ergo non A ∞ non AB. Ergo falsum est non B
esse A. Demon stratit: NAEsto: Non B
est A. Ergo A non B ∞ non B. sed
A est B ex concessa. Ergo A∞ AB. Ergo
AB. non B ∞ non B. quod implicat. Ergo (per n. 6)
falsum est non B esse A, posito A esse B.
ex def Aliter sine equipolentia, qui solam.
substitutionem unila teralem. E A est B ex
hypothesi dico non  A esse B. Nam quia
isum est
pro A substitui potest B. fit (per 1) substi-
tuatur in 2 fiet non B est B. quod est falsum
per n. 6.
(18) supra 9 dictum est, demonstrandum esse:
An est B et 2A c est  non B coincidere
posito  esse aliquod seu dicere A non est B, idem
esse ac dicere datur Q, tale ut s QA sit non B
si fassum est A est B, possibile est A non B  
id vocetur R, fiet R∞ A non B. jam Ae
Anon B ∞A. sic enim licet assumere et
non B est non B erqu ex hoc falsum est + esses
sequitur eA est no B le
1
non B vocetur
Ergo
ergo possibile est QA. jam QA est non B
ex hyp itaque possi posito falsum esse A est B
ostendimus 9A esse non B. jam contra ex hoc
ostendamus illud: QA est non B ergo fal sum est
A est B. Nam siverum esset A est B, posset
B substitui in locum ipsius A, et fieret aB est n B
quod est absurdum.