Técnicas fundamentales en el desarrollo de una justificación paso por paso de cómo una conclusión se sigue a partir de las premisas.
Las premisas son cada una de las proposiciones anteriores a la conclusión.
La conclusión es la consecuencia lógica de las premisas.
Reglas:
1. Modus Ponendo Ponens (MPP): Método que afirmando afirma; establece que si una implicación es cierta y además también su antecedente, entonces su consecuente es necesariamente verdadero.

2. Modus Tollendo Tollens (MTT): Método que negando niega; dice que si una implicación es verdadera y es falso su consecuente, entonces su consecuente será necesariamente falso.

3. Modus Tollendo Ponens (MTP): Método que negando afirma; si una disyunción es verdadera y una de sus proposiciones simples es falsa, entonces necesariamente la otra proposición será verdadera.