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

ieaque resu Resumamus ergo calculum ab integro.
prop. Univ. AA. omne. B est C in calculo cit
c-
C CB
prop. part. Ney Quadd B non est C, in calculo dublt B non = BF EB
prop. part. Afarm. Quodd. B est C in calculo dabit BC  = CB
prop. Univ. Neg. Null. B est  in Cdsculo dabil BC non = CB
subalternatio omne B est e E
oppositio patat ex constructione nempe inter Univ. Aff et part Ner
item inter part. Af. et unio Neque
suba ternatio demonstratur ab universale ad particulare
omne B est C. Ergo quodd. B est C
B = RCB. Erqui CB BC = cB BC = CCB = CB. nam
in huc calculo duplicatio literes vel notionis nil addit. ut si
dicerem Homo est animal animal
Nullum B est C Ergo quodd. B non est C
BC non = CB. ostendendum est B non = BC. Nar. seb B P
nam si esset B = BC foret CB = BC (ex praeced.) contra assumtum
Conversio etiam demonstratur et quidem conversio simpliciter
in part. AH. BC = CB Ergo CB = BC
et univ. NCy. BC non = CB Ergo CB non = BC
conversio quoque per accidens in universali affirmativa demonstratir
u ex demonstinta sabalternatione
Nempe Omne B este
Ergo quoddC est B. in calculo B= CB Ergo BC = CB. Er
(quod est subalternatio) Ergo CB = BC (quod est prou particularis aiffir.
matioae quersio simplienter) id est quodd. C est B
Nunc veniamus ad syllogismos
Barbara omne ByrC C est B omne
Barbara omne Cest B omne Das
exalicandu
Ergo omne d est B
C= BC p= CD ergo (tollende C exposen  per C) D = BCd = (per 2) Bd
C= BC D2 Cd ostendendum D = BD
in 2 ponatur valor ipsius C per Ex + sit CD = BCd Ergo per 2 fit D = Bd
elirent Nul Cest B O_DD est C Ergo Null. d est B
CB non = BC D = Cd
Ostendendum DB non = Bd
Ex 1 fit CDB non =BCD Ergo ex 2 fit DB non = BD
arii Omne C est B quodd deste Ergo Qu. d est B
DC = Cd. ostendendum DB = BC
Ex Z sit DCB = CBd per 1 sit DCB = BCd et omiso utrobique C frat
F. EV
B = BQ sed sic ratiocinari non licet, quia ita pajor propositio
ingrederetur calculum vereor ergo se in his meeis ratiocinationi
si praecedentibus sit lubricu. Illemp sciendum non liceret literam
adjungere quam non constat ex praemisis esse ingredientibus compatibi
u
lem Ergo non licet sic ratiocinari ut in Barbara Redimus
ibi erat C = BC d = Cd et ostendendum erat d = Bd Dico non licere
ex 1 facere Cd = BCd quia non non constat an nam licet ex Z con-
tet B et C et d esse compatibilia, tamen non constat B et D esse compa
tibilia. Aliter ergo procedendum
quia C et D compatibilia per 2. sernc
2 ex 1 sit D = BCd Ar goper E si = Bd
itaque Resume mu carculum syllogismorum adhibita
cautione dicta, ne combinemus quae non istat esse cobinabilia