# Leibniz Legible — https://leibnizlegible.com
# Piece: https://leibnizlegible.com/api/records/28915/text
# Catalogue record: 28915 — [Specimina calculi rationalis: erster Versuch]
# Incipit: 1) Si A explicando prodit B non B, A est impossibile.
# Date: 1686-04
# Akademie-Ausgabe: AA VI,4 N. 171
# Other printings: -Couturat, Opuscules, 1903, S. 259-261 -Übers.: -dt.: Fr. Schmidt, S. 147-149
# Record in the Leibniz-Katalog: https://leibniz-katalog.bbaw.de/de/extended-search?id=28915&katnr=55710
# AA VI,4: its series at Leibniz-Forschungsstelle Münster (online after accepting its terms): https://www.uni-muenster.de/Leibniz/seite5.html
# Work: https://leibnizlegible.com/work/00068646
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 2
# Folios: Bl. 62 (from the shelfmark LH 4, 7B, 2 Bl. 62): 2 pages, canvases 123–124, page ids 00068646:0123 to 00068646:0124
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068646&page=123
# Lines: 127 recognised on 2 of 2 pages, mean confidence 0.92
# Catalogue: Leibniz-Katalog / Arbeitskatalog der Leibniz-Edition (https://leibniz-katalog.bbaw.de/), ed. Arbeitsstelle Potsdam I der Berlin-Brandenburgischen Akademie der Wissenschaften, CC BY 4.0.
# 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, page by page: a "## Folio <label> — <page id>" line ("## Canvas <n>" where no folio label is recorded), "# " lines naming its source image and model, then its recognised lines in reading order, one per line.

## Folio 62r — 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.
# 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
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

## Folio 62v — 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.
# 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
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.