Talk:Law of Excluded Middle for Two Variables

What's the PW-accepted trick for making the redundant parentheses depart from the theorem statement? --Dfeuer (talk) 22:38, 11 March 2013 (UTC)

associativity --prime mover (talk) 22:49, 11 March 2013 (UTC)

Would you mind demonstrating? --Dfeuer (talk) 22:59, 11 March 2013 (UTC)

I don't understand what the problem is. $\lor$ is associative. Therefore by General Associativity Theorem brackets are redundant. --prime mover (talk) 06:14, 12 March 2013 (UTC)