derivar utilizando las fórmulas de implicación notable y equivalencias notables; además, se puede utilizar la prueba condicional y la prueba por reducción al absurdo