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

La bibliothèque libre.
Le texte de cette page a été corrigé et est conforme au fac-similé.
203
RATIONNELLE.

tour, réciproque de la première ; c’est-à-dire, en d’autres termes, que la réciproque de la réciproque d’une proposition est cette proposition elle-même.

22. On appelle converse d’une proposition une autre proposition dans laquelle l’attribut de la première est devenu sujet et son sujet attribut ; mais qui a en outre la quantité et la qualité requises pour être une conséquence nécessaire de cette première proposition.

23. La converse d’une proposition en est dite la converse simple, lorsqu’elle en est en même temps la réciproque ; c’est-à-dire, lorsqu’elle n’en diffère uniquement que par la transposition des termes ; dans le cas contraire, elle en est dite la converse par accident.

24. On peut, à ce sujet, se proposer la question suivante : une proposition étant donnée, découvrir si elle a quelques converses, et quelles elles peuvent être ? C’est l’art de résoudre cette question qui est appelé, en logique, conversation des propositions, dont il nous reste présentement à découvrir les règles.

25. Nous avons ici deux classes distinctes de propositions à comparer ; dans celles de la première, P est constamment sujet et G attribut ; nous continuerons à les représenter par les caractères, (A, N, a, n) : dans celles de la seconde, au contraire, G devient sujet et P attribut ; puis donc que les termes y sont renversés, il se présente naturellement de leur affecter les mêmes caractères renversés, c’est-à-dire, ().

26. Cela posé, en continuant de représenter constamment par (C) le cas où G contient P, et par () celui où, au contraire, c’est P qui contient G ; formons, pour les propositions (), un tableau semblable à celui que nous avons formé (15), pour les propositions (A, N, a, n), et plaçons ce second tableau en regard du premier, ainsi qu’il suit :