# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068652:0141
# Permalink to this reading: https://leibnizlegible.com/page/00068652:0141?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7C
# Folio 69r, page id 00068652:0141
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068652&page=141
# Source image: https://digitale-sammlungen.gwlb.de/content/00068652/jpgs/default/00000141.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 45 lines, status machine
# Lines: 45 recognised, mean confidence 0.97
# 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 a est b.
ropositio
item
item
Vera
subjectum a. praedicatum b. Terminus a vel B
:a est a vel de est de e
ac est a. vel def est de vel
dert estd, se
est a, posito b est ac.
vel b est a posito b esse def et a esse de
Schol. Nota: propositio, a est a continetur in propositione ac est a.
posito e c esse haberi pro non adjecto. ut in algebra cum litera
aliqua multiplicans significat unitatem.
Demonstratio:
b estra quiq b est ac et ac est a
Hypothesis est propositio pro arbitrio assumta, ut b est ac.
vel de est ac. quando scilicet  praefamiur, nos eam non
velle probare, sed tantum supponere, et quid ex ea posita
sequatur ostendere.
ita enim theoremata sunt conclusiones ex ista
hypothesi factae
Definitio est Hypothesis duple
propositio reciproca
ut 2 b est a si etiam a est b.
Definitio est hypothesis reciproca, in qua definitum est terminus
altoro simplicior, ut definitio est a est idem quod d∞.
vel ab est idem quo de est. iem quod ghl. quam dico esse
idem intelligo idem esse  reciproca seuunum posse substitui
in alterius locum. Nota pro voce est substitui potest vox
continet. it ac a est a. vel ac est a
ed modum Algebrae res rediret ad divisibilitatem; ut
b est a id est b est intoger, seu b est divisibilis per
a
a. seu b est a  ut si b sit 6 et a sit
10
nam ab ac est a. seu b est a. seu 3,2 est
seu numerus divisibilis per 3. Utc
narius
et charateristica Logica probe constituatur ita concipi
debet, ut ex calculo etiam ostendi possint conversiones
subsumtiones, colle conversionesque item modi et figurae
consequentiae quae nullis syllogi sinis aliisque logicis artibus
probari possunt, quas jungius notavit, ea referenda ad
crarectenisticam Gramenaticam