一个命题推导的问题如果有:P(x)->S(x)Q(x)->!S(x)那么有P(x)->!Q(x)这个结论一定成立吗?为什