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

70 MODUS EXAMINANDI CONSEQUENTIAS PER NUMEROS

Pie, V, 8, d, 18. Possumus simpliciter pro U. N. adhibere

U. N. Null. H est B. ergo yH inæqu. rB. P. N. Qu. A non est H. ergo H inæqu. A.

Sed ut in numeris rem exprimamus, consideremus non-Homo, significans quidvis præter hominem. Videtur autem ille esse terminus unitatis qui idem quod terminus Entis seu cujuslibet,

Non homo erit y —H

Omnis homo est non Lapis. id est : f =—7 æQUu. —_non. L 1" nonf r À y non-H non-y

<< Qu. À. est non H. Ergo >

Itaque f. dat terminum primd incompatibilem, qui est in homine ejusque contradictorium in lapide.

An sic commodè pro numeris : Omnem numerum negatum separabimus ab alio per signum non-, ut doctus non-prudens non-justus, et scribemus d non fÿ, et si sit solum imprudens injustus scribemus : 1 non fj. Si jam rursus negetur iste terminus doctus non-justus nonprudens, patet fieri : justum prudentem indoctum et scribemus pj non d. Quod etita non miscemus [numeros] <terminos > negatos affirmatis, et sciemus divisores omnes numeri de quo agitur esse negatos. Debent autem semper æquari negati negatis, affirmati affirmatis : in æquatione duo |

Pic, V, 8, e, Puiz., V, 8, e, 19-20 (4 p. in-folio). 19-20. April. 1679. NP 5.

Modus examinandi consequentias per Numeros.

19 recto. ULTÆ apud Logicos traduntur Regulæ consequentiarum, et quo facilius retinerentur excogitati sunt schematismi quidam quos vocant pontem Asinorum, et adhibita sunt vocabula memorialia. Sed hæc omnia in scholis tantm celebrata, negliguntur in vita communi; tum multas alias ob causas, tum verd inprimis, quid scholæ