What I meant to ask was whether in the conditional, X→Y, when we say that Y is a necessary condition of X, if this means that Y is a prerequisite condition of X; that is, that it must be true before X can occur; or only whether it cannot fail to be true if X is true. Hope that helps clarify what I was trying to ask.

Your short answer here helped tremendously. It really is the heart of what my question was getting at.

I think your answer here clarifies things for me the most. As does Michael's answer. Thank you.

Alright, so what I gather for the most part from what everyone is saying is that formal logical argumentation or structure is unnecessary. A conclusion can reasonably be deduced from an argument, even if the argument is not formally formatted, provided that we can somehow "see" or clearly "detect" that the conclusion does indeed follow, though we may not formally know how it follows.