장음표시 사용
241쪽
De tartificis Syllog mi cathegorici. 18s
Secunda figura est, in qua medium bis pr*dicatur. v. g. Nullum A est B, Gmne C est B,igitur nullum C,in A. Tertia figura est in qua medium bis subiicitur.v.g. Omne B,est C,ergo
Dictum de omni, est Th. o.LI. Dictum de nullo, est Th. I. l. I.
Quidquid negatur de inseriore particulari, desuperiore particulari negari debet, est Th. 47. l. I.
Ex vero non potest sequi salsum , est Th. 33.l. r. VI. Ex uniuersali affirmativa sequitur uniauersalis conuerse,non particularis ex assirmativa particulari, particularis ex uniuersali negatiua,negatiua uniuersalis vel particularis, hi Th.69. O.1 I. 13.1 . l. I. v II. Sunt tantum tres termini, per Def. I. v III. Medium debet saltem semel distribui, alioquin primo aequipolleret duobus terminis,quia aequipolleret duobus fgnificatis , termitius enim ponitur pro re quam significat, significatio verb,dennitur a subiecto, v.g. in hac propositione, δε-δ ain mal,signincatio animalu restringitur,ita ut significet tantum animal rationale, alioquin estet falsa proposito. Clim enim praedicatum propositionis uniuersalis affirmativae non distribuatur per Th. i 2.l. i.certe debet eius significatio ab aliquo definiri, quod tantum a subiecto fieri potest :igitur in hac propositione homo es animes, animal sumitur pro animali rati nati,Iii hac vero Equus est animal, mitur pro tauro , sed brutum de animal rationale sit ni duo termini,sunt enim fgnificata diuersa. Secundo ex vero sequeretur salsum,v. g. Omm honis essibyamia,Omnii I pii est si alitia,ινεο aliquis homo est lapis.Contra Ax. 1.i X. Extremum Quod non est distributum in praemissiis, non debet distribui incolaclusione, quod probatur eodem modo. Quia si distribuatur in concluso -nc addit nouum significatum , ergo sunt quatuor termini. Contra Ax. 7. Secundo quia ex vero sequeretur Mim,v. g. Omnis homo ess anti nul lapis es homo , ergo nullus lapu UIubstantia, quod totum certissimum est. Vide
Th. .l. 2. lites ad Controuersias remittimus.
Praedicatum propositionis uniuei salis 2 firmativae non distribuitur . sed subiecturi particularis,neutrum uniuersalis negatiuae, utrumque particularis negatiuae,praedicatum non subiectum,sunt Th. I a. I4.1 .l7. l. I.
242쪽
. . . . Postulata. I. Sint quatuor litterae cabalisticae A,E,I,O, visuria Post. . l. x. II. Liceat quemlibet terminum appellatum usurpare, quamlibet Proposirionem,figuram quamlibet,quemuis modum supponere. II I. Liceat enumerare connexiones finitas possibiles quatuor litterarum A, E, I, O ; Ita ut quaelibet connexio ternas habeat. Theorema I. Ex duabus negatiuis nihil sequitur. Demonstratur,quia ex vero sequeretvi falsum,contra Ax. 3. Sint enim duae negatiuae verae. Nullus homo est lapis, -- tum marmor es homo.Igitur nullum remmor es lapis, quod falsum est, idem ac-- cidit in aliis figuris.
, Obseruabis inductionem persectam luc fieri posse, primo sint in prima f.
gura duae negatiuae uniuersales Ee conclusio negatiua uniuersialis , Ex vero sciquitur falsum,ut patet in exemplo proposito , quia potest medium Elle terminus repugnans duobus extremis, quae tamen non sint sibi inuicem terminrepugnantes. Sit enim v g. medium honta,extrema lapis, marmor. Seeundo si concluso sit negativa particularis erit etiam falsa , quia Extre- lma possunt esse termini conuertibiles ut, homo,rsibilis, de medium repugnans i
Tertio si conclusio sit uniuersalis assirmativa erit etiam talia , quia pote- lrunt elle treS termini repugnantes, bomo,equus, Iapit. Idem dico de particulari affirmativa. 1Quarib si utraque praemiisa sit negatiua,partieularis vera, si concluso sit
uniuersalis affirmativa poterit esse falsi, quia omnes termini pollunt elle re-- Pugantes, idem dico de particulari assirmat tua. Quintd si conclusio sit negatiua uniuersalis distribuetur utrumque Qxtremum,sed alterum tanthm distributum est in praemissis, contra Ax. 9. Si verosit negativa particularis, erit etiam falsa; quia extrema possint esse termini conuertibiles & medium repugnans,ut lapis,homo, risibilis. . Sexto si maior sit uniuersalis negatiua , de minor particularis concluso potest esse falsa si iit uniuersalis assirmativa,quia extrema possitnt elle termini repugnantes homo, lapis. Idem dico de particulari assirmatitia. Septimo li conclusio est uniuerialis negatiua , distribuetur alterum Extremum in conclusione,quod non est distributum in praemissis. Contra Ax s. si γ vero sit particularis, crit etiam falsa, quia extrema elle possunt termini conuertibiles.
Octaud si minor sit uniuersalis,& maior particularis, si conclusio sit amrmativa,etit etiam falsa,si extrema sint termini repugnantes, & si sit negati uaerit etiam falsia si sint conuertibiles. Nono in sccunda figura eadem inductio fieri potest: si enim conclusio sit affirmativa, potest elle falsa ex duabus negativis veris,si extrema sint termini
iantes; si vero sit negativa, potest etiam esse salsa, si sint termini con-
243쪽
de Artificis Syllogiseni cathegorici. ISI
Decimo in tertia figura eadem prorsus ratio valet ut considerami patebit. Unde vides clarissime ex puris negatiuis nihil omnino sequi. Ratio 1 priori est,quia quidquid sequitur ex alio,vel sequitur ratione subjecti vel praedicati,vel conii eritonis. Sed ex puris negati uis nihil prorsus sequitur. Prim5 ratione subiecti, quia si ratione subiecti sequitur iregativum ex negativo,vel per dictum do nullo, ut Nullum animal est lapis, uitur millis hamo olvv. Igitare animal debet esse seperius,&itam in serius, igitur illa propolitio in qua animal praedicabitur dehdimine debet elle affirmativa.Vel seqtit cur per Ax. 3 .De quocumq; negatur superius,negari debet iserius .v.g.Aliquamstantia non est homo,& silc debet semper praedicari superius de inferiore in Assirmativa vera. Vel per η. Ax. Quidquid negatur de inferiore particulari, negari debet de superiore particulari, v. g. Ali is homo non est albus, igitur liquod animal non est album. Et sic debet semper superius praedicari de inferio-1e, igitur in praemi ita affirmativa. Secundo, si sequitur ratione praedicati, debet esse aliqva a firmativa si praedicatinia cosequentis sit repugnans,per Th. r. l. . Vt autem ex negativa se. quatur negativa, debet praedicatum antecedentis esse superius piaedicato con sc quemis v. g. illus lapo est animat,igitur nullus lapis est homo, per Th. 7. r. atque ita semper eli superius de in serius , igitur altera piaeniissa affimativa. Tertio ratione conuersionis, nihil sequitur nisi ratione conclusonis conuersae quae semper retinet eosdem terminos, & sic antequam conuertatur debet semper sequi in syllogismo ratione praedicati vel subiecti.
Obseruabis praeterea,alteram praemillam syllogismi esse antecedens enthirilematis .g. sit Syllogi sinus, Omne animal est eorpus , omnis homo es animal, igitur omnis homo es corpiti, si ponatur conclusio cum maiore est A A , quartaengurae Enthym. Si ponatur cum minore est AA , tertiae figurae. Hinc vides utramque praemissam seorsum esse vel antecedens enthymematis, vel antece dentis expositionem, de quo insta. igitur ex vitaque debet sequi consequens, alioquin esset frustra. Exemplum accipe in negati uis, Nullum animal es lapis, omnis homo est animal, igitur nullus homo es lapis. Si maiorem accipias cum conclusione habes E, E, qti artae figurae: si minorem ,habes A, E, tertiae figurae : Sic enim una praemilla explicat aliam , quod maximo obseruandum est, v. g. in eodem exemplo quando dico ovinis homo est animal, igitur nullus homo es lapis, sequitur consequens, per Th. 9. l. i. quia ex a firmativa termini repugnantis bequitur negatio alterius repugnantis; igitur ne ostendatur quod
animal & lapis sunt termini repugnantes , debet unus negari uniuersalitorde alio. Si lapis est Celarem vel E,A, E,primae figurae. Si animal ,est Coare,vel E, A, E, secundae. figurae. Haec paulo susius explicanda esse existimavi, ut clarius inde tota vis stylogistica innotescat.
Ex puris particularibus nihil sequitur.Demonstratur facta inductione. Pri-mb utraque negativa esse non potest,per Th. I . nec a . utraq; affrmativa, qui mediu non distribueretur,contra Ax. 8.Tertio altera negativa esse non potestin 3.figura,quia etiam medium non distribueretur,per Ax. 1 o.Nec η. ἰn prima figuramon maior,quia medium non distribueretur,non minor,quia si conci Messet negatiua,praedicatum eius distribueretur, contra Ax. s. Si vero affra A a maliua
244쪽
nia tua polset esse salsa,contra Aliquod album es equαs,aliqvu Asmo non albus, ergo aliquis homo non seqtitis. Extrema sint termini repugnaritCf. Nec s. m 2 figura. Vel enim conclusiit, cisci in gatiua,vel assirmat Iua; in v I in ;cia ita ex vero sequeretur falliam. Sit exempli m primae , Aliquod ammae non es εο-,aliquo consitiuum non est homo , tuo aliquia sensititium non es animia,C1 trema sunt termini conuertibiles. Adde quo a dii tribuitur alterum extremum in conclusione,conrra Ax. i. Sit exciri plum V. Aliquis homo es animai, ad vis Angelus non es animia ; ergo aliqAis Angelus es homo.
Si aliqua praemissarum sit particularis , conclusio debet esse particularis.
Demonst. i Aia 3. figura,in qua ex duplici affiri titia , non potest Ic qiii uniuerialis nec affirmativa nec negat tua , quia distribuereur extremum in conclusione, contra Ax. i. Nec ex altera negativa sequi potest uniuersalis negativa, propter eandem rationem , nec affirmat tua , quia ex vero sequeretur saltum, contra A X. 1.v. g. Omnis homo es animal, aliquis homo non es Ivis,erga ιmnis lapis est animal. Vel Aliquis homo est animis,nulliu homo es lapis,ergo ἀ- quis lapis es an mal. Sccundo in a. figura in qua utraque praemilla affirmativa esse non potest, quia medium nori distribueretur,per Ax. Io. Contra A X. 9. Igitur altera delatello negat iu: . igitur ex vero i queretur falsum, v .g.Omnis homo es an missi quis lapis non est animal, ergo omnis homo est lapis. Vel Aliquod animal est fomo, nullas lapis est homo ergo omnis lapis est animae. Vniuersalis negatio a esse no rotest, quia utrunaq; extremum disti ibueretur contra Ax. 9. 3. in prima mali l cli particularis negatiua,medium non distribuetur,contra Ax. 8.SI affirmativa particularis & minor negatiua uniuersilis, conclusio non potest esse uniuersalis negatiua,quia virum qiic cxtrenuim distribueretur, contra Ax.9. Non uniuersalis affirmativa,quia ex vero sequeretur falsum,contra A X. F. v g. Aliquod an mal est homo,nullus lapis est πιυ ι, gitur omnis lapis es homo. Si vero minor sit particularis,vel est assirmativa cum maiore assirmativa, siccoci 1io non potest osse uniuersalis, per Ax. 9. Vel cum maiore negativa,& sic non ps test conclusio esse uniuersalis negativa, per Ax. 9. Vel uniuersalis assit tilia , quia ex vero sequeretur falsum . g. Nullum animales lapis, aliquis brmo est .urimal, ergo omnis homo est lapis. Si vere, minor sit O ,maior crit R. Igitur conclusio non potest ei IeE , neque A, yzr Axiu
Si aliqua praemissariana si nesativa, conclusio erit negativa. Demonstraris Disci inductione , per Ax. s. sed breuius , quia cum ex alterutra praemisia concluso tequat a , pcr Scholium Theorematis primi, certc ex DCgati non seqtii tui a Trinatiua , per Ili. io. libri primi.
Obseruabis quod iam supra indicauimus, scilicet ex negatione unius .praedicati contradictorii, sequi aisertionem alterius. v. g. Nullus homo est accidens. ergo omno homo es substantia. N.um haec duo praedicata accidenso Abu nata, . Di iligod by Corale
245쪽
De Artificio S Logi mi cathegorici. 187
ssint contradictoria secundo modo. Uide Coluroueisiam s. l. I. Quippe umim dicit negatione alterius;vnde sic possit formari syllogismiis,Nullum accidensessubstantia,nulliu homo es accidens, ergo omnis homo e absumia, quod certe argumentum non valet ratione formae,quia in eadem forma immo scruatis iisdem praedicatis,falsum sequi potest ex veris praemissis,u.g mllum accidenses substantia , sed nulla cli mera es accidens, ergo omnis Aymera es substantia, quod falsum est :s tamen assumantur haec praedicata em& non ent,non sequetur falsum,v.g. Nullum ens est non ens ed nulla ch mera HE ens,ergo omis ch'mera est non res. Sed hoc argumenti genus proprie disiunctivum e v. g. Ch mera est ens diei non ens, sed non est ens,igitur non eas ,de quo infra. .
Illa praemissa in prima figura non debet esse particularis, in qua medium subiicitur , si praedicetur in conclusione illud extremum quod de inedio prc- dicatur. Demonstratur , quia minor debet esse negatiua , alioquin medium non distribueretur,contra Axioma 8. Sed si minor sit negativa, vel illa praemissa in qua medium praedicatur, concluso erit negativa, per Th. 4. igitur eius praedicatum distribuetur per Ax. io. igitur aliquis terminus 3 c Contra Ax. 9. Si maior autem negativa esset, minor esset assirmativa,& sic nondutribueretur medium, contra AX.8. Theorema c. εIn prima figura illa propositio non potest esse negatiua , in qua medium praedicatur, si praedicetur in conclusione illud extremum quod praedicatur de medio. Si enim esset negatiua,ergo alia esset affirmativa,per Tn. I. Igitur eius praedicatum non distribueretur, per Ax. io. quod tamen distribueretur in conclusone, contra A X.9.
obserua his duobus ultimis Th.contineri duas regulas primae figurae qsae tamen non valent clim praedicatum conclusionis extremum illud est, de quo 'medium praedicatur, vulgo minus extremum vocant, & modum illum indirectum. Sed abstineo ab illis vocibus, ne forte aliquis mihi litem intendat , ut vel inde sit purior huius artificii demonstratio. γTheorema T. Ex duabus praemissi assirmativis in secunda figura, nihil sequitur. Quia
cum in hac figura medium bis praedicetur; per Dcf. 7. & cum praedicatum Dropositionis assirmativae non distribuatur, per Ax. io. medium non distu-
Illa praemissa in secitnda figura, in qua subiicitur praedicatum conclusonis , debet elle uniuersalis , quia chim utraque praemisia non possit esse assinnati ita per Th. 7. altera est negatiua: igitur concluso est negativa per Th. q. Igitur praedicatum conclusionis distribuitur,per Ax. io. Igitur di stribui debet in illa praemissa , per Ax '.' Igitur dcbet esse uniuersalis Per
246쪽
Ol,sema his duobus Theorematis contineri regulas secundae figurae , quaeerte nullam exceptionem patitariir.Hinc facile colliges I. in a. figura, alteram praemissam esse affirmativam, alteram negativam , cum ne utraquc amrma. tiua, per Th. 7. nec utraq te negat tua , per Th. I. esse possit. Igitur altera as- firmativa,altera negativa esse deber. Secundo in secunda figura conclusione na emper esse negativam , clim enim altera praemi Iast negativa, per Th. 7.conclusio est Degativa per Th. 4. Tertio , nullam quaestionem astarinatiuam Pr bari in a. figura. Quarto , alteram saltem praenia illatum vel utramque elli
uniuersalem in prima & secunda figura. Theorema 9. Illa praemissa in tertia figura non debet esse negat tua , in qua subieetiarn
conclusionis praedicatur. Quia si est negativa, alia est a stirmativa per Th. I. Igitur praedicatum affirmativae non distribuitur, per Ax. I C. Sed conclusio est negativa per Th. 4. Igitur eius pr aedicatum diltribuitur, per Ax. io. Quod samen non eth distributum in praemilia astirmativa,contra A X. 9.
Theorema IO. Concluso in tertia figura semper esset debet particularis. Sit erit m s ει
potest uniuersalis assirmativa, igitur utraque prae nrissa est affirmativa. Sic lla altera esset negativa, conclusio ellet negativa per Th. 4. igitur nullum extremum distribili tur in pr. aemissis, per Ax. io . cum tranen alterum distimueretur in conclusione per Ax. io. Sed hoc fieri non potcst per Ax. 9. Sit porro uniuersalis negat tua , si fieri potest; Igitur utrumque dii tribuitur pet Ax. io. Sed alterum tantum in praemissis distributum est, quia utraque non est negativa per Th. I.
Theorematis istis regulas tertiae figurae complexi sumus Porro nos diximus minorem in tertia figura esse non poste negativam , quia reuera negativa esse potest ; sed tantum illam cuius praedicatum est subiectiim conclusionis. Hinc etiam collige primo proprium hunc else caracterem tertiae figuret,ut eius conclusio sit tantum particularis,etsi qliando uniuersalis esse polle videatur, illud ipsium materiar non sormae tribuenda est, te quo in Controue=sis. Secundo collige quamam sit facultas cuiustibet figurae; nam in prima omnis proposit ossa quaestio probari potest scilicet A,E, I, O , in secunda tantum Eo :iti tet-tia denique I O. Hinc vides A , in prima figura tantum probari posse , E in ptima & secunda. I in prima & tertia. O in prima, secunda, tertia: A li1 vita tantum. E & I in duabus. O in tribus.. Theorema II. In prima figura secundum Aristotele, id est cuius prima praemissa habet medium pro subiecto,& secunda pro praedicato,seruata eadem coclusione cuius scilicet praedicatu est illud extremit quod praedicatur de medio, sunt sexaninta quatuor modi seu connexiones diuersae trium propositionum, siue leuit: me, siue non legitimae. Demonstratus: Sint enim qu litterae A, E ,I O,
247쪽
De Artificio syllogisimi cathegorici. 189
coniugandae iis omnibus modis,quibus coniugari possuntdc conuerti per Postulatum 3 .Si accipiamur singulares litterae in quolibet Modo sunt tantum modi,scilicetA,El,o,ut costat,nec enim plures enumerari possunt.Si veris accipiantur binae,sunt i 6 per Th.7.l. 2. Si demum sint ternae cum singulis binis ex illis i6.praemitti possit A, erunt is quae incipient ab A,sed singulis etiam binis possitiat praemitti E,I,Ο. Igitur tot sunt quae incipient ab E, quot sunt quae incipiunt ab A.Tot sunt etiam quae incipiunt ab I,& ab O, igitur enumeratae sunt connexiones diuersae quater I 6. Igitur sunt 6 . quod probatur per regulam multiplicationis.Si enim ducas 4.in Α.habebis I 6.& as .in ha-hebis 6 ., Theorema u. Sunt etiam 6 .modi diuersi,si conuertatur conclusio,eiusque. praedicatumst illud extremum , de quo medium praedicatur in praemissis.Quia conuerso conclusionis est alterum caput eorum ex 'quibus mutari potest modus , per Def. s. Igitur in prima figura secundum Aristotelem, sunt Ia8. modi seu leagitimi seu spurij. neorema I3.
In prima figura secundum Galenum, id est quando prima praemissa habet medium pro praedicato, & χ pro subiecto, & huius secundae praedicatum est
etiam praedicatum conclusionis , sunt quoque o . modi diuersi. Quia traiic. postio praemissarum est alterum caput ex quo modus mutari potest, per Def. e. Probatur autem es le 6 . facta enumeretione ut ira Th. II. quam non re-Fςῖ. per regulam multiplicationis.
In eadem figura secundum Galenum,sunt quoque s . modi diuers,si conuertatur conclusio. Quod eodem modo probatur 'uo lam probatum est Th. - ra. Igitur di prima figura secundum Galenum , sunt i 28. modi; Igitur in prima figura utioque modo sumpta sunt 236. modi diuersi,' et legitimi, vel
In secunda figura in qua extrema primae praemissae est praedicatum inclusonis,sunt etiam 5 . modi diuersi. Quia diuersa figura est alterum caput ex quo modus mutari potest per Des.1. Quod autem sint 6 enumerentur, per Post. 3. ut iam factum est in Th. II.
Theorema I 6. In secunda figura in qua extremum secundae praemissae est praedicatum
concla. sionis,sunt etiam 6 . modi diuers.Quia conuerso mutationem facit, eodem modo probatur.
In secunda figura si transponamur praemisia , sique praedicatum conclusionis extremum priniς praemallae, sunt is .modi diuers. Quia scilicet, si trans. ponantur praemili, diueita,v.g. AE, EO. Iam sunt enumeratae in Th. I3.Si 'Vς o accipiantur illi modi ex quibus praemissae sunt similes, cum sint tantam δει I6.stili .
248쪽
i s. scilicet .quae incipiunt ab A A, ab E E, . ab Is, .ab oo, certe sunt i c. modi diuersi non enumerasti. Theorema 18. In hac figura si transponantur praemisse , Ac praeditatum conclusionis sit extremum iecundae praemissae,sunt etiam I 6.modi diuersi:igitur in tota seeun da figura omni modo codsiderata sunt 16o .modi legitimi,vel sputii: Igitur in prima fimul & secunda I6. Teorema I9. Iis tertia figura omni modo considerata,tot sunt modi quot sunt in see . da. itur Iso. Igitur in omnibus figuris sunt 376. modi , ita ut plures elle non possint. Sed iam legitimos a sputijs, Demon strationis opera discer
Modi primae figurae secundum Aristotelem.
Neorema 2 AAA .est modus legitimus, si praedicatum primae praemissae sit praedicatam conclusionis. Sit enim Oxvire intinnil est corpus,omnis homo est animal,ον om. homo es corpus f. Quidquid dicitur de omni animali dici debet de omni sub eo contentis per Ax. i. sed dicitur de omni animali quod sit OG ipus, & de omni homine quod sit animal; Igitur de omni homine dici de- bet Fbd sit corpus. l
Non valet s conclusio conuertatur: Omne eorpus est homo, quia corpus distribueretur in conclusione, contra AX. 9.. . Scholium.
Obserua ne toties cadem repetamus, sub hoc titulo tantdm illos modos suis caracteribus notari , in quibus idem est praedicatum primae Pramilis,&conclusionis, & cuilibet signato modo vel instructo suis caracteribus sebesse alium non signatum , cuius conclusio est conuersa prioris. Obserua praeterea deinceps a nobis certam materiam in modis Iegitimissore adhibendam , in Tyronum gratiam : In spuriis vero calculos A, B, C. Ita ut B sit semper medij loco, & A illius extremi, quod de medio praedica
, Theorema 22. A, A,E non valet. Sit enim omne B A, omne C B, ergo nullum C Α , distribuitur A, contra AX. 9.
Non valet etiam , si conclusio conuertatur, quia semper A distribuetur, contra Ax. 9.. . Theorema 1 . A AI valet. Sit enim Omne animiacorpus, omnis homo mimia ,s turiam .es corpus, per Ax. 1. I . Diqitiam by fle
249쪽
Theorema 23. Valet etiam si conuertatur conclusio. Aliquod corpus es homo, per Ax. 6. Neorema v6.
A A O non valet, ut omne B A, omne C B , igitur aliquod si non est A. Quia distribuitur A in conclusione, contra AX. 9. Theorema 27. Non valet si conuertatur conclusio. Aliquod A non est C,quia o eo e se, non sequitur nec ex A nec ex O, per Αx. 6. Adde quod ex vero sequer tur falsum, contra Ax. s. scilicet in terminis conuertibilibus. Theorema 28. AEA non valet, ut omne B Α, nullum C B, ergo omne C Α, quia eo clusio est affirmati ua, contra Th. q. . Theorema 29. Non valet conclusione conuersa,quae semper est affirmatiua,contra Th. i. . . Theorema 3o. A E E non valet, ut omne B Α, nullum C B, ergo nullum E A. Quia Αdistribuitur in conclusione, contra Ax. s. est etiam contra Th. 6.
Non alet conclusione conuersa , quia semper A distribueretur in illa,
A E I non valet. Vt omne B A, omne C B, ergo aliquod C A. Quia conclusici est affirmativa, contra Th. 4. Theorema 33.
Non valet conclusione conuersa, quia conclusio semper esset assirmativa, contra Th.A.
A E O , non valet. Vt omne B A, nullum C B, ergo aliquod C non A. Quia Adistribuitur in conclusione , contra. AX .9.
Valet conclusione conuersa, v.g. Omne animal est corpus, nullis lapis est ani- macergo aliquod corpurnones lapis. Demonstratur:quia fi nullus lapis est animal, certe nullum animal est lapis, & si omne animal est corpus, certe aliquod corpus est animal, per Ax. 6. Igitur per Ax. a. aliquod corpus non estnpis.
A IA,non valet. Vt omne B A,aliquod CB,omne CA, quia C distribuitur , contra Ax.'. Est etiam contra G. . neorema
250쪽
Is L . Liber Tertius , Theorema 7-
Non valet conclusione conuersa, propter easdem rationes.
Non valet conclusione conuersa , per Ax. 9. Theorema ΑΟ.AI Ι,valet .g. Omne ammu est corpus,aliquasbst tia est Mimae , erga a. quasi sinim es corpin, per Ax. I. Adde Th. 39.l. I. Theorema ΑΙ. Valet conclusione conuersa: oorpus e ub otia, per Ax. c. Theorema 42. A Io, non valet, ut omne B,est A. aliquod C B , ergo aliquod C , ta: est A,A distribuitur, contra A X. 9. Theorema 43. Non valet conclusione conuersa. Aliquod Α non est C,quia C distinae.
ΑΟ Α, non valet.Vt omne BA, aliquod C,non B, omne C A , petTh.
Non valet conclusione conuersa,omne A est C, per Th. in Ax.9.
Theorema 46. - AOE, non valet, ut omne B A,aliquod C,non B,nullum C A , pet M
Non valet conclusione conuersa, nullum A C, per Ax. y. & Th. 3.
ΑΟΙ, non valet, ut omne B A, aliquod C non igitur aliquod CATh. q.
Non valet conuersa, aliquod A C , per Th.A. Theorema JO.AΟΟ, non valet,v.g. omne B A, aliquod C non B ergo aliquod C, ω: