Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre, page 96

Puiz., V, 8, c, 16.

PAL. VE IS, d|

17-10.

17 recto.

66 CALCULI UNIVERSALIS INVESTIGATIONES

est animal. Ergo Quicquid est non animal est non homo. Sed hoc nobis exhibet tantum negativam inter genus et speciem, sed nondum inter

disparata. — est non s. Id est si in termino fracto omisso numeratore fiat

terminus integer propositionis qui sit nominator, is terminus erit negativus . : . ble :

nominatoris. Imd sic : ac æqu. L. Ergo c æqu. = [id est quoddam ratio-

nale est non animal, seu quoddam non animal est rationale. < Item sic : Omnis homo est rationalis, quoddam non animal est homo, Erso quoddam non animal est rationale >. Omnis homo est rationalis, Ergo quidam homo est non animal. Quæ conclusio bona est, sed hæc : quoddam rationale est non animal,non sequitur ex hac : animal rationale et homo æquivalent, nisi supponatur animal et rationale esse disparata. Et hoc in meis calculis generatim notandum, posse ex is quasdam propositiones demonstrari, quæ non valent nisi tunc ubi superflua vitantur, seu cavetur ne multiplicentur aliquæ literæ in se invicem.|

Priz., V, 8, d, 17-18 (4 p. in-folio). April. 1679. N°4

Calculi universalis investigationes.

D calculum universalem constituendum inveniendi sunt characteres À pro terminis quibuscunque, ex quibus postea inter se junctis statim cognosci queat propositionum ex terminis conflatarum veritas.

Commodissimos characterum hactenus invenio esse Numeros. Sunt enim facile tractabiles omnibusque rebus accommodari possunt, et certitudinem habent.

Numeri characteristici cujusque dati Termini: ita fient, si numeri characteristici terminorum ex quibus dati termini notio constituitur inter se multiplicentur, productumque sit numerus characteristicus termini dati.

Itaque in omni propositione universali affirmativa vera necesse est Numerum characteristicum subjecti dividi posse exactè per numerum characteristicum prædicati. Ita omne aurum est metallum. Item omne

1. Ce motest répété par erreur dans le ms.