Talk:Law of Excluded Middle for Two Variables
Jump to navigation
Jump to search
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)
- 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)