How can I prove this statement about subsets?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite













Let $A$, $B$, $C$ be sets. Prove that if $A subseteq C$ and $B subseteq C$ then $A cup B subseteq C$.




This is an exercise in mathematical logic.



My attempt to progress forward: This statement can be written as$$
(A subseteq C) land (B subseteq C) → A cup B subseteq C\
(x in A → x in C) land (x in B → x in C) → A cup B subseteq C
$$

But I am not even sure that is how I am supposed to do it so I am a bit stuck. Can anyone explain to me how to get through this proof? Thanks in advance.










share|cite|improve this question









New contributor




Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.























    up vote
    3
    down vote

    favorite













    Let $A$, $B$, $C$ be sets. Prove that if $A subseteq C$ and $B subseteq C$ then $A cup B subseteq C$.




    This is an exercise in mathematical logic.



    My attempt to progress forward: This statement can be written as$$
    (A subseteq C) land (B subseteq C) → A cup B subseteq C\
    (x in A → x in C) land (x in B → x in C) → A cup B subseteq C
    $$

    But I am not even sure that is how I am supposed to do it so I am a bit stuck. Can anyone explain to me how to get through this proof? Thanks in advance.










    share|cite|improve this question









    New contributor




    Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.





















      up vote
      3
      down vote

      favorite









      up vote
      3
      down vote

      favorite












      Let $A$, $B$, $C$ be sets. Prove that if $A subseteq C$ and $B subseteq C$ then $A cup B subseteq C$.




      This is an exercise in mathematical logic.



      My attempt to progress forward: This statement can be written as$$
      (A subseteq C) land (B subseteq C) → A cup B subseteq C\
      (x in A → x in C) land (x in B → x in C) → A cup B subseteq C
      $$

      But I am not even sure that is how I am supposed to do it so I am a bit stuck. Can anyone explain to me how to get through this proof? Thanks in advance.










      share|cite|improve this question









      New contributor




      Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.












      Let $A$, $B$, $C$ be sets. Prove that if $A subseteq C$ and $B subseteq C$ then $A cup B subseteq C$.




      This is an exercise in mathematical logic.



      My attempt to progress forward: This statement can be written as$$
      (A subseteq C) land (B subseteq C) → A cup B subseteq C\
      (x in A → x in C) land (x in B → x in C) → A cup B subseteq C
      $$

      But I am not even sure that is how I am supposed to do it so I am a bit stuck. Can anyone explain to me how to get through this proof? Thanks in advance.







      elementary-set-theory logic






      share|cite|improve this question









      New contributor




      Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|cite|improve this question









      New contributor




      Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|cite|improve this question




      share|cite|improve this question








      edited 13 mins ago









      Taroccoesbrocco

      4,21461535




      4,21461535






      New contributor




      Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked 1 hour ago









      Victor Lotz

      161




      161




      New contributor




      Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      Victor Lotz is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          6
          down vote













          Take any $xin Acup B$. That means either $xin A$ or $xin B$. Anyway you get $xin C$.






          share|cite|improve this answer



























            up vote
            2
            down vote













            If $A subset C$, and $B subset C$;



            $A cap C =A$; and $B cap C = B$;



            $Acup B = (A cap C)cup (B cap C) =$



            $C cap (A cup B) subset C$






            share|cite|improve this answer






















              Your Answer




              StackExchange.ifUsing("editor", function ()
              return StackExchange.using("mathjaxEditing", function ()
              StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
              StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
              );
              );
              , "mathjax-editing");

              StackExchange.ready(function()
              var channelOptions =
              tags: "".split(" "),
              id: "69"
              ;
              initTagRenderer("".split(" "), "".split(" "), channelOptions);

              StackExchange.using("externalEditor", function()
              // Have to fire editor after snippets, if snippets enabled
              if (StackExchange.settings.snippets.snippetsEnabled)
              StackExchange.using("snippets", function()
              createEditor();
              );

              else
              createEditor();

              );

              function createEditor()
              StackExchange.prepareEditor(
              heartbeatType: 'answer',
              convertImagesToLinks: true,
              noModals: false,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              noCode: true, onDemand: true,
              discardSelector: ".discard-answer"
              ,immediatelyShowMarkdownHelp:true
              );



              );






              Victor Lotz is a new contributor. Be nice, and check out our Code of Conduct.









               

              draft saved


              draft discarded


















              StackExchange.ready(
              function ()
              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2931622%2fhow-can-i-prove-this-statement-about-subsets%23new-answer', 'question_page');

              );

              Post as a guest






























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              6
              down vote













              Take any $xin Acup B$. That means either $xin A$ or $xin B$. Anyway you get $xin C$.






              share|cite|improve this answer
























                up vote
                6
                down vote













                Take any $xin Acup B$. That means either $xin A$ or $xin B$. Anyway you get $xin C$.






                share|cite|improve this answer






















                  up vote
                  6
                  down vote










                  up vote
                  6
                  down vote









                  Take any $xin Acup B$. That means either $xin A$ or $xin B$. Anyway you get $xin C$.






                  share|cite|improve this answer












                  Take any $xin Acup B$. That means either $xin A$ or $xin B$. Anyway you get $xin C$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 1 hour ago









                  Mark

                  2,482111




                  2,482111




















                      up vote
                      2
                      down vote













                      If $A subset C$, and $B subset C$;



                      $A cap C =A$; and $B cap C = B$;



                      $Acup B = (A cap C)cup (B cap C) =$



                      $C cap (A cup B) subset C$






                      share|cite|improve this answer


























                        up vote
                        2
                        down vote













                        If $A subset C$, and $B subset C$;



                        $A cap C =A$; and $B cap C = B$;



                        $Acup B = (A cap C)cup (B cap C) =$



                        $C cap (A cup B) subset C$






                        share|cite|improve this answer
























                          up vote
                          2
                          down vote










                          up vote
                          2
                          down vote









                          If $A subset C$, and $B subset C$;



                          $A cap C =A$; and $B cap C = B$;



                          $Acup B = (A cap C)cup (B cap C) =$



                          $C cap (A cup B) subset C$






                          share|cite|improve this answer














                          If $A subset C$, and $B subset C$;



                          $A cap C =A$; and $B cap C = B$;



                          $Acup B = (A cap C)cup (B cap C) =$



                          $C cap (A cup B) subset C$







                          share|cite|improve this answer














                          share|cite|improve this answer



                          share|cite|improve this answer








                          edited 1 hour ago

























                          answered 1 hour ago









                          Peter Szilas

                          8,5402617




                          8,5402617




















                              Victor Lotz is a new contributor. Be nice, and check out our Code of Conduct.









                               

                              draft saved


                              draft discarded


















                              Victor Lotz is a new contributor. Be nice, and check out our Code of Conduct.












                              Victor Lotz is a new contributor. Be nice, and check out our Code of Conduct.











                              Victor Lotz is a new contributor. Be nice, and check out our Code of Conduct.













                               


                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2931622%2fhow-can-i-prove-this-statement-about-subsets%23new-answer', 'question_page');

                              );

                              Post as a guest













































































                              Comments

                              Popular posts from this blog

                              What does second last employer means? [closed]

                              Installing NextGIS Connect into QGIS 3?

                              One-line joke