is (infinitely often p) ∨ (infinitely often ¬p) valid?


i’m trying to prove every trace over PROP = {p} is a model of the formula. I am very stuck in figuring out a model pi that satisfies this formula, can anyone point me in the right direction?