Real general condition-general consequence conditional

From Teflpedia

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[edit | edit source]

  • 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.