Definition:Conditional/Language of Conditional

Definition
The conditional has been discussed at great length throughout the ages, and a whole language has evolved around it. For now, here are a few definitions:

Strong
Thus we have the notion of certain theorems having a weak and a strong version.