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

Nota in his
primae consequentiae se eguntio
A est B ergo A est B. Iteu Anon est B ergo Amoc est B.
A est B et C est D ergo A est B vel ergo C est D.
(A est C et B est B ergo AB est C
A es B ergo A est BY et By est A, ponatum
y esse nationem0. quae ipsi B addita fac ae quifollet
notuni ipsius A. sed si ja tunc aeque lase paseant
ea potio erit ut Ens.
quentiis, quando
A est B ergo B est C. Ergo A est C.
s B est C ergo AB  est C
B est AC pugo R e A
o
Omni seu propositionis universatis.
ut quia genus seu quodrabet A est C etiame pecies
seu AB  sive aliquod A, sit C.
A est BC ergo A est B. pendet ex definitione
praedicato compositi
omne
Axiomati l du
si Omne A es Merg ou R
esse signum utroa
(2) omne
Omne AB est A
siiA est B ergo quoddum A est B. i
sm
si omne e est B ergo omne A est B. A si A est B et B est C As
si A est BC etiam A est B. pendet ex natura predicati
Si Propositioni Universalis Affirmativae haec natura est
definitio seu natura est, ut praedicatum praedicati sit
praedicatum subjecti. Seu cum dico Anin Omne
animal est corpus, vole id volo id omne de quodict
dicetur quod sit animal, de eo etiam dicetur quod
sit corpus. Itaque e e definitione definitio
propositionis universalis dic exprimit hanc
Omne   B Omne B est C significat: si
C
est
qu
hinc
est  atu loste
(4) Si omine A est B etiam quoddam A et B
5) Si A est BC etiam A est B. Haec propositio jam potest
exhiy pothesil
demonstrari. Nam _ ex hypothesi A esto BC, jam omne BC
si omne e idem est B Po
si  est C et B est C
Si omne A est B etiam quoddam A est B.
signo tam in ante consequentiam seu
ponitur livera sine
intelligitur idem
Hinc demonstratur
A est B et B est (C, ergo A est C natio R est
BN.
ommes est C ergu AB est C est dictum a
Nota in his conse-
cedente quam
in consequlente,
N. idem
omne
(6) si A est C ergo AD etiam AB est C. Demon
stratio: Nam AB est A per prop. 2omu est C per hypothesin.
Ergo per prop. Y. A  AB est C. quod E. D.
(7) Si A est B et A est C etiam dm
A est B C est
quia
ipsa definitio seu significatio formulae BC
si A est C et B est D etiam AB est CD nam si A est C etiam
B est Cergo
B y est C
pendet ex sefi-
nitione  subjecti
propositions um
versalis
Fcorollar. Ergo
etiam ABeste
illud vero non sequitur
si quoddam A est C, etiam
quoddam 1 pC.)