PRIMARIA CALCULI LOGICI FUNDAMENTA 23 ; nam si foret Ax A non B, foret AB 00 AB non B, adeoque AB foret Phil.,vii, b,h,3. non Ens contra Hyp. Et pari jure B non 00 B non A. Cum dicitur AB est Ens vel non Ens, subintelligitur scii. A et B suppositis Entibus. Videamus an vicissim ostendi posset A non co A non B, Ergo AB est Ens, positis scilicet A et B Entibus. Nempe si positis A et B Entibus, foret AB non ens, ergo oportet unum ex ipsis A vel B involvere contra¬ dictorium ejus quod involvit alterum, ponamus Ergo A involvere C, et B involvere non C. (unde vicissim sequitur B involvere D et A non D, posito D 00 non C). Sit ergo A 00 EC, et B 00 F non C. Jam EC 00 EC non F non C seu EC continet non F non C (seu quicquid involvit C, id involvit negationem ejus quod negat C). Id est A 00 A non B contra Hyp. Ergo Aequivalent seu ex se mutuo sequuntur AB est Ens et A non 00 A non B, et B non 00 B non À. Similiter æquivalent AB est non Ens, A 00 A non B, B 00 B non A. Atque ita elavem repetimus ut liceat uti reductione complexorum ad incomplexos Rem melius ergo ordinavimus scheda sequente 2 Aug. 1690 2- [In omni termino inest A vel non A. < Si non inest A, inerit non A, et contra, adeoque æquivalent non inesse A, et inesse non A. > Seu æquivalent A 00 Y non B, et A non 00 ZB, vel æquivalent A 00 A non B et A non 00 AB. Ergo male] Non "AB inest in non B seu Non B 00 non B non AB. Si A 00 BC, an A : C 00 B, ut intelligatur C removendum ex A ? Reductio ad primitiva, sit B 00 CE, fit A 00 CEC, seu A 00 CE, ergo A : C non est semper 00 B. Itaque hoc tantum procedit in primitivis. Ubicunque est generalis EB, ut E intelligatur quæcunque, potest subs¬ titui B, nam sumendo E pro B, fiet EB 00 BB, 00 B. Si Non AB non 00 A non B, erit Non AB 00 B non A. Et contra, seu æquivalent Non AB non 00 A non B et Non AB 00 B non A. 1. Cf. Generales Inquisitiones (1686), §8 108, tog et 1Î8 (Phil., VII, C, 27, ag) ; Phil., VII, B, n, 6a, $ 13. a. V. Phil., VII, C, 97 : Fundamenta Calculi logici.
