Using these atomic propositions, translate the following (true!) statements about legal Python programs into logical notation. (Note that these statements do not come close to fully characterizing the...

Using these atomic propositions, translate the following (true!) statements about legal Python programs into logical notation. (Note that these statements do not come close to fully characterizing the set of valid Python statements, for several reasons: first, they’re about particular variables—x and y—rather than about generic variables. And, second, they omit some important common-sense facts—for example, it’s not simultaneously possible to be both a list and a numeric value. That is, for example, we have ¬v ∨ ¬z.)

1. x ** y is valid Python if and only if x and y are both numeric values.

2. x + y is valid Python if and only if x and y are both numeric values, or they’re both lists.

3. x * y is valid Python if and only if x and y are both numeric values, or if one of x and y is a listand the other is numeri