Translate the following statement into predicate notation. (And
make a key to show what each predicate letter represents.) You may
copy the symbols for the operators from here: ~ · ∨ ⊃ ≡ ∃
No