Example: Calculating probabilities for measuring spin-up and spin-down

Example calculation for the probabilities of both spin-up and spin-down, including the check that the add to 1.

spin-down