What type is “إن كانت الشمس طالعة فالنهار موجود”?

Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts