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