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

Baiba Barbam omne R est B omne d est C Eogo omne dest B
C = BC
D = CD ostendendum D = Bd
in 2 pro C ponando valorem ex (1 fit d = BCd. ergo per 2 fit D = B
clarent
etarent Nullum CestB. Omne dest C Ergo Null. d est 
cplarent
CB non = BC
D = cd ostendendum DB non = Bd
Nam si esset DB = Bd fara per 2 foret CDD CdB = BCd. Ergo omissa D
tuns
fiet CB = BC contra 1. nempe omittere utrobius eandem literam
licet ascribere, nisi de ombinabilitate constet, non licet
arii Omne C est B Qu. d est C Ergo Zu. d est B
DC = Cd. ostendendum est DB = Bd
sane patet quia B et C combinabilia sunt et in C est B etiam B esd
C = BC
combinabilia esse. Sed nostro calculo ns sic patebit Ex 2 per 1. sit
DBC = BCd et omissa C fit DB = BC
it cumeNtull. C esB Quod est C Ergo Q) non est B
C
 CB non =BC DC = cd ostendendum D non = Bd
si D esset Bd forit per 2 forel BdC = CBd Ergo CB = BC contra 1
tunc
Babapi vid ita negativae ostenduntur refutando coppositum
Q00d
Barbari omne C est B omne dest CG Ergo omne D est B
C = BC DA C D = cd; ostendendum DB = Bd.
nam ex  pere
Ergo DB =
Celaro in celerent est
celaro Aieum C est B one d est C. Ergo quodd D non est B
inoent ex praemissis conclusimus
D = Cd S ostendendum D mon = BC
CB non  BC
nimirum si esset D = Bd foret _ F1 tunc per 2 foret CD = BCC
Ergo D= Bd ergo et BC - B C = BC. Ergo  EB = BC contra
An invertendo siC CB non = BC. ergo C non = BC. Ergo Cd non
ErgoF CD non = BCd ergo (per 2) D non = Bd. Hac patel
video nempe combinationem semper fieri posse in negatior,
sc ut si sit C non =BC, dico D  adscici posse utrobius
ut fiat Cd non = BCd nam si ponan d esse incompatibilem 
cum B. quid tum respondeo quid tum tanto magis enim negeanda
propositio in qua hoc absurdum sed in negativis omittere
eandem utrobique literam non licet fortasse quidem ex ea ipsa
citeia ascripta oritur incompabibilitas et ratio negeandi
Emo tandem habemus praeclaraum Calculi regulam: in affi,ma,
tiois coincidenti amittere literam utrobique eandem literam licet
ascribere eandem nisi de combinabilitate constet non licet. Se i
negatione coincidenbiae ascribere utrobius eandem literam ricet, omibere
non licet nisi de ejus cum caeteris combinabilitate constat. ita enium
contat ob ipsam  non fieri negationem.
patet
nates etiam hinc etsi inulytice negativa demonstretur assumendo
regresse
ornositum, tamen hac methodo, dum combinatur in negativis dic
eam errecte posse demonstrari ut vel in hoc exemplo patet sic
in caelarent CB non = BC per 1. Er. dB non =Bcd Ergo per 2. ibi dB non L Bd
Et in Ferio CB non =BC per 1. ibi. Ergo BD( non = CBd sed DC = CD. Ergo d non
alioqui ex sic = Cd fieret cuu sraet coincidentia quae tamen negatur; ub
amen video admisceri aliquid indiroctum. Praestat erga oppositum ae trestane
Comtinando
imo subest
ut mex
dicetu