Imago Mundi - Propositions contraires.

Idées et Méthodes
Dictionnaire

Propositions contraires, propositions formées avec le même sujet et le même attribut, opposées en qualité, c.-à-d. l'une affirmative et l'autre négative, leur quantité étant la même. On les appelle proprement contraires lorsqu'elles sont toutes deux universelles (Tout nombre est exactement divisible; nul nombre n'est exactement divisible), et subcontraires lorsqu'elles sont particulières (Quelques nombres sont exactement divisibles, quelques nombres ne sont pas exactement divisibles). Les propositions contraires ne peuvent jamais être vraies ensemble, mais elles peuvent être fausses toutes deux; c'est ce qui a lieu dans l'exemple ci-dessus; les subcontraires peuvent être toutes deux vraies, mais ne peuvent être toutes deux fausses. (

Logique de Port-Royal , 2e partie, ch. IV). (B-E.).