En el sistema de los números reales se tiene el teorema " si formula_4, entonces formula_5 o formula_6", que conlleva la proposición contrapositiva " si formula_7 y formula_8 entonces formula_9 ".