Actually in a formal logic sense your (dragonchild's) four statements are equivalent to manav's two. Or indeed the single statement:

You are absolutely and 100% correct. In the language of the Logical Calculus, my four statements are a verbose version of both manav's two statements and your one statement. However, most people, including most programmers, do not know the Logical Calculus. Coupled with the fact that logic expressed within natural language does not conform to the Logical Calculus and you can see why I would feel compelled to clarify manav's statements.

To further clarify, "implies" has both a formal and an informal definition. The formal definition is as you say. The informal definition for implies is much closer to "if and only if" than "if-then", manav's second statement nothwithstanding. Because the converse is implied when using "implies", I felt the need to explicate the four truth-possibilities, so that there would be no misunderstanding.

Being right, does not endow the right to be rude; politeness costs nothing.
Being unknowing, is not the same as being stupid.
Expressing a contrary opinion, whether to the individual or the group, is more often a sign of deeper thought than of cantankerous belligerence.
Do not mistake your goals as the only goals; your opinion as the only opinion; your confidence as correctness. Saying you know better is not the same as explaining you know better.

In reply to Re^4: "-e" and "-d" switches by dragonchild
in thread "-e" and "-d" switches by mosh

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post, it's "PerlMonks-approved HTML":


  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, details, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, summary, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.