# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068652:0197
# Permalink to this reading: https://leibnizlegible.com/page/00068652:0197?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7C
# Folio 97r, page id 00068652:0197
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068652&page=197
# Source image: https://digitale-sammlungen.gwlb.de/content/00068652/jpgs/default/00000197.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 78 lines, status machine
# Lines: 78 recognised, mean confidence 0.90
# 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.

Fundamenta Calculi Logici
(1) A ∞ B idem est quod A ∞ B . st vera propositio
(2) A non ∞ B idem est quod A ∞ B est falsa propositio
(2)
(4)
Non non eoincidit aequivalet omissioni ipsius Non
A d A ∞ AA. seu literae trustra hic in se invicem ducuntur
AB ∞ BA, seu transpositio nil nocet
(5) A∞ B significat alterum alteri posse substitui, B ipsi A, vel A ipsi B, seu qu aequivalere
6
 A cuin inest A non A id est Non Ens seu Terminus falsus
(2) ju omni termino inest vero inest A vel non A
(8) Non immediate geminata seipsam tollit
(9)
itaque: coincidunt A et  et A∞ non non A
 etemque A ∞ B idem est quod A non non B et A  non non ∞ B aequivalent
Falsum
cui inest A non A est non Ens seu terminus falsus, verbigiatia si esset C ∞ AB non B, foret C non ens
(10) In omni termino inest A vel non A, seu si  B non ∞ CA
(10) In emni epripo in est A non ∞ B  et Bnon ∞ A sequitur ex 5
(11) Aequivalent A∞ B et non A ∞ non B, nam quia A substitui potest ipsi B ergo substituendo in
es non A fiet  non B, seu pro non A substitui potest non B. Et similiter ostenditur pro non B
substitui posse A, Ergo quia A et B substitui possunt matuo seu A∞ B, etiam non A et
non B substitui possunt mutuo seu feri non A c non B. Eodem modo ex posito non A∞ non B
demonstrari potest A ∞ B nam A (per 6.) A idem quod non Nam ex non A jam ut ex
A ∞ B demonstra vimus non A   non B, etiam ex non A ∞ non B demonstrabitur
non non A ∞ non non B seu A∞ B. Ergo demonstrantur hae veritates ex se mutuo seu aquivalent
asue nieo et A non  non A et eodem modo Comisis
(12) si A B sequitur A non  non B aliaqui
demonstratio si erim esset Esto enim AB  CnonEB,  jam AB  ∞ ABAB (per artic. 3.)
(13) (12) on A B AB non ∞ Cnon
et ABAB ∞ ABC nonB (per num. 1. articuli hujus). Ergo a primis ad postrema AB∞ ABC non B
Quod est absurdum per artic. g. nam AB foret terminus falsus seu implicans
eo non equitur AC ∞ BC ergo A ∞ B sie esset A ∞ BC fieret (per 3) AC ∞ BC
(12) (3) si A ∞B sit AC ∞ BC demonstratur ex S; modo enim
(14) AB ∞ AB non C non S quod st als. par 13 siminum
(14) esequinalent A ∞ A non B et A non ∞ AB. Nam quia
Nam ostendamus primo ex A∞ A non B sequi R non ∞ AB. quia AC Ana B (ex hyp. )
sit AI Esto enim A∞ Anon B ajo sequi A men ∞ AB. nam eus ah a non
esse A C AB fiet (ex 1.) A∞ AB non B quod est absurdum per 9
imiliner
ostendemus, ex A non ∞ AB sequi A∞ A non B. Nam ponamus A non ∞ A non B
si A ∞. sequitur  EA non ∞ C noneB, Nam jenamus F tatum at si ( .  HG
et A non ∞ AB
Nam EA non ∞  non A (per 13) Ergo pro ultimo A substituendo B lex hoyp) sit EA nor ∞ (o a
Quando negatur aliqua propositio, non refert
(15) R si A∞ FB sequitur EA non ∞ C non   B FGB
(17)
n
Nam EA non ∞ C non GA. Ergo pro A substituendo FB sit EA non ∞ C non FGB
Si A∞ A non B erit A  non D AB , ubstitiento A non B ex Hyp hic)
Nam A non ∞ AB non B, Eiqo A non B non ∞ AB non B. Ergo A non ∞ AB
schl in omni termirain est diatus ternius affimuative vel aegative, ocus Ominus
A∞ ACA. Ergo ABnor ∞ A non A seu A A continet non _
Non B∞ non B non. AB. seu Non B continet non AB seu Non B est non AB
Hoc superest calculo nostro demonstrandum
C ∞ C non A non L sequitur ex 17. pro Non B ponendo  non C
coinci aequivalent A∞ AB et non B ∞ non B non A. Est quersio per contrapositionem
num
Aede ed
Nam si A a quAB cum sit non B~ non B non AB per 17) pr in . 2. pro AB ponendo A (per 1)
fit non B ∞ non B non A. Rursus non B0 non B non ABper 17) Kursy
Rursus si non Bdo non B non A cum sit pr cum sit (per 17) non B ∞ non B non AB
jungendo, 1 et 2. fit AB A∞ AB (drabia tu nonnihil consequentia per schol. ad 12. p
nempe qt B non A ∞ B non AB sed an hinc sequitur A∞ AB. spine si BC∞Bd .nt e
on ABa
lumdemum f  C∞ B si C et B un habent b loe.
(0) aquivalent Non AB non ∞ non B, et Nop AB S non A seu dminent  a m Apl 
Nam AE Non AB alterulia horum dicit on A continet non A vel non B
l sium sintat in nn earaert alteris quna ltar, in podacant quim ferntoe posanum
14
2 Aug. 16.90
Falsa propositio 
qua sadmissa exter
minis veris sequitur
foram
min
mtis