Which of the following logic statements are true

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











up vote
3
down vote

favorite












Question




$S_1: ,,forall x ,exists y , forall z,(x+y=z)$



$S_2: ,, exists x , forall y , exists z,(x+y=z)$




where $x,y, textand ,,z $ are real numbers.
Which of the following statements are true?



My Approach



I think both $S_1$ and $S_2$ are true.
Because $S_1$ says for all $x$,there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.hence $S_1$ holds



same reasoning can be given for $S_2$ .but the answer says $S_2$ only.I know i am making some mistake ,don't know where.please help







share|cite|improve this question

























    up vote
    3
    down vote

    favorite












    Question




    $S_1: ,,forall x ,exists y , forall z,(x+y=z)$



    $S_2: ,, exists x , forall y , exists z,(x+y=z)$




    where $x,y, textand ,,z $ are real numbers.
    Which of the following statements are true?



    My Approach



    I think both $S_1$ and $S_2$ are true.
    Because $S_1$ says for all $x$,there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.hence $S_1$ holds



    same reasoning can be given for $S_2$ .but the answer says $S_2$ only.I know i am making some mistake ,don't know where.please help







    share|cite|improve this question























      up vote
      3
      down vote

      favorite









      up vote
      3
      down vote

      favorite











      Question




      $S_1: ,,forall x ,exists y , forall z,(x+y=z)$



      $S_2: ,, exists x , forall y , exists z,(x+y=z)$




      where $x,y, textand ,,z $ are real numbers.
      Which of the following statements are true?



      My Approach



      I think both $S_1$ and $S_2$ are true.
      Because $S_1$ says for all $x$,there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.hence $S_1$ holds



      same reasoning can be given for $S_2$ .but the answer says $S_2$ only.I know i am making some mistake ,don't know where.please help







      share|cite|improve this question













      Question




      $S_1: ,,forall x ,exists y , forall z,(x+y=z)$



      $S_2: ,, exists x , forall y , exists z,(x+y=z)$




      where $x,y, textand ,,z $ are real numbers.
      Which of the following statements are true?



      My Approach



      I think both $S_1$ and $S_2$ are true.
      Because $S_1$ says for all $x$,there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.hence $S_1$ holds



      same reasoning can be given for $S_2$ .but the answer says $S_2$ only.I know i am making some mistake ,don't know where.please help









      share|cite|improve this question












      share|cite|improve this question




      share|cite|improve this question








      edited Aug 9 at 17:46









      Taroccoesbrocco

      3,48941431




      3,48941431









      asked Jul 20 at 6:03









      laura

      1,238521




      1,238521




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          3
          down vote



          accepted










          $S_1$ is false. Its negation is
          $$exists xforall yexists z x+yne z$$
          and this is trivially true: take $x=0$, then for any $y$ take $z=y+1$.



          $S_2$ is true, since given $x=0$ and some $y$ we can take $z=y$ to make the statement true.






          share|cite|improve this answer





















          • Negation of $S_2$ is $forall x exists y forall z (x+y neq z)$ which should be false if we take $y=0$, then for every $x$ ,$y$ ,$x=y$ Right?
            – laura
            Jul 20 at 6:21











          • @:parcly i wrote negation of $S_2$ .for $S_2$ to be true ,its negation should be false ...right?
            – laura
            Jul 20 at 6:24











          • @laura OK, $neg S_2$ is false, since when $x=0$, there is no $y$ such that for all $z$ $x+y=z$ or $y=z$. Since $x=0$ fails the outer $forall$, the whole negation is false.
            – Parcly Taxel
            Jul 20 at 6:25










          • thanks ..that is what u wa asking in my first comment...!
            – laura
            Jul 20 at 6:27

















          up vote
          1
          down vote














          Because $S_1$ says for all $x$, there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.




          No, $forall x ,exists y , forall z,(x+y=z)$ sais that for any $x$, there is a $y$, such that every $z$ will equal their sum ($x+y$).



          Whereas $exists x , forall y , exists z,(x+y=z)$ sais there is an $x$, such that for every $y$, there is a $z$ equal to their sum ($x+y$).






          share|cite|improve this answer





















          • @:graham sir , thanks for your response. Using negation , i am able to understand it.but answering it straight away with your explanation is little confusing for me . $S_1$ says for any $x,$ there is a $y$, such that every $z$ will equal their sum $(x+y)$ here too for any $x$,if i take $y=0$, then sum $z$ is equal to $x+0=x$. why it is false ? please help me out!
            – laura
            Jul 20 at 7:19






          • 1




            Every $z$, not just some $z$. All of them. Take any $x$ and some $y$, can $x+y$ equal every $z$? @laura
            – Graham Kemp
            Jul 20 at 7:56











          • yes ..i got it ..thanks a lot!
            – laura
            Jul 20 at 7:57










          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
          );



          );








           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2857317%2fwhich-of-the-following-logic-statements-are-true%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
          3
          down vote



          accepted










          $S_1$ is false. Its negation is
          $$exists xforall yexists z x+yne z$$
          and this is trivially true: take $x=0$, then for any $y$ take $z=y+1$.



          $S_2$ is true, since given $x=0$ and some $y$ we can take $z=y$ to make the statement true.






          share|cite|improve this answer





















          • Negation of $S_2$ is $forall x exists y forall z (x+y neq z)$ which should be false if we take $y=0$, then for every $x$ ,$y$ ,$x=y$ Right?
            – laura
            Jul 20 at 6:21











          • @:parcly i wrote negation of $S_2$ .for $S_2$ to be true ,its negation should be false ...right?
            – laura
            Jul 20 at 6:24











          • @laura OK, $neg S_2$ is false, since when $x=0$, there is no $y$ such that for all $z$ $x+y=z$ or $y=z$. Since $x=0$ fails the outer $forall$, the whole negation is false.
            – Parcly Taxel
            Jul 20 at 6:25










          • thanks ..that is what u wa asking in my first comment...!
            – laura
            Jul 20 at 6:27














          up vote
          3
          down vote



          accepted










          $S_1$ is false. Its negation is
          $$exists xforall yexists z x+yne z$$
          and this is trivially true: take $x=0$, then for any $y$ take $z=y+1$.



          $S_2$ is true, since given $x=0$ and some $y$ we can take $z=y$ to make the statement true.






          share|cite|improve this answer





















          • Negation of $S_2$ is $forall x exists y forall z (x+y neq z)$ which should be false if we take $y=0$, then for every $x$ ,$y$ ,$x=y$ Right?
            – laura
            Jul 20 at 6:21











          • @:parcly i wrote negation of $S_2$ .for $S_2$ to be true ,its negation should be false ...right?
            – laura
            Jul 20 at 6:24











          • @laura OK, $neg S_2$ is false, since when $x=0$, there is no $y$ such that for all $z$ $x+y=z$ or $y=z$. Since $x=0$ fails the outer $forall$, the whole negation is false.
            – Parcly Taxel
            Jul 20 at 6:25










          • thanks ..that is what u wa asking in my first comment...!
            – laura
            Jul 20 at 6:27












          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted






          $S_1$ is false. Its negation is
          $$exists xforall yexists z x+yne z$$
          and this is trivially true: take $x=0$, then for any $y$ take $z=y+1$.



          $S_2$ is true, since given $x=0$ and some $y$ we can take $z=y$ to make the statement true.






          share|cite|improve this answer













          $S_1$ is false. Its negation is
          $$exists xforall yexists z x+yne z$$
          and this is trivially true: take $x=0$, then for any $y$ take $z=y+1$.



          $S_2$ is true, since given $x=0$ and some $y$ we can take $z=y$ to make the statement true.







          share|cite|improve this answer













          share|cite|improve this answer



          share|cite|improve this answer











          answered Jul 20 at 6:06









          Parcly Taxel

          33.6k136588




          33.6k136588











          • Negation of $S_2$ is $forall x exists y forall z (x+y neq z)$ which should be false if we take $y=0$, then for every $x$ ,$y$ ,$x=y$ Right?
            – laura
            Jul 20 at 6:21











          • @:parcly i wrote negation of $S_2$ .for $S_2$ to be true ,its negation should be false ...right?
            – laura
            Jul 20 at 6:24











          • @laura OK, $neg S_2$ is false, since when $x=0$, there is no $y$ such that for all $z$ $x+y=z$ or $y=z$. Since $x=0$ fails the outer $forall$, the whole negation is false.
            – Parcly Taxel
            Jul 20 at 6:25










          • thanks ..that is what u wa asking in my first comment...!
            – laura
            Jul 20 at 6:27
















          • Negation of $S_2$ is $forall x exists y forall z (x+y neq z)$ which should be false if we take $y=0$, then for every $x$ ,$y$ ,$x=y$ Right?
            – laura
            Jul 20 at 6:21











          • @:parcly i wrote negation of $S_2$ .for $S_2$ to be true ,its negation should be false ...right?
            – laura
            Jul 20 at 6:24











          • @laura OK, $neg S_2$ is false, since when $x=0$, there is no $y$ such that for all $z$ $x+y=z$ or $y=z$. Since $x=0$ fails the outer $forall$, the whole negation is false.
            – Parcly Taxel
            Jul 20 at 6:25










          • thanks ..that is what u wa asking in my first comment...!
            – laura
            Jul 20 at 6:27















          Negation of $S_2$ is $forall x exists y forall z (x+y neq z)$ which should be false if we take $y=0$, then for every $x$ ,$y$ ,$x=y$ Right?
          – laura
          Jul 20 at 6:21





          Negation of $S_2$ is $forall x exists y forall z (x+y neq z)$ which should be false if we take $y=0$, then for every $x$ ,$y$ ,$x=y$ Right?
          – laura
          Jul 20 at 6:21













          @:parcly i wrote negation of $S_2$ .for $S_2$ to be true ,its negation should be false ...right?
          – laura
          Jul 20 at 6:24





          @:parcly i wrote negation of $S_2$ .for $S_2$ to be true ,its negation should be false ...right?
          – laura
          Jul 20 at 6:24













          @laura OK, $neg S_2$ is false, since when $x=0$, there is no $y$ such that for all $z$ $x+y=z$ or $y=z$. Since $x=0$ fails the outer $forall$, the whole negation is false.
          – Parcly Taxel
          Jul 20 at 6:25




          @laura OK, $neg S_2$ is false, since when $x=0$, there is no $y$ such that for all $z$ $x+y=z$ or $y=z$. Since $x=0$ fails the outer $forall$, the whole negation is false.
          – Parcly Taxel
          Jul 20 at 6:25












          thanks ..that is what u wa asking in my first comment...!
          – laura
          Jul 20 at 6:27




          thanks ..that is what u wa asking in my first comment...!
          – laura
          Jul 20 at 6:27










          up vote
          1
          down vote














          Because $S_1$ says for all $x$, there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.




          No, $forall x ,exists y , forall z,(x+y=z)$ sais that for any $x$, there is a $y$, such that every $z$ will equal their sum ($x+y$).



          Whereas $exists x , forall y , exists z,(x+y=z)$ sais there is an $x$, such that for every $y$, there is a $z$ equal to their sum ($x+y$).






          share|cite|improve this answer





















          • @:graham sir , thanks for your response. Using negation , i am able to understand it.but answering it straight away with your explanation is little confusing for me . $S_1$ says for any $x,$ there is a $y$, such that every $z$ will equal their sum $(x+y)$ here too for any $x$,if i take $y=0$, then sum $z$ is equal to $x+0=x$. why it is false ? please help me out!
            – laura
            Jul 20 at 7:19






          • 1




            Every $z$, not just some $z$. All of them. Take any $x$ and some $y$, can $x+y$ equal every $z$? @laura
            – Graham Kemp
            Jul 20 at 7:56











          • yes ..i got it ..thanks a lot!
            – laura
            Jul 20 at 7:57














          up vote
          1
          down vote














          Because $S_1$ says for all $x$, there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.




          No, $forall x ,exists y , forall z,(x+y=z)$ sais that for any $x$, there is a $y$, such that every $z$ will equal their sum ($x+y$).



          Whereas $exists x , forall y , exists z,(x+y=z)$ sais there is an $x$, such that for every $y$, there is a $z$ equal to their sum ($x+y$).






          share|cite|improve this answer





















          • @:graham sir , thanks for your response. Using negation , i am able to understand it.but answering it straight away with your explanation is little confusing for me . $S_1$ says for any $x,$ there is a $y$, such that every $z$ will equal their sum $(x+y)$ here too for any $x$,if i take $y=0$, then sum $z$ is equal to $x+0=x$. why it is false ? please help me out!
            – laura
            Jul 20 at 7:19






          • 1




            Every $z$, not just some $z$. All of them. Take any $x$ and some $y$, can $x+y$ equal every $z$? @laura
            – Graham Kemp
            Jul 20 at 7:56











          • yes ..i got it ..thanks a lot!
            – laura
            Jul 20 at 7:57












          up vote
          1
          down vote










          up vote
          1
          down vote










          Because $S_1$ says for all $x$, there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.




          No, $forall x ,exists y , forall z,(x+y=z)$ sais that for any $x$, there is a $y$, such that every $z$ will equal their sum ($x+y$).



          Whereas $exists x , forall y , exists z,(x+y=z)$ sais there is an $x$, such that for every $y$, there is a $z$ equal to their sum ($x+y$).






          share|cite|improve this answer














          Because $S_1$ says for all $x$, there exists a $y$ whose sum will be $z$, a real number as sum of two real numbers are real.




          No, $forall x ,exists y , forall z,(x+y=z)$ sais that for any $x$, there is a $y$, such that every $z$ will equal their sum ($x+y$).



          Whereas $exists x , forall y , exists z,(x+y=z)$ sais there is an $x$, such that for every $y$, there is a $z$ equal to their sum ($x+y$).







          share|cite|improve this answer













          share|cite|improve this answer



          share|cite|improve this answer











          answered Jul 20 at 6:53









          Graham Kemp

          80.1k43275




          80.1k43275











          • @:graham sir , thanks for your response. Using negation , i am able to understand it.but answering it straight away with your explanation is little confusing for me . $S_1$ says for any $x,$ there is a $y$, such that every $z$ will equal their sum $(x+y)$ here too for any $x$,if i take $y=0$, then sum $z$ is equal to $x+0=x$. why it is false ? please help me out!
            – laura
            Jul 20 at 7:19






          • 1




            Every $z$, not just some $z$. All of them. Take any $x$ and some $y$, can $x+y$ equal every $z$? @laura
            – Graham Kemp
            Jul 20 at 7:56











          • yes ..i got it ..thanks a lot!
            – laura
            Jul 20 at 7:57
















          • @:graham sir , thanks for your response. Using negation , i am able to understand it.but answering it straight away with your explanation is little confusing for me . $S_1$ says for any $x,$ there is a $y$, such that every $z$ will equal their sum $(x+y)$ here too for any $x$,if i take $y=0$, then sum $z$ is equal to $x+0=x$. why it is false ? please help me out!
            – laura
            Jul 20 at 7:19






          • 1




            Every $z$, not just some $z$. All of them. Take any $x$ and some $y$, can $x+y$ equal every $z$? @laura
            – Graham Kemp
            Jul 20 at 7:56











          • yes ..i got it ..thanks a lot!
            – laura
            Jul 20 at 7:57















          @:graham sir , thanks for your response. Using negation , i am able to understand it.but answering it straight away with your explanation is little confusing for me . $S_1$ says for any $x,$ there is a $y$, such that every $z$ will equal their sum $(x+y)$ here too for any $x$,if i take $y=0$, then sum $z$ is equal to $x+0=x$. why it is false ? please help me out!
          – laura
          Jul 20 at 7:19




          @:graham sir , thanks for your response. Using negation , i am able to understand it.but answering it straight away with your explanation is little confusing for me . $S_1$ says for any $x,$ there is a $y$, such that every $z$ will equal their sum $(x+y)$ here too for any $x$,if i take $y=0$, then sum $z$ is equal to $x+0=x$. why it is false ? please help me out!
          – laura
          Jul 20 at 7:19




          1




          1




          Every $z$, not just some $z$. All of them. Take any $x$ and some $y$, can $x+y$ equal every $z$? @laura
          – Graham Kemp
          Jul 20 at 7:56





          Every $z$, not just some $z$. All of them. Take any $x$ and some $y$, can $x+y$ equal every $z$? @laura
          – Graham Kemp
          Jul 20 at 7:56













          yes ..i got it ..thanks a lot!
          – laura
          Jul 20 at 7:57




          yes ..i got it ..thanks a lot!
          – laura
          Jul 20 at 7:57












           

          draft saved


          draft discarded


























           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2857317%2fwhich-of-the-following-logic-statements-are-true%23new-answer', 'question_page');

          );

          Post as a guest













































































          Comments

          Popular posts from this blog

          What is the equation of a 3D cone with generalised tilt?

          Color the edges and diagonals of a regular polygon

          Relationship between determinant of matrix and determinant of adjoint?