How is “iff” different from “if”












1














So I just discovered iff thinking it was a typo. But after looking it up and reading other answers on here it is a valid contraction of words if and only if. Much like XOR in a mathematical domain.



How is if and only if different from if when used in a sentance?



Does if not already imply a condition that must be met before fulfilling some clause. It's like without iff regular if implied if or maybe.



Similar to XOR I would assume this word/representation be reserved for logical expression. However dictionary.com is giving examples of use in English:




I could like her better, iff she was better to my young lady.



Clarissa, Volume 3 (of 9) Samuel Richardson











share|improve this question


















  • 3




    Note that iff is only a "valid contraction" in specialized contexts such as philosophy and computer programming. Just because a word is in the dictionary does not mean it is commonly used or widely understood. I have never come across iff in a newspaper that I can remember. Secondly, why if and iff are not equivalent is a matter of logic, not English. If it rains, the road will be wet is different from Iff it rains, the road will be wet, because in the former, the road could also be wet from lawn sprinklers.
    – choster
    5 hours ago










  • I'm voting to close this question as off-topic because it is a question about a logical formulation, and not about the English language.
    – choster
    4 hours ago










  • @choster Maybe but it could be good for other programmers to reference. Some people seem to think it is a real word. As does dictionary.com. I got into confusion in a pull request as a maintainer believes this is a real word and is using it in general documentation. Which lead me down this rabbit hole to clarify.
    – Lex
    4 hours ago












  • I'm hardly saying it isn't a "real" word. I'm saying that ordinary people do not have a need for it. Whether it is appropriate or not for your documentation depends on who is going to be reading that documentation.
    – choster
    4 hours ago










  • @choster From wikipedia """"...often, mathematical definitions follow the special convention that "if" is interpreted to mean "if and only if" """. So its use really seems reserved for logical statements x = y iff A ~ B outside of this I think if should be used. In my case "Returns true iff key is in s" this is english and iff reads as a typo. You'd be better off with => true iff s[key
    – Lex
    4 hours ago


















1














So I just discovered iff thinking it was a typo. But after looking it up and reading other answers on here it is a valid contraction of words if and only if. Much like XOR in a mathematical domain.



How is if and only if different from if when used in a sentance?



Does if not already imply a condition that must be met before fulfilling some clause. It's like without iff regular if implied if or maybe.



Similar to XOR I would assume this word/representation be reserved for logical expression. However dictionary.com is giving examples of use in English:




I could like her better, iff she was better to my young lady.



Clarissa, Volume 3 (of 9) Samuel Richardson











share|improve this question


















  • 3




    Note that iff is only a "valid contraction" in specialized contexts such as philosophy and computer programming. Just because a word is in the dictionary does not mean it is commonly used or widely understood. I have never come across iff in a newspaper that I can remember. Secondly, why if and iff are not equivalent is a matter of logic, not English. If it rains, the road will be wet is different from Iff it rains, the road will be wet, because in the former, the road could also be wet from lawn sprinklers.
    – choster
    5 hours ago










  • I'm voting to close this question as off-topic because it is a question about a logical formulation, and not about the English language.
    – choster
    4 hours ago










  • @choster Maybe but it could be good for other programmers to reference. Some people seem to think it is a real word. As does dictionary.com. I got into confusion in a pull request as a maintainer believes this is a real word and is using it in general documentation. Which lead me down this rabbit hole to clarify.
    – Lex
    4 hours ago












  • I'm hardly saying it isn't a "real" word. I'm saying that ordinary people do not have a need for it. Whether it is appropriate or not for your documentation depends on who is going to be reading that documentation.
    – choster
    4 hours ago










  • @choster From wikipedia """"...often, mathematical definitions follow the special convention that "if" is interpreted to mean "if and only if" """. So its use really seems reserved for logical statements x = y iff A ~ B outside of this I think if should be used. In my case "Returns true iff key is in s" this is english and iff reads as a typo. You'd be better off with => true iff s[key
    – Lex
    4 hours ago
















1












1








1







So I just discovered iff thinking it was a typo. But after looking it up and reading other answers on here it is a valid contraction of words if and only if. Much like XOR in a mathematical domain.



How is if and only if different from if when used in a sentance?



Does if not already imply a condition that must be met before fulfilling some clause. It's like without iff regular if implied if or maybe.



Similar to XOR I would assume this word/representation be reserved for logical expression. However dictionary.com is giving examples of use in English:




I could like her better, iff she was better to my young lady.



Clarissa, Volume 3 (of 9) Samuel Richardson











share|improve this question













So I just discovered iff thinking it was a typo. But after looking it up and reading other answers on here it is a valid contraction of words if and only if. Much like XOR in a mathematical domain.



How is if and only if different from if when used in a sentance?



Does if not already imply a condition that must be met before fulfilling some clause. It's like without iff regular if implied if or maybe.



Similar to XOR I would assume this word/representation be reserved for logical expression. However dictionary.com is giving examples of use in English:




I could like her better, iff she was better to my young lady.



Clarissa, Volume 3 (of 9) Samuel Richardson








terminology parts-of-speech contractions






share|improve this question













share|improve this question











share|improve this question




share|improve this question










asked 5 hours ago









Lex

1235




1235








  • 3




    Note that iff is only a "valid contraction" in specialized contexts such as philosophy and computer programming. Just because a word is in the dictionary does not mean it is commonly used or widely understood. I have never come across iff in a newspaper that I can remember. Secondly, why if and iff are not equivalent is a matter of logic, not English. If it rains, the road will be wet is different from Iff it rains, the road will be wet, because in the former, the road could also be wet from lawn sprinklers.
    – choster
    5 hours ago










  • I'm voting to close this question as off-topic because it is a question about a logical formulation, and not about the English language.
    – choster
    4 hours ago










  • @choster Maybe but it could be good for other programmers to reference. Some people seem to think it is a real word. As does dictionary.com. I got into confusion in a pull request as a maintainer believes this is a real word and is using it in general documentation. Which lead me down this rabbit hole to clarify.
    – Lex
    4 hours ago












  • I'm hardly saying it isn't a "real" word. I'm saying that ordinary people do not have a need for it. Whether it is appropriate or not for your documentation depends on who is going to be reading that documentation.
    – choster
    4 hours ago










  • @choster From wikipedia """"...often, mathematical definitions follow the special convention that "if" is interpreted to mean "if and only if" """. So its use really seems reserved for logical statements x = y iff A ~ B outside of this I think if should be used. In my case "Returns true iff key is in s" this is english and iff reads as a typo. You'd be better off with => true iff s[key
    – Lex
    4 hours ago
















  • 3




    Note that iff is only a "valid contraction" in specialized contexts such as philosophy and computer programming. Just because a word is in the dictionary does not mean it is commonly used or widely understood. I have never come across iff in a newspaper that I can remember. Secondly, why if and iff are not equivalent is a matter of logic, not English. If it rains, the road will be wet is different from Iff it rains, the road will be wet, because in the former, the road could also be wet from lawn sprinklers.
    – choster
    5 hours ago










  • I'm voting to close this question as off-topic because it is a question about a logical formulation, and not about the English language.
    – choster
    4 hours ago










  • @choster Maybe but it could be good for other programmers to reference. Some people seem to think it is a real word. As does dictionary.com. I got into confusion in a pull request as a maintainer believes this is a real word and is using it in general documentation. Which lead me down this rabbit hole to clarify.
    – Lex
    4 hours ago












  • I'm hardly saying it isn't a "real" word. I'm saying that ordinary people do not have a need for it. Whether it is appropriate or not for your documentation depends on who is going to be reading that documentation.
    – choster
    4 hours ago










  • @choster From wikipedia """"...often, mathematical definitions follow the special convention that "if" is interpreted to mean "if and only if" """. So its use really seems reserved for logical statements x = y iff A ~ B outside of this I think if should be used. In my case "Returns true iff key is in s" this is english and iff reads as a typo. You'd be better off with => true iff s[key
    – Lex
    4 hours ago










3




3




Note that iff is only a "valid contraction" in specialized contexts such as philosophy and computer programming. Just because a word is in the dictionary does not mean it is commonly used or widely understood. I have never come across iff in a newspaper that I can remember. Secondly, why if and iff are not equivalent is a matter of logic, not English. If it rains, the road will be wet is different from Iff it rains, the road will be wet, because in the former, the road could also be wet from lawn sprinklers.
– choster
5 hours ago




Note that iff is only a "valid contraction" in specialized contexts such as philosophy and computer programming. Just because a word is in the dictionary does not mean it is commonly used or widely understood. I have never come across iff in a newspaper that I can remember. Secondly, why if and iff are not equivalent is a matter of logic, not English. If it rains, the road will be wet is different from Iff it rains, the road will be wet, because in the former, the road could also be wet from lawn sprinklers.
– choster
5 hours ago












I'm voting to close this question as off-topic because it is a question about a logical formulation, and not about the English language.
– choster
4 hours ago




I'm voting to close this question as off-topic because it is a question about a logical formulation, and not about the English language.
– choster
4 hours ago












@choster Maybe but it could be good for other programmers to reference. Some people seem to think it is a real word. As does dictionary.com. I got into confusion in a pull request as a maintainer believes this is a real word and is using it in general documentation. Which lead me down this rabbit hole to clarify.
– Lex
4 hours ago






@choster Maybe but it could be good for other programmers to reference. Some people seem to think it is a real word. As does dictionary.com. I got into confusion in a pull request as a maintainer believes this is a real word and is using it in general documentation. Which lead me down this rabbit hole to clarify.
– Lex
4 hours ago














I'm hardly saying it isn't a "real" word. I'm saying that ordinary people do not have a need for it. Whether it is appropriate or not for your documentation depends on who is going to be reading that documentation.
– choster
4 hours ago




I'm hardly saying it isn't a "real" word. I'm saying that ordinary people do not have a need for it. Whether it is appropriate or not for your documentation depends on who is going to be reading that documentation.
– choster
4 hours ago












@choster From wikipedia """"...often, mathematical definitions follow the special convention that "if" is interpreted to mean "if and only if" """. So its use really seems reserved for logical statements x = y iff A ~ B outside of this I think if should be used. In my case "Returns true iff key is in s" this is english and iff reads as a typo. You'd be better off with => true iff s[key
– Lex
4 hours ago






@choster From wikipedia """"...often, mathematical definitions follow the special convention that "if" is interpreted to mean "if and only if" """. So its use really seems reserved for logical statements x = y iff A ~ B outside of this I think if should be used. In my case "Returns true iff key is in s" this is english and iff reads as a typo. You'd be better off with => true iff s[key
– Lex
4 hours ago












1 Answer
1






active

oldest

votes


















5














I agree with your assumption and not with Dictionary.com. Like XOR, iff should only be used in a mathematical or philosophical context. In normal English prose, "iff" is not a word, it's a typo.



You cannot use the abbreviation "iff" in the body of a business letter, or a newspaper article, or a history textbook. iff is not really a contraction. Unlike can't, which you'd pronounce kant, when reading iff aloud, you would not pronounce it if (or iffff), you would say, "if and only if." This makes it a special kind of abbreviation, which can't be pronounced in its abbreviated form.



OK, so what does it mean in mathematics, or philosophy?



This Wikipedia article is pretty good: "If and only if"



Here's how they've contrasted if and only if from if and from only if:




"Madison will eat the fruit if it is an apple."



This states that Madison will eat fruits that are apples. It does not, however, exclude the possibility that Madison might also eat bananas or other types of fruit. All that is known for certain is that she will eat any and all apples that she happens upon. That the fruit is an apple is a sufficient condition for Madison to eat the fruit.




In other words, any time Madison encounters an apple, she will eat it. If she encounters a pear or a banana, we don't know what she will do.




"Madison will eat the fruit only if it is an apple."



This states that the only fruit Madison will eat is an apple. It does not, however, exclude the possibility that Madison will refuse an apple if it is made available, in contrast with (1), which requires Madison to eat any available apple. In this case, that a given fruit is an apple is a necessary condition for Madison to be eating it. It is not a sufficient condition since Madison might not eat all the apples she is given.




In other words, if Madison encounters a pear or a banana, she will definitely not eat it. If she encounters an apple, she may eat it, but she may not.




"Madison will eat the fruit if and only if it is an apple"



This statement makes it clear that Madison will eat all and only those fruits that are apples. She will not leave any apple uneaten, and she will not eat any other type of fruit. That a given fruit is an apple is both a necessary and a sufficient condition for Madison to eat the fruit.




In other words, if Madison encounters an apple, she will definitely eat it. If she encounters a pear or a banana, she definitely will not eat it.






share|improve this answer





















    Your Answer








    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "97"
    };
    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',
    autoActivateHeartbeat: false,
    convertImagesToLinks: false,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: null,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    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%2fenglish.stackexchange.com%2fquestions%2f478019%2fhow-is-iff-different-from-if%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    5














    I agree with your assumption and not with Dictionary.com. Like XOR, iff should only be used in a mathematical or philosophical context. In normal English prose, "iff" is not a word, it's a typo.



    You cannot use the abbreviation "iff" in the body of a business letter, or a newspaper article, or a history textbook. iff is not really a contraction. Unlike can't, which you'd pronounce kant, when reading iff aloud, you would not pronounce it if (or iffff), you would say, "if and only if." This makes it a special kind of abbreviation, which can't be pronounced in its abbreviated form.



    OK, so what does it mean in mathematics, or philosophy?



    This Wikipedia article is pretty good: "If and only if"



    Here's how they've contrasted if and only if from if and from only if:




    "Madison will eat the fruit if it is an apple."



    This states that Madison will eat fruits that are apples. It does not, however, exclude the possibility that Madison might also eat bananas or other types of fruit. All that is known for certain is that she will eat any and all apples that she happens upon. That the fruit is an apple is a sufficient condition for Madison to eat the fruit.




    In other words, any time Madison encounters an apple, she will eat it. If she encounters a pear or a banana, we don't know what she will do.




    "Madison will eat the fruit only if it is an apple."



    This states that the only fruit Madison will eat is an apple. It does not, however, exclude the possibility that Madison will refuse an apple if it is made available, in contrast with (1), which requires Madison to eat any available apple. In this case, that a given fruit is an apple is a necessary condition for Madison to be eating it. It is not a sufficient condition since Madison might not eat all the apples she is given.




    In other words, if Madison encounters a pear or a banana, she will definitely not eat it. If she encounters an apple, she may eat it, but she may not.




    "Madison will eat the fruit if and only if it is an apple"



    This statement makes it clear that Madison will eat all and only those fruits that are apples. She will not leave any apple uneaten, and she will not eat any other type of fruit. That a given fruit is an apple is both a necessary and a sufficient condition for Madison to eat the fruit.




    In other words, if Madison encounters an apple, she will definitely eat it. If she encounters a pear or a banana, she definitely will not eat it.






    share|improve this answer


























      5














      I agree with your assumption and not with Dictionary.com. Like XOR, iff should only be used in a mathematical or philosophical context. In normal English prose, "iff" is not a word, it's a typo.



      You cannot use the abbreviation "iff" in the body of a business letter, or a newspaper article, or a history textbook. iff is not really a contraction. Unlike can't, which you'd pronounce kant, when reading iff aloud, you would not pronounce it if (or iffff), you would say, "if and only if." This makes it a special kind of abbreviation, which can't be pronounced in its abbreviated form.



      OK, so what does it mean in mathematics, or philosophy?



      This Wikipedia article is pretty good: "If and only if"



      Here's how they've contrasted if and only if from if and from only if:




      "Madison will eat the fruit if it is an apple."



      This states that Madison will eat fruits that are apples. It does not, however, exclude the possibility that Madison might also eat bananas or other types of fruit. All that is known for certain is that she will eat any and all apples that she happens upon. That the fruit is an apple is a sufficient condition for Madison to eat the fruit.




      In other words, any time Madison encounters an apple, she will eat it. If she encounters a pear or a banana, we don't know what she will do.




      "Madison will eat the fruit only if it is an apple."



      This states that the only fruit Madison will eat is an apple. It does not, however, exclude the possibility that Madison will refuse an apple if it is made available, in contrast with (1), which requires Madison to eat any available apple. In this case, that a given fruit is an apple is a necessary condition for Madison to be eating it. It is not a sufficient condition since Madison might not eat all the apples she is given.




      In other words, if Madison encounters a pear or a banana, she will definitely not eat it. If she encounters an apple, she may eat it, but she may not.




      "Madison will eat the fruit if and only if it is an apple"



      This statement makes it clear that Madison will eat all and only those fruits that are apples. She will not leave any apple uneaten, and she will not eat any other type of fruit. That a given fruit is an apple is both a necessary and a sufficient condition for Madison to eat the fruit.




      In other words, if Madison encounters an apple, she will definitely eat it. If she encounters a pear or a banana, she definitely will not eat it.






      share|improve this answer
























        5












        5








        5






        I agree with your assumption and not with Dictionary.com. Like XOR, iff should only be used in a mathematical or philosophical context. In normal English prose, "iff" is not a word, it's a typo.



        You cannot use the abbreviation "iff" in the body of a business letter, or a newspaper article, or a history textbook. iff is not really a contraction. Unlike can't, which you'd pronounce kant, when reading iff aloud, you would not pronounce it if (or iffff), you would say, "if and only if." This makes it a special kind of abbreviation, which can't be pronounced in its abbreviated form.



        OK, so what does it mean in mathematics, or philosophy?



        This Wikipedia article is pretty good: "If and only if"



        Here's how they've contrasted if and only if from if and from only if:




        "Madison will eat the fruit if it is an apple."



        This states that Madison will eat fruits that are apples. It does not, however, exclude the possibility that Madison might also eat bananas or other types of fruit. All that is known for certain is that she will eat any and all apples that she happens upon. That the fruit is an apple is a sufficient condition for Madison to eat the fruit.




        In other words, any time Madison encounters an apple, she will eat it. If she encounters a pear or a banana, we don't know what she will do.




        "Madison will eat the fruit only if it is an apple."



        This states that the only fruit Madison will eat is an apple. It does not, however, exclude the possibility that Madison will refuse an apple if it is made available, in contrast with (1), which requires Madison to eat any available apple. In this case, that a given fruit is an apple is a necessary condition for Madison to be eating it. It is not a sufficient condition since Madison might not eat all the apples she is given.




        In other words, if Madison encounters a pear or a banana, she will definitely not eat it. If she encounters an apple, she may eat it, but she may not.




        "Madison will eat the fruit if and only if it is an apple"



        This statement makes it clear that Madison will eat all and only those fruits that are apples. She will not leave any apple uneaten, and she will not eat any other type of fruit. That a given fruit is an apple is both a necessary and a sufficient condition for Madison to eat the fruit.




        In other words, if Madison encounters an apple, she will definitely eat it. If she encounters a pear or a banana, she definitely will not eat it.






        share|improve this answer












        I agree with your assumption and not with Dictionary.com. Like XOR, iff should only be used in a mathematical or philosophical context. In normal English prose, "iff" is not a word, it's a typo.



        You cannot use the abbreviation "iff" in the body of a business letter, or a newspaper article, or a history textbook. iff is not really a contraction. Unlike can't, which you'd pronounce kant, when reading iff aloud, you would not pronounce it if (or iffff), you would say, "if and only if." This makes it a special kind of abbreviation, which can't be pronounced in its abbreviated form.



        OK, so what does it mean in mathematics, or philosophy?



        This Wikipedia article is pretty good: "If and only if"



        Here's how they've contrasted if and only if from if and from only if:




        "Madison will eat the fruit if it is an apple."



        This states that Madison will eat fruits that are apples. It does not, however, exclude the possibility that Madison might also eat bananas or other types of fruit. All that is known for certain is that she will eat any and all apples that she happens upon. That the fruit is an apple is a sufficient condition for Madison to eat the fruit.




        In other words, any time Madison encounters an apple, she will eat it. If she encounters a pear or a banana, we don't know what she will do.




        "Madison will eat the fruit only if it is an apple."



        This states that the only fruit Madison will eat is an apple. It does not, however, exclude the possibility that Madison will refuse an apple if it is made available, in contrast with (1), which requires Madison to eat any available apple. In this case, that a given fruit is an apple is a necessary condition for Madison to be eating it. It is not a sufficient condition since Madison might not eat all the apples she is given.




        In other words, if Madison encounters a pear or a banana, she will definitely not eat it. If she encounters an apple, she may eat it, but she may not.




        "Madison will eat the fruit if and only if it is an apple"



        This statement makes it clear that Madison will eat all and only those fruits that are apples. She will not leave any apple uneaten, and she will not eat any other type of fruit. That a given fruit is an apple is both a necessary and a sufficient condition for Madison to eat the fruit.




        In other words, if Madison encounters an apple, she will definitely eat it. If she encounters a pear or a banana, she definitely will not eat it.







        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered 5 hours ago









        Juhasz

        80715




        80715






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to English Language & Usage Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fenglish.stackexchange.com%2fquestions%2f478019%2fhow-is-iff-different-from-if%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            サソリ

            広島県道265号伴広島線

            Setup Asymptote in Texstudio