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

(90) (aeterum etsi hoc modo in Praedicato vitari semper possit
in definita Y, non tamen potest vitari in subjecto, et praestat
i pe praedicato etiam reliaqui, ob inversionem manifestiorem
Et omnino quia prorsus eliminari possunt indefiaitae prostat
non
eas relinqui
(91) Si AY = BZ dicatur esse falsa, seu AY non = BZ vel
(91) demonstrandum est, si licet A esse B idlem esse quod: non B est non A
AY non = ABY
Non B st = L,  Ergo L - NDn B idem est quod L non L esse non A, ideus
est quod L non esse A. Ergo non B esse non (per per 87). Itaque
non B non est A
tunc
Demonstro: nam si A est non B A est B ex hypothesi. Esto sel verum
A esse non B. si quidem fieri potest, jam A est B ex hypothesi
non B quod est absurdum adde infra 99
(92) Si A non est non B,, turc A est B. Esto falsum A esse non B
equentia.
Ergo A est
seu A non sit B, jam A non est non B ex Hypothesi Ergo A
seu  Animal esse non hominem falsum est, quidem; sed
tamen hinc non sequitur omne animali esse hominem
(93) si A est B non B est non A. Eo A sit R per Hypothesun
Aeri potest
jam non B est id quod non est B non B e Falsum esto non B
64) Si non B est non A, A est B. falsum esto si fieri potest
 esse B. ergo A erit non B. Ergo quoddam non B erit A
per conversionem.) Ergo falsum est quoddam non B esse non A (per 91)
Ergo multo magis fulsum est omne non B esse non A, contratus
(95) idem est A esse B idem est quod non B esse non A,
au no
Vrtendint niticau
propositio 95. demonstrari possit per se sine 93 et 94 tion posiu
(98) Bredius: omne A est B. Ergo omne non non A est B Ergo
id est Nullum t est B id est nullum B est  non A.
id est omne non B est non A. Ita demonstratio propositionis
95 non supponit 94 et 95 93 et94. Sed praedemoi-
strunde ist avertionem coversio uuniversalis negativae
iet esse tantum negationem particularis
et praeclemonstratum est omne non L est M
quae patet gdo
affirmativae
esse idem quod falsum est quoddam L esse M
(96) NNon non A _ = A.
A est B, idem est qu A non est non B
B idem est quod A est non B (per 87
illum
(per 87
o A est B idem est quod A non est non B quod Nullum A est non B(87)
Eroo nullumi non B es A, id est nullum non B est A (per conuersionem
universalis negativae) id est (per 87) Omne non B est non A. 
uod eat diu
19 A est B idem est quod Nullum A est non B si A est B sequitur A.  t
 non esse non B, seu falsum esse omne A esse non B. Nam est A est B
utique nullum A est non B seu falsum est quoddam A esse non B. (per 87)
Ergo (per 10d) multo imagis falsum est omne A esse non B. Adde 91.
104) Si falsum est  quod A, esse B, falsum est Omne A est B
quod
dam A non est B. Ergo omne A non est B. Nam esto falsum postrrius
aliquod
seu ponatur omne A esse B seu si fatsum est AY esse B Nam ponatur
si Feri potest omne A esse B sin fatsum esse posteriau Ergo quoddam A est B (per 29) sed
oc est lontria ais pottesur patera futui, ero er susir prs
esse non BA, seu non B non esse A, verum erit non B esset
non B esse A. Ergo quoddam A est non B. Ergo falsum est
Omne A esse B. contra Hyp. F
contra hypothesin.
patet ex 9 93. 94. juncto 30
ides
imo puto posse
eliminari
Bd antiormandi
modus seu ducendi
ad absurdum jam
in praecedentibus
est fa opin
stablitus
videndum
=meliu direoe omne A est B
ergo
Bc) quoddam
 un es non B non essest
quoddam B non est non A
Ergo Nullum B est non A
Ergo Omne non B est Ronse
supponitur negationemuve
ulis
tva
diculoris affirma.
univr
satem pegati-
vam
et Nallum B idem esse
quod ogne non B
Nullum non -A, idem
est quod solum A
(98) Omne A est B
idem est quod Nullum
A est non B, seu quo
quoddam A non esse Bon B
44 patet ex 97 vel 87
tantum pro B ponendo non B
et pro non B ponendo n
non non B seu B