题目

下面命题是永真式吗,是给出证明,否,举出反例
任意x（P(x)→Q(x))→(任意xP(x）→任意xQ(x))

提问时间：2020-11-24

答案

是
记A={x|P(x)}, B={x|Q(x)}
由∀x(P(x)→Q(x))→(∀x∈A→x∈B)→A⊆B
∀xP(x）→A=I(全集)→I⊆B→B=I→∀xQ(x)