Using the following symbolization key, symbolize the following sentence in PL. (Note: Not all of these sentences are true.) Key: UD: The set of positive integers, Px: x is a prime, Ox: x is odd, Ex: x is even, Lxy: x is less than y, Txy: sx times y is a prime, Dxy: x is evenly divisible by y (x is divisible by y without remainder), a: 2.
Sentence: A positive integer is even if and only if it is evently divisible by 2.