Translate each of the following propositions into symbolic form. Dene the universe of discourse and the predicates you use. Then negate each of the propositions (a) All leaves are green. Solution In the universe of foliage, L(x) := x is a leaf G(x) := x is green For all x, L(x) --> G(x) Translated: For all pieces of foliage, if a piece of foliage is a leaf, then it is green..