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

pollatid sust  fac sin sunt 
estve
sen A non continet ton
(43) Falsum st B continere non B est falla Utcunque enim nesolvas, ut robi
mavet id solum discrimem patet ex praecedenti. Nam  p utcunque
fB.. Patet et ex 4
forma nunquam pe
(44) Non B continere B est falsa, patet eodem modo.
48) B et non B coincidere est falsa. patet ex 43 et 44.
Supponunt autem haec terminum B esse possibilem.
45) AB ontinere nom B est fassa Suppono autem AB esse possibilem
hinc rem ita demonstro: Anon continet  non B, alioqui AB contineret
B non B adeoque  (per 34) foret impossibile contra hypothesin. At B etiam
non continet non B. Ergo superest ut pars ipsius  contineatum in  non A
non B contineatur in A pars in B, sunt duae illius B partes Cet D. ergo ipsius
non B partes erunt non C non D, ex his deberet una  verbi gratia no
seu AB non continet non B
46) AB continere non B est falsa  suppono autem ACs AB esse
possibilem. Nam si A non est falsa erit vera Namsi seu A non continet
non B Nam si A continet non B demonstratur ut, 43. Nam AB continet  B
ergo non continet non B, ((quia est non impossibilis (per 32).
(47) A continet B est universalis affirmativa respectu ipsius A subjecti
(48) AY  continet B est particularis Affirmativn respectu ipsius A
(49) Erg  A A Si AB est C, etiam sequitur quod AY est C, seu sequi
tur quoddam A est C. nam assumi potest A = Y per 23.
(50) AY non continet B est universalis Negativa.
50) AY non eest B, est unirersalis affirmation negativa
51) Hinc Sequitur Universalem negativam et particularem Affirmativam, esse
oppositas seu si una est vera altera est falsa. (ex 48 et 50)
52) sei t Unjs particularis affirmativa versi potest simpliciter
AY continet B, sequitur quod BY continet Ad Hoc ita demonstro: AY continem
seux si quoddam A est B sequiturqu
(53) S Universalis Negativa demo convertitur simpliciter se
seu si  si Nullum A. est B sequitur quod Nullum B est A. Nam
AY non est B (ex hypothesi) ergo AY non coincidit BY (per 16). Ergor BY non
coincidit AY (per 6) Ergo (per 16) BY e non est A. Quod erat dem-
(54) Universalis asfirmativa convertitur secundum quid per accidens, seu si omn
A est B sequitur quod quoddam B est A. Nam A est B ex hyposthesi
Ergo quodd. A est B (per 29) Ergo quoddam D est AG per 3 Ergo (per 53)
quoddam B est A. idem brevius. A coincidit BY (per 16) Ergo BY coincid
(per 6) Ergo (per 36) BY est A. Ca Operae pertium erit conferre has
uas definitiones, ut appareat au demonstrationes, al ut appareat
atrum eodem recidant, an vero detegant veritatem alicujus propositionis
hactenus sine demonstratione assumtae.
(55) Fatsa si  Si A continet B, et A, est falsa, etiam A est tabsa. per
veram vel fapossu te literam intelligo vel terninum falsum, (seu impossibilem, seu qui est
non - Ens) vel propositionem falsam. Et per verum eodem modo intelligi possit
terminus possibilis, vel propositio vera. Et ut postea explicabo, totus syllogis mymitu
etiam propositio est. Caeterum quod hic assero etiam sic enuntiari potest
quaelibet pars veri, est vera seu quod continetur in vero, est verum.
Generaliter enim defuiri derum in quo quicquid continetur reduci potest ad
primo vera (per (40)) sit ergo verum A, in eo contineatur B, jam verum reduci
potet B reduci potest ad primo vera
(56) Verum in genere definio, quicquid resolvi potst in primo vera
seu ita ut si pro conine continente ponantur Verum est A si pro quo-
libet  contento ea, ponendo ponatur ut B si pro A ponetudo valorem,
et quode leb quodlibet quod ingreditur valorem ipsius A rursus ita tractand
ut A, se quidem donec incidatur nisi aliquod occurrat quod valorem non habet
seu quod est primo verum; aut nisi nihil occurrat si quidem id fieri
Hinc sequitur ut certi simus
potest, nunquam occurrat B et non B
veritatis vel continuandam esse resolutionem usque ad primo vera, vel demon
strandum esse ex ipsa progressione resolutionis, seu ex relatione auquadam
generali inter quasdam resolutiones praecedentes et sequentem, nunquam tale quid
occursurum, utcunque resolutio continuetur. Hoc valde memorabile est, ita enim
saepe a longa continuatione liberari possumus. Et fieri potest, ut resolutio ipsa
literarum aliquid circa resolutiones sequentium contineat, ut hic resolutio Veri
ex Hypotresi, id est (per 16) AY coicidit ipsi BY. Ergo (per 6) BY coinciditipsi AY.
Ergo (per 16) BY est A. quod erat dem.
eA est vera etiam B est vera
t  den t
alsimes e B contnere non B,
intelligendum est ae de proposittione
B quae non ptinet contradictoriam
Cavendum est nesyllogisinis
utamur, quos legitinos
essi nondum demonstra
Majusculis nolentur
propotitiones supustiati
(vet sime nie
dicendum de collatione horum
Nullum A est B et omne
item dequeisime perotra
positionem ipsius Blardersat
= seu contradictionem
pro tractata, aut quae
 pab
constat esse dera