Dictionnaire de Trévoux/6e édition, 1771/BOCARDO
(1, p. 936).
BOCARDO. Terme de Logique. C’est le cinquième mode d’argument de la troisième figure, dans lequel la première proposition est particulière & négative, la seconde est universelle & affirmative, & le moyen terme est sujet dans les deux premières propositions. Argument en Bocardo.
Quelque animal n’est pas homme,
Tout animal a un principe de sentiment,
Donc quelque chose qui a un principe de sentiment
n’est pas homme.