aob .boc .0 .aoc

Syllogisme. « Si de la proposition a on déduit la &, et de la b on déduit la c , alors de la a on déduit la c. » Si a , & , c sont des classes, cette proposition signifie « Si tout a est & , et tout & est c , alors tout a est c. » [Si a , 6 , c sont des N, elle signifie « Si a est un diviseur de &, et & un diviseur de c, a sera un diviseur de c. »].