Définitionspropositions sous-alternes

propositions sous-alternes

nom masculin
/pʁɔ.pɔ.zi.sjɔ̃ su.zal.tɛʁn/
  1. LogiquePropositions 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.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.