An antonym for “converse” Suppose you are proving $p \leftrightarrow q$. In your first paragraph you prove $p \rightarrow q$. Your second paragraph begins, “For the converse, assume $q$ holds.”
In this situation, we have a very precise way of referring to the statement $q \rightarrow p$: “the converse.” But we have no good way to refer to $p\rightarrow q$. Sometimes we say “the forward implication,” but I am not a big fan of this phrase and am wondering if there is a single latinate word which means the same thing. (Obverse? Inverse? Contrapositive? No, none of those mean “$p \rightarrow q$.”)
Granted, the word “converse” only works in context, since you are implicitly saying “the converse to $p \rightarrow q$,” and that context can only be inferred if you are using the word “converse” right after you have proven “$p \rightarrow q$.” But, anyway, I am simply asking if there is a better way to say “the forward implication.”
 A: Why do you need a special word? If you are proving $P\iff Q$ you can just talk about the statement $P\implies Q$ and its converse.
If you think about it, the converse (and inverse, and contrapositive, and negation) all implicitly refer to the original statement. It is not just "the converse" it is "the converse of the statement." 
You can't get around establishing what the statement is before you start saying "converse", so there is no sense avoiding it, and there does not really seem to be any evidence more terminology is needed for it, either.
Even if you don't buy that argument for some reason, you should still consider the possibility you are not using the words as they were intended. "Converse" is not really a label for $Q\implies P$, it is a statement about changing an existing statement, just like negation, inversion, and contraposition are. Would one similarly ask "what is the antonym of the contrapositive?" Probably not.
This is supported by the presentation on the wiki article on contraposition, where contraposition, inversion and conversion and negation are all thought of as things you can do to a given statement. 
A: It's not as nice as a simple statement but in each paragraph you can refer to the other p->q or q->p as the converse. I.e. the converse of the converse is the original.
A: I've seen in some proofs of $P\iff Q$:
"First, we prove the direct…
Where $P\implies Q$ is the direct.
A: (Prove) (the) "implication", "direction" or "direct implication" $p \to q$
