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

Tentemus nunc explicare Tepmnos partiales seu respections
ex quibus et particulae nascuntur notantes respectum. terminorum
Orimu omnium posi mihi Quod primum mihi inquorenti occurrit
est idem. idem autem esse A ipsi B, significat alterum
alteri substitui posse in propositione quacunque salva veritate
Nam respectus illi propos per propositiones sive veritates
explicantur. Sic Alexander Magnus, et rex Madcedoniae
oictor darii, et item planum triangulum et trilaterum
Est ot alia ratio de expliendi porro
eodem modo se habent, nec pronde haec coinciddere ostendi potest semper resolutione, si sciliet eo jusqu
ehabent simelariter, sibi substitui possunt
num alteri substitui potent resolvantur, donac appareat  a priori esse ipsa possibilia
semper necesse est  si  etiam formaliter prodeant iidem termini tunc
diversi termini sunta iidem. Sit Terminus A, et terminus B
si pus te A substituatut definitio, et termine cantroque substituatu
defiiitio, et pro quolibet ingrediente pursus definitio, donec pervenia
tur ad terminos primitivos simplices, prodibunt utrobique tidem formaliter
prodibit in uno, quod in alio seue formaliter idem. Ergo At et B erunt
sic ergo definiri potest
coincidentes, seu iidem virtualiter.
Coincidit A ipsi B si, A alterum in alterius locum substitui potest
salva veritate, seu si resolvendo utrumque per substitutionem valorum
(seudefinitionum in locum terminorum, utrobique prodeunt eadem, eadem inquam formaliter
t si utrobique prodeat L. M. N. Salva enim varietate verietate fiunt
fiunt substituendo definitionem in locum definiti vel contra
A proxima notio, ut s praedicatum, Bsec A
am B coincidit
ut A. Sit subjectum, D praedicatum, si B substitui potest in locum ipsiuts A
salva veritate, seu si resolvendo A et B eadem quae poodeunt in 
idem aliter explicari pos potest, ut
Notemus
A sit B, si quodlibet A, et quoddam B coincidant.
prodeunt etiam omn
Habenus igitur Notas: Coincidens  ipsi B. subjectum et prsdicatum.
Et si dicatur quoddam A est B sensus
Est. Qualicet. quoddam. 
Non cs A, Non e Si est quoddum A, et quoddam B coinci-
sidicatur quoddam A est B sensus est; quoddam A et quoddam B.
dunt. Undes
coincidunt. Unde et sequitur quoddam B est A.
Si quodlibet A. et quoddam B coincidunt, etiam quoddam A et quoddam
B coincidunt. Sed hoc tamen videtur posse demonstrari ex negatidis, ad ea
NESNA Ut A et A sunt srima
parata
igitur accedamus.
ee coincidentia, ita A et non A sunt prima diversa. Unde verum
falsu est Unde verum est A Diversum idem est Disparatum autem
est, si e faesum est quoddam A esse B.  Qu si itaque si B = non)
erit fatsum est qu. A esse A AB
Generaliter si A sit, B, falsum est A esse non-B
Si  quoddam A esse non B; etiam quoddam non dicetur Nullum A
esse non B, seu omne A esse. B. Hini de
Hinc demonstrari poterit haec consequentia: Omne A est B
Hoc est: omne A. et quoddam B coincidunt
Ergo quoddam A et quoddam B coincidunt. Nam si omne A et
Ergo quoddam A est B,
qu.B quoddam B coincidunt. Ergo falsum est quoddam A et quoddam
non B coincidere. Ergo camper (ex definitione Omnis.) Ergo sac verum
Negatiram
est quoddam A, et quoddam B coincidere
Notandone est su propositionibus negativis perperam particulis
praefigi copulae, sed  idem est propositionem aliquam t falsam et eam
unt qua negatu posii prdete es erum  aam e
dicatur  Omne A et negetur esse B, no seu si dicatur falsum esse A
esse B, idem est ac si digmus Omne
videndum an posito A ubique
substitui posse ipsi B, etias
vicitsim sequatur B ubique
posse substetui ipsi A sanc
e termini esti
hod
a
simi
elatione inter
lariter habent ce utique
se invicem
t mutua est substitutio. quod
non p
net ad tertium quod libet plane