<*logic*>
Every derivation, A1, A2,...An
therefore B, can
be re-expressed as a conditional statement, (A1 o A2 o
...o An)
=>B, called
the corresponding conditional of the argument.

[Glossary of First-Order Logic]

Try this search on OneLook / Google