conditional

"A implies B" is a conditional.

if and while are conditionals in some programming languages.

The former is called the law, which hath his promises, conditionals, and comminations or threats, accordingly; the other is called the gospel, or rather the free promises hanging not on conditions on our behalf, but simply on God's verity and mercy, althouh they require conditions, but not as hanging thereon; of which promises the gospel may well be called a publication.