Quod si D et C idem sunt, habes medium probandi,
quod nullum a sit p : idque ex alio praeposito syllogis
mo.
Prior seu praepositus syllogismus, seu prosyllogis-
mus, hic sit:
nullum C est
p**;
sed D idem est cum Cj
ergo,
nullum D est
p.
Posterior ac principalis syllogismus:
nullum D est
p,-
sed omne
a
est D;
ergo,
nullum
a
est
p.
Atque haec est prior ratio universalis negativaemedii
inveniendi.
Iam de posteriori. Si A et F idem sunt, habes denuo
medium universalis negativae. Potes enim sic argumen
tari:
omne
p
est A;
sed nullum
a
est F vel
A, quae idem iam sunt;
ergo,
nullum a est
p.
Quod si C et E idem sunt, tenes medium probandi,
quod a non sit p. Potes enim sic ratiocinari:
nullum E vel C,
quae iam idem sunt,
est
p;
sed omne E est a;
ergo,
aliquod
a
non est
p.
Quod si E et A idem sunt, conversus syllogismus
erit. Poterit enim sic dici:
omne
p
est A vel E,
quae idem iam sunt;
et omne A vel E
' quae idem sunt,
est a;
ergo,
omne
p
est a.
Converte: ergo,
aliquod a est
p.
* corr. ex:
B **
corr. ex:
B ***
corr. ex: B(3
65