Use of the term “whenever” in Logic

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











up vote
1
down vote

favorite












How does the word "whenever" translate into logic? For instance:




$|f(x) - f(1)| geq epsilon$ whenever $|x-1| geq delta$











share|cite|improve this question



















  • 1




    It means 'if'. So you can also read the statement as: If $|x-1|geqdelta$, then $|f(x)-f(1)|geqepsilon$. But it is nice to sometimes rephrase this to avoid repetition
    – Stan Tendijck
    1 hour ago







  • 1




    See my answer here.
    – Taroccoesbrocco
    56 mins ago














up vote
1
down vote

favorite












How does the word "whenever" translate into logic? For instance:




$|f(x) - f(1)| geq epsilon$ whenever $|x-1| geq delta$











share|cite|improve this question



















  • 1




    It means 'if'. So you can also read the statement as: If $|x-1|geqdelta$, then $|f(x)-f(1)|geqepsilon$. But it is nice to sometimes rephrase this to avoid repetition
    – Stan Tendijck
    1 hour ago







  • 1




    See my answer here.
    – Taroccoesbrocco
    56 mins ago












up vote
1
down vote

favorite









up vote
1
down vote

favorite











How does the word "whenever" translate into logic? For instance:




$|f(x) - f(1)| geq epsilon$ whenever $|x-1| geq delta$











share|cite|improve this question















How does the word "whenever" translate into logic? For instance:




$|f(x) - f(1)| geq epsilon$ whenever $|x-1| geq delta$








logic terminology logic-translation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 19 mins ago









Taroccoesbrocco

4,35461535




4,35461535










asked 1 hour ago









yoshi

1,018816




1,018816







  • 1




    It means 'if'. So you can also read the statement as: If $|x-1|geqdelta$, then $|f(x)-f(1)|geqepsilon$. But it is nice to sometimes rephrase this to avoid repetition
    – Stan Tendijck
    1 hour ago







  • 1




    See my answer here.
    – Taroccoesbrocco
    56 mins ago












  • 1




    It means 'if'. So you can also read the statement as: If $|x-1|geqdelta$, then $|f(x)-f(1)|geqepsilon$. But it is nice to sometimes rephrase this to avoid repetition
    – Stan Tendijck
    1 hour ago







  • 1




    See my answer here.
    – Taroccoesbrocco
    56 mins ago







1




1




It means 'if'. So you can also read the statement as: If $|x-1|geqdelta$, then $|f(x)-f(1)|geqepsilon$. But it is nice to sometimes rephrase this to avoid repetition
– Stan Tendijck
1 hour ago





It means 'if'. So you can also read the statement as: If $|x-1|geqdelta$, then $|f(x)-f(1)|geqepsilon$. But it is nice to sometimes rephrase this to avoid repetition
– Stan Tendijck
1 hour ago





1




1




See my answer here.
– Taroccoesbrocco
56 mins ago




See my answer here.
– Taroccoesbrocco
56 mins ago










3 Answers
3






active

oldest

votes

















up vote
4
down vote













Whenever in this instant is used as the following :



$$textIfquad |x-1|geq delta quad textthen quad |f(x)-f(1)| geq epsilon $$






share|cite|improve this answer








New contributor




TheJedi 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













    "Whenever" can be a English representation of $Leftarrow$ or "is implied by".



    The whole statement $|f(x) - f(1)| geq epsilon$ whenver $|x-1| geq delta$ is true when $|f(x) - f(1)| geq epsilon$ and $|x-1| geq delta$ are both true, or $|x-1| geq delta$ is false.



    so: $|f(x) - f(1)| geq epsilon Leftarrow |x-1| geq delta$






    share|cite|improve this answer



























      up vote
      1
      down vote













      $forall xbig[|x-1| geq delta rightarrow |f(x) - f(1)| geq epsilonbig]$






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



        );













         

        draft saved


        draft discarded


















        StackExchange.ready(
        function ()
        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2937156%2fuse-of-the-term-whenever-in-logic%23new-answer', 'question_page');

        );

        Post as a guest






























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes








        up vote
        4
        down vote













        Whenever in this instant is used as the following :



        $$textIfquad |x-1|geq delta quad textthen quad |f(x)-f(1)| geq epsilon $$






        share|cite|improve this answer








        New contributor




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





















          up vote
          4
          down vote













          Whenever in this instant is used as the following :



          $$textIfquad |x-1|geq delta quad textthen quad |f(x)-f(1)| geq epsilon $$






          share|cite|improve this answer








          New contributor




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



















            up vote
            4
            down vote










            up vote
            4
            down vote









            Whenever in this instant is used as the following :



            $$textIfquad |x-1|geq delta quad textthen quad |f(x)-f(1)| geq epsilon $$






            share|cite|improve this answer








            New contributor




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









            Whenever in this instant is used as the following :



            $$textIfquad |x-1|geq delta quad textthen quad |f(x)-f(1)| geq epsilon $$







            share|cite|improve this answer








            New contributor




            TheJedi 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 answer



            share|cite|improve this answer






            New contributor




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









            answered 1 hour ago









            TheJedi

            464




            464




            New contributor




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





            New contributor





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






            TheJedi 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













                "Whenever" can be a English representation of $Leftarrow$ or "is implied by".



                The whole statement $|f(x) - f(1)| geq epsilon$ whenver $|x-1| geq delta$ is true when $|f(x) - f(1)| geq epsilon$ and $|x-1| geq delta$ are both true, or $|x-1| geq delta$ is false.



                so: $|f(x) - f(1)| geq epsilon Leftarrow |x-1| geq delta$






                share|cite|improve this answer
























                  up vote
                  3
                  down vote













                  "Whenever" can be a English representation of $Leftarrow$ or "is implied by".



                  The whole statement $|f(x) - f(1)| geq epsilon$ whenver $|x-1| geq delta$ is true when $|f(x) - f(1)| geq epsilon$ and $|x-1| geq delta$ are both true, or $|x-1| geq delta$ is false.



                  so: $|f(x) - f(1)| geq epsilon Leftarrow |x-1| geq delta$






                  share|cite|improve this answer






















                    up vote
                    3
                    down vote










                    up vote
                    3
                    down vote









                    "Whenever" can be a English representation of $Leftarrow$ or "is implied by".



                    The whole statement $|f(x) - f(1)| geq epsilon$ whenver $|x-1| geq delta$ is true when $|f(x) - f(1)| geq epsilon$ and $|x-1| geq delta$ are both true, or $|x-1| geq delta$ is false.



                    so: $|f(x) - f(1)| geq epsilon Leftarrow |x-1| geq delta$






                    share|cite|improve this answer












                    "Whenever" can be a English representation of $Leftarrow$ or "is implied by".



                    The whole statement $|f(x) - f(1)| geq epsilon$ whenver $|x-1| geq delta$ is true when $|f(x) - f(1)| geq epsilon$ and $|x-1| geq delta$ are both true, or $|x-1| geq delta$ is false.



                    so: $|f(x) - f(1)| geq epsilon Leftarrow |x-1| geq delta$







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 1 hour ago









                    James K

                    512212




                    512212




















                        up vote
                        1
                        down vote













                        $forall xbig[|x-1| geq delta rightarrow |f(x) - f(1)| geq epsilonbig]$






                        share|cite|improve this answer
























                          up vote
                          1
                          down vote













                          $forall xbig[|x-1| geq delta rightarrow |f(x) - f(1)| geq epsilonbig]$






                          share|cite|improve this answer






















                            up vote
                            1
                            down vote










                            up vote
                            1
                            down vote









                            $forall xbig[|x-1| geq delta rightarrow |f(x) - f(1)| geq epsilonbig]$






                            share|cite|improve this answer












                            $forall xbig[|x-1| geq delta rightarrow |f(x) - f(1)| geq epsilonbig]$







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered 58 mins ago









                            S.S.Danyal

                            1413




                            1413



























                                 

                                draft saved


                                draft discarded















































                                 


                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function ()
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2937156%2fuse-of-the-term-whenever-in-logic%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