|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.
Are you posting in the right place? Check out Where do I post X? to know for sure.
Posts may use any of the Perl Monks Approved HTML tags. Currently these include the following:
<code> <a> <b> <big>
<blockquote> <br /> <dd>
<dl> <dt> <em> <font>
<h1> <h2> <h3> <h4>
<h5> <h6> <hr /> <i>
<li> <nbsp> <ol> <p>
<small> <strike> <strong>
<sub> <sup> <table>
<td> <th> <tr> <tt>
Snippets of code should be wrapped in
<code> tags not
<pre> tags. In fact, <pre>
tags should generally be avoided. If they must
be used, extreme care should be
taken to ensure that their contents do not
have long lines (<70 chars), in order to prevent
horizontal scrolling (and possible janitor
Want more info? How to link or
or How to display code and escape characters
are good places to start.