Propiedades y métodos de verificación de la probabilidad condicional