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

Calculus Ratiocinator
seu artificum facile et infallibiliter
ratiocinandi. Res hactemus ignorata.
Hurasuestq q.
Propositio: a est b.. seu  verb.grat. Omnis homo est animal
subjecum a. in exemplo praecedenti, omnis homo. Semper enim signum universale subjecto praefixum intelligatur
espraedicatum. b. in eodem exemplo praecedenti: animal
Regulae calculi:
propositio per se vera, seu quae probari nec potest nec debet, a me vocatur identica, qualis
necedet, haec est:
ab est a. vel ab est b. ac denique a est a
sit enim a. animal  et b rationalis item est
ac si dicamus: omne animal ratinale est animal
tunc (ab est a idem est quod hac: animal
rationale est animal. et (ab est b) idem
quod: ammal rectionale est rationale
Denique a est a) idem est quanimal est animal.
Onsequentia per se vera ha seu
quae demonstrari nec potest, nec debet, haec est.
Si a est b, et b est C,  Ergo a est C
id est subjectum semper in locum sui praedicati, vice
subjecti in alia propositione funigentis, substitui
potest ut homo est animal animal est
mE substantia. Ergo homo est substantia
seu Deus est perfectus. Perfectus est sapiens.
Ergo Deus est sapiens. Haec nempe est dofinitio Prae dicati
Propositio ece vera est, quaevel
per se vera est, vel per consequentiam ad
per se veram reduci potest. ut haec
ac est b.  aqu.
posito Ex consequentia per se vera sequitur
haec:  si at est bd. et b est C,
etiam a est C. quia loco propositionis
a est bd poni potest proprositio a est b.
Unde fiet per pee artio 4 quia Nam si
a est bd, et prr Y per hypothesin, et bd
est b per artiae 4. erit a etiam a erit
sandens a est b et b est
une
etiam a erit C per artic. 5. ergo. si a
est bd etiam a erit c per prop quod erate
demonstrandum.
DIdem est quod ubique in alterius locum substitui
potest salva, veritate.. Ex. p. aequilaterum aequiangulum quadrangulum, aequilatatum rectangulum
vadritate
(8) Si a est b et b est a erunt a et b
idem. Nam semper b substitui poterit.
in locum ipsius a. vel contra. Ostendaro.
autem semper substitui, si substitui possit sive
a ditse daljetum sive praicatuus aliemus
et:
quadrilaterum
et denique quadratum haec tria sunt idem et
unum pro altero substitui potest. Nam
eademres quae quadrata est, etiam quaequi
latera trectangula quadrilatera est et
contra. (Hinc patet dub priora esse velut
degits na