Mot : propositions sous-alternes
Catégorie : LocN
Définition : Logique Propositions qui ne diffèrent que dans la quantité, comme : « Tout cercle est rond, quelque cercle est rond ». En matière nécessaire, deux propositions sous-alternes sont toujours vraies ou fausses ensemble. En matière contingente, la proposition particulière peut être vraie, sans que l'universelle le soit : « Tout logicien est vertueux, quelque logicien est vertueux » ; la dernière seule est vraie.