The statement (existsx)(forally)P(x,y)rightarrow(forally)(existsx)P(x,y)(\\exists x)(\\forall y)P(x, y) \\rightarrow (\\forall y)(\\exists x)P(x, y)(existsx)(forally)P(x,y)rightarrow(forally)(existsx)P(x,y) is:
Always true (Valid)
Always false
Sometimes true
Logically equivalent in both directions