__________ is a type of statement that uses "if... then,..." as connective for a compound statement.

The term you're looking for is "conditional statement." A conditional statement is a logical statement that expresses a relationship between two propositions, typically structured in the form "if $p$ then $q$", where $p$ is the hypothesis or antecedent, and $q$ is the conclusion or consequent.

In essence, a conditional statement indicates that if the hypothesis $p$ is true, then the conclusion $q$ must also be true. However, the truth of $q$ does not depend solely on $p$; it can still be true regardless of the truth of $p$. This type of statement is foundational in various fields, including mathematics, computer science, philosophy, and logic, as it allows for the exploration of implications and logical deductions.

In logical terms, conditional statements are often represented as implications, and they form the basis for more complex logical structures and proofs. Understanding the behavior of these statements under different truth values is essential for reasoning and constructing valid arguments.