pxOxqx-^^'XapxOxaqx

< Affirmer que, quel que soit a?, de px on déduit qx , signifie que la classe xapx est contenue daus la classe x a qx ». Si les propositions Px et qx ne contiennent d'autre lettre (jue a?, on peut supprimer l 'indices X au signe o , et écrire simplement px oqx\ cette proposition est cathégorique. Mais si les propositions px et qx contiennent encore des lettres u , v, ..., l^pxOxqx est une condition entre les letti^es w, v, ... et il n'est pas permis d'omettre le x au pied du signe o .