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

Propositio  per se vera est
Recotudik ipsiA
ipsi A; idque sive A sit terminus, sive propositio. Et si quidem
Propositio Categoria est
A est B (seu lpi A imest B, seu ipsi A substitui potest B)
A. coincidit ipsi B.
)Anon coincidit ipsi DB idem est ac i
Si A coincidit ipsi B B coincidit ipsi
(7) si A non coincidit ipsi B, B non coincidit ipsi A
A non coicidit in
(8) si A coinciditu ipsi B, et B coincidit ipsi C, etiam A, coincidit ipsi  C.
(9) Si A coincidit ipsi B; non A coincidit ipsi non B
Haecquatuor prropositu axiomata sunt corollaria hutus definitiones quod coinci-
dunt, quorum unum alteri substitui potest
Propositio per se vera est: A coinaedit ipsi A
(0l propositio per se vera est A cdincidit ipsi A.
(1) propositio per se falsa est. A coincidit ipsi non A.
(12) Hinc colligitur  falsum esse non A coincidere ipsi A. (de (per 6)
113) item colligitur verum esse A non coincidere, ipsi . (per 5)
Hae propostiones  possent referri ad veras per consequentiam
Quotia Antem Porro Aut dixi hoc loco significat Terminum vel propositionem
hinc non- A sAsit tertuinus, significat contradictoriam termini vel contra
(4) si propositio ponatur, nec adjicitur aliud intelligitur esse veram
25) Non B coincidit ipsi non B estcorollarium ipsius 10. posito non D coincidere A
si ASim Groposition, et significet  coincidit ipsi M. e tun propo
comnuscta erit s et B significet
 affirmaliva siveA continet B,
sut loquitur Aristoteles) inest animal
16) P ropositio A est B (seu  ipsi A in est B (initonii asse sul partiap
vivum ac ex Hoc est si pro A substituatur ejus valor prodibit  c
A coincidere ipsi BY. ut homo est animal, seu homo et idem est quod Animal.
nempe  Homo idem est quod Animal rationale. Nota enim Y significo additionem
aliquo aliquod incertum, ut proinde BY idem sit quod quoddam B seu Animalu.
(ubu subintelligitur rationale, si modo sciamus quid subicitelligendum sit) seu quoddamt
animal. Itaque A est B idem est quod concidere A et quoddam B. A esse
coincidens cuidam B. seu A= BY, nempe BY - quadam B. et AZ quoddam A
Hinc statim colligitur et quoddam A coiu coincidere
(17) Hinc coincidunt: ut A esse B, et quoddam  B essi _, ipsi A, seu BY = A 
(18) Hinc porre demonstratur Aesse K (continere) B, fcentinere relsnferre
(18) Coincidunt A et AA, et AAA, etc. ex natura hujus characteristica
seu Homo et Homro Homo, et Homo homo homo. itaque si quis dicatur esse
Homo animal, resolvendu Hominem fiet Homo pariter et animal, resolvendo
Hominem in animal rationale, pariter dicetur Animal rationale et Animal
id est animal rationale.
i
Propositio per se falsa est. siniu A coincidit ipsi nonA
adeoque et: non A) coincidi ips A
dictoriam propositionis.
coincidit cum 
19
 si Asit B, pro A poni potest B ubi tantum
Hice pc demsustratur Pro terino quacunque termino ut  litera
substitur  si A sit B et B sit C, A erit C. demonstratur
de coptinendot
ex natura coincidentiae, nam coincidentia substitui sibi possunt (nisi in propo-
sionibus  ex quas dicere possis formales, ubi hecia unum ex coincidentibus
ita  assumitur, ut ab aliis distinguatur, quae revera sunt reflexivae, et non tam de
re loquuntur, quam de nostro concipiendi modo, ubi utique discrimen est). Itaque
(20) Notandum enim est, quod in hoc calculo fuerat praemittendum; pro qualibet
litera poni posse indefinitam, non quidem quamlibet seu quae nondum est
pro quotlibet literis simul poni posse unam, ut YZ = X. sed nondum
usurpatam in hoc calculo Rationis, ne oriatur confusio
(21) Deinde pro  qu literas definitas a me significari 
prioribus Alphabeti literis, indefinitas posterioribus, nisi aliud significetur
(22) iq pro quotcunque definitis substitui posse unam definitam, cujus
valor  sunt illae pro quibuss substituta est
(23) pro qualibet
indefinitant. Ac er
et pro quotlibet definitis, et pro definitis et indefinitis, seu
24)  A esse (consinere B rufert (continet) A quoddam B esse _ (cmtinere) 
Nam A esse B, = BY = A (per 17) = AA
R4) Cuilibet termino  literae adjicit potest nova indesinita, ut,  pro A poni potest AY
nam A= A   et A est Y (seu pro A poni poest Y.  per 21) Erga A F AY
A posito A esse virum.
Notubite est posse etiam
dici  A=
Notabile est pro A=B
posse etiam dici A= AB
et ita non opus est assumtion
novae literae praesuppon
autem haec notatio quod
AA idem est quod A
oritur enim redundantia
quiHinc patet esiam ex
AB ∞ AC AB continet
A= ABD non licere infern
 C= BD patet enim
et in A = AB non posse.
strinque omitti A e si ob
AC = ABd inferris
paetugponemd
continem ctau
cebit esse
generale quoddam 1)
indefinibum
unc nilla
coincidentia
in intseruit
 seu definritio