Claims of the form "if A, then B" are called conditional claims.

From these two premises it can be logically concluded that Q, the consequent of the conditional claim, must be true as well.

The first premise is the "if-then" or Logical conditional claim, namely that P implies Q.

It is not obvious, although it may be true, that the ideas that a causal circumstance made its effect happen, and explained it, and that the effect depended on the circumstance, somehow come to no more than these independent conditional claims.