Conditional

A conditional is a statement in the if-then form. Are used extensively in a form of logic called deductive reasoning.