Conditional

The formal term in propositional calculus for the connective implies.

See also

Biconditional, Implies

Explore with Wolfram|Alpha

More things to try:

References

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, p. 13, 1997.

Referenced on Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Conditional." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Conditional.html

Subject classifications