【离散数学证明题:对任意集合A,B和C,若有C≠∅-查字典问答网
分类选择

来自江明德的问题

  【离散数学证明题:对任意集合A,B和C,若有C≠∅,则有:A⊆B的充分必要条件是C×A⊆C×B.】

  离散数学证明题:对任意集合A,B和C,若有C≠∅,则有:A⊆B的充分必要条件是C×A⊆C×B.

1回答
2020-01-2620:33
我要回答
提示:回答问题需要登录哦!
刘清成

  A⊆B即对∀x∈A,都有x∈B

  C×A⊆C×B即∀∈C×A,都有∈C×B

  充分性:

  ∀x∈A,都有x∈B

  对∀y∈C

  于是有:∈C×A→∈C×B

  必要性:

  ∀∈C×A,都有∈C×B

  ∴∀x∈A,都有x∈B

2020-01-26 20:36:10
大家都在问
最新问答