En particular, la reducción al absurdo, la implicación lógica, la equivalencia lógica, el modus ponens, el contrarecíproco de una proposición, etc.