‹ Théorie logique des propositions modalesChapitre 32 sur 81 · TROISIÈME DÉMONSTRATION · texte numérisé non relu

TROISIÈME DÉMONSTRATION

La particulière affirmative se convertit en une affirmative particulière.

Si A est attribué à quelque B, B est attribué à quelque A.

En effet, si, par hypothèse, B n'était attribué à aucun A, il résulterait du théorème premier que A ne serait attribué à aucun B.

Mais la proposition qui nous est donnée est la suivante :

A est attribué à quelque B. Or ces deux propositions sont contradictoires Tune par rapport à l'autre. Donc Thypothèse est absurde.

Donc B est attribué à quelque A.

Ce qu'il fallait démontrer.

Page 1