In
natural languages, an
indicative conditional is the
logical operation given by statements of the form "If A then B". Unlike the
material conditional, an indicative conditional does not have a stipulated definition. The philosophical literature on this operation is broad, and no clear consensus has been reached.