Sin embargo, la disyunción de la proposición «el espín en la dirección "y" es positivo o negativo» debe ser verdadera para φ.