# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068646:0001
# Permalink to this reading: https://leibnizlegible.com/page/00068646:0001?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 2
# Folio 1r, page id 00068646:0001
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068646&page=1
# Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000001.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 157 lines, status machine
# Lines: 157 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.

n verifaitiqus tossequentia
uam his terminis seper imposserua
tribuemus designam
at
Hic demonstrantum Modi primue figure uiam opterdins,
et regueae oppositionum. Quarum ope demonu
strantur deinde conversiones et modi deliquarm
figurarum.
Principia Calculi rationalis
Axioma 1 A continet B. et B, continet C. ergo  A continet C
s est est. B seu A est B
Barbara: Ae e B est C
Celareat
Darii
Ferio
subalternatio
Princae Figurae modi secundarii
Barbari
te
Celaro
B est non C
B est C
B est non C
B est C
B est non C
B est C
B est C Ergo A est
A est B
A est B
QA est B
tur
Ergo A est C
QB est B, er A. 2.
QB est B
A est B
A est non C
QA est C
Ss  EB id est 2 quet B
QB est e
QA est C
Demonstratio. Namt ex Barbara) B est C, A est B, Ergo A est C. fod quia A est C, ottam LA est C fer subalternao
sed quia A est C ergo et ZA est C. per sub alternationem
B est non C
A est B
2A est non C
demonstratur eodem modo ex celarent per subalternationem
i Falsa sit conclusio necesse est ut falsa sit aliqua expraemissis
si
si verum est A continere B _ alsum est A continere non B et contra
seu _A continere B et A continere non
Net et Non non A idin est quod A
si verum est A continere B falsum est A continere non B
Non simul verum est A continere  B et non B
Si veren est A continet  verum est A  non _C
alsum
sciliut si fatsum est ominem hrominem ess animal utique oportet aliquem esse
lommnem qui non sit animals neque alia falsitalis ratio nit intelligi potest
s Non non A idem est quod A
verum es QA est non non C id est (per A∞. 3) QA est C Eago si M est non falsum ses
Si falsum est ZA est C verum est  A est non C
sed falsum
seu si fasa falsuum est reperiois hominem qui sit  perfectus, sequtur
Omnem hominem esse non perfectum
si fatsum est ZA est non C oerum est A est C
sequitur ex Ax. E per ex D. Non _ non A est A
Non geminatum semet tollit,
complexivum
AAe
segatur ex Ax. 3 et 4 Nam (per AX. 4) si falsum est A est nonC t s. L est balsom Mestverum
sifalsum est A est (o verum est eAt est C
aliquem
si L est falsum M est verum
Ergosist est falsum Lest verus
Est potus de finitio seu asas signi net
potus
NoheNon geminatum se ipsum toll ut Non non A est A, non sasum
Non verum est falsum eta
run
isun
item non non falsum (id est non non verum) est verum
si r posisis veris pluribus propositionibus si conclusio sequatur ex
beraet et conclusio sit falsa, erit aliqua ex praemissis falsa
per ax. 3
Si (B est C, falsum est vera est fala est:  est non C demonst. B ∞ BC Ergo 2B nor ∞ eB no
si vera est 2B est C, falsa est  C B est C
sequitur Nam ex ax. 6. si D est C pt vera, hunc QB est non C, est taba.
nam si gB ∞_B non C, pro (Y
Ergo _ per AP. 5. si falsum sil: QB est non C esse falsam utique praenissa
hoc loco unica falsa est, quod B est C sit vera. Hoc est (per ax. 4. et coroll.)
si vera est QB non C, falsa est B est c
si falsa est B est C vera erit QB est non C
si falsa est 9B est _ non C vera erit B est C
remonstratur ex axiom.z. eodem modo ut coroll. praecedens
ex ax. 6
si vera est B est C B est C et G
contradictoriae seu nec simul verae nec
est non C, sunt
6 et
au
falsae per ax. 7. et coroll
fa nec simul
B est non A et QB est A sunt contradictoriae
demontratur eodem modo ut praecedens pro procedentis
pro E praecedentis substituendo non A.
nos nam alioqui cinera esset B est non C, etiam vera esset 2B est hor C
si vera est B est C falsa est B est non C
m
ergo X ocra extstente B est C vera quoqui
im. eodem mo
BC Bho
∞BC. Ergo taliper
mu n tB
 fient Brestaone
st ut praecedens, pro C porendo non A
dd citur s ave s est B et in B L B ist C isi o est non C conposlen sim et e td ina prinesia pr trodis figrarom
scgbentium
Ota hit demonstrantur
praeter hoec pauca:
Ax vet 4, quoe surt loco definitionum
et AX. 5 quod est ipsa consequentiae definits
quae sunt loco definitionum ipsius non nege
Axiima 3
Axiom. 3
A
Axim. 4
AFcom. 3.
prom. 3
Axiem 4
Axion. 3
 5-
om. 5
om. 6.
7
Coroll
Coroll. penrcle
erivum
 aliud corolligentrate
coxoll-
Apiomala Calculi de continentibus
cotentis demonstrant
per axio mata coincidentiae
dem. A∞ AB Ba BC. Ergo A~ AS
nam exo B in priore praemissa pone BC5
Expriore, fit A∞AC
est in dariu
in feria
si L est Verum M est falsum
verum L erit non cerum
substiluatur BC, fiet
corolla
26 QBC non C, qv. est abs
B non ∞ BC. Ergo QB L Lb nonL
haec propot
o demonstranda ex analysi restri
stempe si B non ∞ BC, ergo nonc B
est terminus verus, ponatur nonc a
fiet QB ~ non C nonc