Se puede derivar, según las reglas del sistema, como teorema consecuente de un condicional lógico partiendo de su antecedente.