Sin embargo, en lógica minimal (y por tanto también en lógica intuicionista) formula_12 sólo implica formula_13; y en lógica intuicionista (pero no en lógica minimal) formula_14 implica formula_12.