F:任意x(P(x)∧Q(a)vQ(x)) G:크x(P(x)∧Q(x)) 用式子证明G是否是F的逻辑结论

为了证明G是否是F的逻辑结论,我们需要证明F蕴含G,即F成立时,G一定成立。 首先,我们假设F成立,即存在一个…

返回顶部