Page:Annales de mathématiques pures et appliquées, 1816-1817, Tome 7.djvu/224

218

DIALECTIQUE

cette majeure devra être A, a, $^{\displaystyle A}$ ou $^{\displaystyle a}$. On aura donc, pour la conclusion a, les systèmes de prémisses

AA, Aa, A$^{\displaystyle a}$, A$^{\displaystyle A}$, $^{\displaystyle A}$$^{\displaystyle A}$, a$^{\displaystyle A}$, $^{\displaystyle a}$$^{\displaystyle A}$.

4.^o Enfin, en disposant ainsi les combinaisons qui répondent à n

${\begin{array}{rrrr}HX,&XI,&IH,&{\text{Ɔ}}H,\\HI,&X{\text{Ɔ}},&IX,&{\text{Ɔ}}X,\\HC,&&I{\text{Ɔ}},&{\text{Ɔ}}I,\\H{\text{Ɔ}},&&&{\text{Ɔ}}{\text{Ɔ}}.\\\end{array}}$

on voit, 1.^o que, les termes de la majeure étant dans le cas H, ceux de la Mineure ne pourront être que dans quelqu’un des cas X, I, C, $^{\displaystyle a}$, c’est-à-dire que cette mineure devra être A ; a, $^{\displaystyle A}$ ou $^{\displaystyle a}$ ; 2.^o que, les termes de la majeure étant dans le cas X, ceux de la mineure ne pourront être que dans quelqu’un des cas I, $^{\displaystyle C}$, en sorte que cette mineure sera nécessairement $^{\displaystyle A}$ ; 3.^o que, les termes de la majeure étant dans le cas I, ceux de la mineure ne pourront être que dans quelqu’un des cas H, X, $^{\displaystyle C}$, c’est-à-dire que cette mineure devra être N, n ou $^{\displaystyle N}$, 4.^o qu’enfin les termes de la majeure étant dans le cas $^{\displaystyle C}$, ceux de la mineure ne pourront être que dans quelqu’un des cas H, X, I, $^{\displaystyle C}$ de manière que cette mineure devra être N, n, $^{\displaystyle A}$, $^{\displaystyle N}$. On voit donc, 1.^o que, la mineure étant A, a ou $^{\displaystyle a}$, la majeure devra se trouver dans le cas H, et sera conséquemment $^{\displaystyle N}$ ou N ; 2.^o que la mineure étant N, n ou $^{\displaystyle N}$, la majeure devra être dans l’un des cas I, $^{\displaystyle C}$, et devra conséquemment être $^{\displaystyle A}$ ; 3.^o qu’enfin la mineure étant $^{\displaystyle A}$, la majeure devra être dans quelqu’un des cas H, X, $^{\displaystyle C}$ de sorte que cette majeure sera N, n ou $^{\displaystyle N}$. On aura donc ainsi, pour cette dernière sorte de conclusion, les systèmes de prémisses