The statement forallx(P(x)lornegP(x))\\forall x (P(x) \\lor \\neg P(x))forallx(P(x)lornegP(x)) is:
Always True
Always False
Sometimes True
Invalid syntax