Propriétés et méthodes de vérification de la probabilité conditionnelle