## Pure Theory of One-Variable Calculus:

Thread #3: Minimalist Kernel

convention: Material Implication

Material implication is the phenomenon that if a proposition P is false, then the implication "P implies Q" is automatically true, no matter what proposition Q is. Although material implication seems strange, it is actually a convenient convention. Judiciously using it allows for conciseness, such as in the definition of a

(end of page)

**critical point of a function**.**Here is the link to some discussion about material implication at the Mathematics Stack Exchange website.**(end of page)