Real general condition-general consequence conditional
- “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.”)
- “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.