Translate that conjecture into a theorem in symbolic form using first order logic notation. You will need to invent some notation, including functions, to do so. Define your new notation and functions clearly.
Define a game as follows: You begin with an urn that contains a mixture of white and black balls, and during the game you have access to as many additional white and black balls as you might need. In each move you remove two balls from the urn without looking at their colors. If the […]