Very simple. To prove it for arbitrary number of values, you just need to prove that h_i being true increases its expected “probability to be assigned” after measurement for each i.
If you define T as h_i and F as NOT h_i, you just reduced the problem to two values version.
Very simple. To prove it for arbitrary number of values, you just need to prove that h_i being true increases its expected “probability to be assigned” after measurement for each i.
If you define T as h_i and F as NOT h_i, you just reduced the problem to two values version.