XIX.*)
Defin. 1. Eadem sunt quorum unum polest substitui alten salva veritate. Si siiit A et i ? et A ingrediatur aliquam propositionem veram, et ibi in aliquo loco ipsius A pro ipso substituendo B fiat nova proposi- tio eaque itidem vera, idque semper succedat in quacunqüe tali proposi- tione, i4 et Ä dicuntur esse Eadem ; et contra si Eadem sint yl et jB, pro- cedet substitutio quam dixi. Eadem etiam vocantur eoincidentia ; ab- quando tarnen A quidem et A vocantur idem , A vero et B si sint eadem vocantur eoincidentia.
Defin 2. Di versa sunt quae sunt non eadem , seu in quibus sub- stitutio aliquando non succedit. Co roll. Unde etiam, quae non sunt di versa, sunt eadem.
Cbaract. 1. /lcx)Ä significat A eX, B esse eadem vel eoinci- dentia.
Charact. 2. A non cx) ^, vel B non oo ^4 significat A e, B esse diversa.
Defin. 3. Si plura simul sumta coincidant uni, plurium quodlibet dicitur inesse vel contineri in uno isto, ipsum autem Unum dicitur continens. Et contra, si quid insit alteri, erit inter plura simul eoin- cidentia illi alteri. Ut si ^4 et // simul sumta coincidant ipsi L^ A mK, ei B dicetur inexistens vel contentum ; at L dicetur continens. Fieri tarnen potest, ut continens et contentum coincidant, ut si sit yi et £ oo /.,
et coincidant i4 et 7., tunc enim B nihil aliud continebit quam A
significet A , significabit Nihil.
- ) UrfprfmgUd) )aHt Seibni^ al« Übcrf(i)rift gcft^rieben : Non inelegans specimen de-
monetrandi in abstractig. Bpäitx ))at er Me Überfdjrift tiurci)ftrid|en. — 3>n* 5)innufcript ift uon Öcibnij uüeber^olt überarbeitet rl)or^cn, tvoburt^ nid)t iveniöc ©teilen fc^tuer leftbor finb.
