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

155 Smnibus ergo expensis fortasse melius, erit, ut dicamus semper
in characteribus quidem pont posse A= A. licet quando, A non est res, nihil inde
utiliter cocludatur. Itaque s AB sit res poterit inde fieri YA = ZB
nam inde fieri potest: BH Nam AB = R.
E et AB = RB.  sit B - Y et R = Z.
YAB = ZR
fet YA = ZB. Et contra YA = ZB jam A = R et B= () (seu A et B sunt B
Ergo YAB = Z (R). Ergo AB = ((RD
156. A = A A non = nonc A AA = A. A-Y 
160 VE no 158. D = ZC est univ. Af.
159. YA = ZC est partic. Aff.
160 D non -WE est univs. Neg. nt D -E Universalis negativa
161 XE = non F particu laris negativa
162. superesse videntur Coincidentiae, in quibus ingi quas ingrediatur
non F t non Y A. sed sciendum est non Y A esse idem quod  non X A = Y
nempe non YA = non A. unde plures regeriri cobinaiones non possunt
si quis tamen non YA aliter vellet sumere ut Y non significet
quod indefinitum sed tale licet incertum porirentur novor combinationes.
162. Supersunt termini quos ingrediuntur non YA, hoc est non tale A,(seu
nempe non YA
quoddam A non) qui differunt a non quoddam
esse, quoddam A esse B Aliud est dicere falsum esse tale A esse B. ende
cum hic oriatur aequivocatio aliqua
satius erit literas Y proisus eli-
minare, et hinc orientur tales propositiones
163 A = B vellutu idem non A = non B pricetera, simplicissimae
164 A = AB universalis affirmativa
165. AB = AB posito AB esse rem particularis Affirmativa, vel YA = seu 1 - 2B
166 A non B  A non B A= non B universalis affirmativa
167 A non B = A non B, posit A non B esse rem particularis negativa
168 Si A non = B erit vel A = BC, veC B = AC, vel A - non B tunc vel
A non B erit res, vel ABCB non A erit res.
169. ABest res aequivalet eu. A est B, et qu. B est A. A non B est res
aequivnlet Qu. A non est B vel qu. A est non B.
A non B est  non res aequivalet Universali Afformativae: Omne A est 
AB est non res aequivalet Universali Negativae nullum A est B, vel nullum B est
170. Interim opus est tamen, ut propositionem qu. Aest B, discernamus
a propositione: quoddam B est A, et similiter Sullum A est B, a propo
s
Si A = B erit AB = B. Nam A = B ex hypothesi, ergo AB= BB
non pt. B
A erit A= non B 0ca
per princip. quintum.  id est per princip. 3. AB = B
72.
173. Si A = BC erit AB = BC. Nam A = BC ex hyp. Ergo AB = BBC per
princip. quint. id est per princip. 3. AB = _BC
175. Si A a B erit non A non B. si A = non B erit non erit A = B. Nam
sit A = non B ex hyp.  non erit A = non non B per princip. 6. Ergo
176 si A = BC erit A = AC nam sit A= BC (per hyp.) erit A- ABC
AB A N. MBC (per princip s et 3) hoc est erit A = (ABC = A ABCBC =
177. si A=YC erit A = AC  ut ante
278 si A = YC erit ZA = VC. Nam A = YC ex hyp. Ergo ZA = ZYC, sit ZY -
179 si A = YC erit YC = ZA, patet ex praecedenti
180 si A = ctilB non XB si A= non AC erit A = non C. posito
A nam  fiet A non non AC C Escilicet si A est res ). Hoc accurate
demonstrandum
non AC = Y non C]= Z non A)
182 Si Y non C = Z non A. erit = non AC
185 non C non A non A non C = Y non AC
174 si non A = B erit non B= A. Nam ot non A = B ex hyp. erit ton non A. ut B
per princip. quias. jam non non A= A per princip. 4. Ergo A = non B
126 si A=Berit t A = AB. Esto enim A~ YB ex Hyp.
per mrincip. 4 non erit A = B
= ABCC = AC. u
fiet ZA = VC
181
uto si A = B erit AC = B C. qu  si A- B eritum A. no B) seu qui negat hominem negat et hominem doctum. Sed non sequitur.
71. Principra sunt = A. se non A = non  A. terho AA- A
sitione nullum B est A
t
S sivexul dicst aoals est ninens alis afirmativa reciproca, quae est simplicissima. Coincidit cmonA aB
158. silZ est YA= ZC est particularis affirmativa. Unde statim patet
particularem affirmativam esse simpliciter convertibilem.
158 A= D- ZCd est  uni verralis affirmativa
vempe aliud est dicere falsum
 non AHo
s
que non non - ais orist 3. on
septim
haec demun
stranda