符号化下列命题并推证其结论

问题描述:

符号化下列命题并推证其结论
科学家都教育自己的孩子成为科学家,有一个人教育他的孩子去经商,证明:这个人一定不是科学家.

构造形式证明,首先将上面的命题符号化,需选取适当谓词,看图片