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

(6)
Non AB continet non A, seu Non AB = Non AY, posito B - Y.
nam  Non AB Non A non B  continet non AB
Non A est non AB, seu omnis non A  = Y non AB. Omnis non homo est
non: homarationatis sequitur ex yy
(7) Generaliter A esse B, idem est quood  non B est non A. Unde
demonstratur praecedens nam AB est A. Ergo non A est non B. Hoc videndum an possit demonstrami. Demon
pratum est in infea 95. et 99
(28)  A = B  et non A = non B coincidunt
(79) 79) Ergo A = BY _ idem est quod non A = non By At si A sit B
non sequitur non A esse non B. seu si homo sit animal, non sequitur
non hominem esse non animal itaque licet pro A substitui
possit B, nontideo tamen pro non A licet substituere non B
nisi vicissim pro B substitui possit A
∞0) videndum an infinitis possit careri, sane non A, videtur
propositioeis
idem esse quod is qui non est A, seu subjectum praetlicationis negativae
cujus praedicatum est A. seu qda omnis qui non est A.
seu
itaque  si _  Y non est A, erit Y = non A.
Y non = AX idem est quod Y = non A signum scilicet
esse inuntiationem, quae per literas At facilis 81) F seu Y indefinita cum lineola mihi significat quilibet, Y est unum
incertum, Y est quodlibet. Nimirum si B non est A,  B erit non A
82) forte tamen hoc non erit opus, et sufficere, ut dicamus
(82) Nimirum et sic dici poterit; B non est A idem essequod B est  non A
seu B non = AY Verum D seu B non = AY, idem esse quod unde
detur fertur B non- AY idem esse quid Le B= Y non A, et proinde
(83) Subest tacuen adhmc aliqua difficultas, cum dicitur falsum
e ri potest B non = AB.
esse A et quoddum B coincidere revera inde
83) Generaliter  A esse, dici potest A = ABH inde enim mani-
festum est B continerim A, idemque est homo, et homo animal. Aera est gatio ale apimer animat
articoh 16. et quanquam indefieti nou
(84) Hinc si propositio AA est B dicatur esse falsa eti
hoc jam supra ad marginem u
et idem est dicere A  non = AB hoc est quodiam A non est B
(85) it A esse non B  idem est _alicere A= oB A. non B
si dicas A = A non B est falsa ignificat quoddam A est B ea
86) Rursus, non B idem est quod is qui non est B, seu genus cujus
species sunt tlanta , etc, posito  A non esse B, C non esse B, duon esse B
patet ex 83.
8) itaque H A, n esse B s idem est quod A esse non B, seu  quodlibet A esse unum
ex iis qua non est B. seu A non = ABY, idem est quod A = A non- B.
3sum
Habemus gitur transitum  inter infinitas affirmativas, et
(88) ut obiter dicam, generaliter A esse AB, et
idem est quod A coincidere cum AB; (seu si propositio A est AB est
negativas;
vera, erit reciproca.) Hoc ita demonstro A est AB ex hypothesi
e id est (per 83) A = A AB. id) est (per 18) A = AB. Idem brerius sic:
A est AB (ex hypothesi) et AB est A (per 38) Ergo (per 30) A= AB
Hae duae demonstrationes inter se comparentur, aut enim in idem
desinent; aut dabunt demonstrationem alicujus probationis propositionis
sine probatione assumta.
et quod quomodo eruntiemus particularem affirmativam quid
89) pergamius nunconsis
quoddam animal est homo BY = di AZ. Ea non etiam
111). Votandum est posse etiam et de tota resolutionis potest in hanc mutari BY = AB  sn quoddam animal esse
potu
dici
hominem, idem esse, quod, animul quoddam esse hominem- animal
nam Et quoddam animal (verbo gralia petu, est homo, non idem
n
utro
est dicere, quod, quoddam animal, verbi gratia petrum idem
(verbi gratia hominem) esse hominem animal. demonstrabitur ita.
si demonst BY - AZ, utique pro Y et Z po Unde videtur dici
posse non tantum BY = ABY. sed etium BY = AB
patet ex _83. nihil refert enim quod _ Y incerta est, quaeumque
 seses sineu ud se aosestur trum datera
uti ocinatio
tumen animit animal
idem est quod animal
ut notabi supta articulo