5.442 Quand une proposition nous est donnée, sont aussi donnés, avec elle, les résultats de toutes les opérations de vérité qui la prennent pour base.