符号化下列命题并推证其结论
问题描述:
符号化下列命题并推证其结论
科学家都教育自己的孩子成为科学家,有一个人教育他的孩子去经商,证明:这个人一定不是科学家.
答
构造形式证明,首先将上面的命题符号化,需选取适当谓词,看图片