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

REGULÆ DE BONITATE CONSEQUENTIARUM 91

{ Corollar. 2. Hinc etiam statim sequitur particularem affirmativam posse converti simpliciter. quemadmodum de universali negativa diximus, cui opponitur. Nam utrobique conditiones subjectum à prædicato non distinguunt et sufficit numeros eorum diversæ notæ habere (in Univ. neg.) vel non habere (in partic. aff.) communem divisorem. }

CV) Si præmissa sit Universalis affirmativa, |debet locum non habere quod in prop. univ. negativa diximus reg. 3. (unde omnis univ. affirm. includit partic. affirmativam ©, quam negativæ opponi diximus) et præterea| requiritur ut numerus Subjecti quilibet dividi possit per numerum brædicati ejusdem notæ. Et contra : si hæc duo requisita in conclusionis terminis secundum præmissas rite assumtis eveniant, tunc ipsa universaliter affirmativè ex præmissis rectè deducetur. lraque exempli causa : in propositione, Omnis sapiens est pius, sit verbi gratia numerus sapientis + 20— 21. numerus pli + 10 — 3. et procedet universalis affirmativa < quia in ea duo numeri diversarum notarum nempe hi duo diversorum etiam terminorum (nam de illis qui sunt eorundem res semper patet per reg. 1.) + 20 et — 3. item + ro et — 21. non habent communem divisorem, alioqui > nec hi duo + 10 et — 3 << (secundum reg. 1) >, nec hi duo + 20 et— 3, nec hi duo — 21 et 10 < (alioqui per reg. 3 Jocum haberet univ. negativa) > communem divisorem habent. | at vero numerus subjecti + 20 dividi potest per numerum prædicati + 10 et numerus subjecti — 21 per numerum prædicati — 3. (quod proprium est illis terminis quorum unus de altero universaliter affirmari potest).

Coroll. 1. Hinc ex Univ. Affirm. sequitur Partic. Affirm. Omnis sapiens est pius. Ergo quidam sapiens est pius. quemadmodum patet ex dictis proximè sub signo ©.

Coroll. 2. Univ. Affirmativa potest converti particulariter. Omnis sapiens est pius. Ergo quidam pius est sapiens. Nam si omnis sapiens est pius. Ergo quidam sapiens est pius. per coroll. præcedens. Sed si quidam sapiens est pius. Ergo quidam pius est sapiens per reg. 4. coroll. 2.

Coroll 3. Propos. Univ. Affirmativa potest universaliter converti per contrapositionem, ut vocant. Omnis sapiens est pius. Ergo Nullus qui non est

© < (Quæ omnia Univ. Affirm. habet cum < qualibet > particulari affirmativa commune, sequitur illi proprium) >>

Paiz., V, 8,1, 28.

20 recto.