Real general condition-general consequence conditional

A real general condition-general consequence conditional is a type of real conditional found in English.

In this case, the condition is a general truth that is possible but presently unknown, and the consequence is also a general truth, in either of the following 2 general forms:

• “If X true, then Y is true.” (and therefore "if X is false, Y is false.”)
• “If X true, then Y is false.” (and therefore "if X is false, Y is true.”)

For example:

• “If mathematical conjecture A is true then mathematical conjecture B follows.”

CCQs

• Is the condition in the past, present, future or general time? General time.
• Is the consequence in the past, present, future or general time? General time.
• Do we know whether conjecture A is true or not? No.
• Can we replace "if" with other words (when, whenever, every time, etc?) no.

This superficially resembles a first conditional without will, or a zero condition.