La regla de modus ponens dice que si una premisa tiene la forma de condicional y la otra afirma el antecedente entonces es válida la inferencia que consiste en afirmar el consecuente:
P1: 
P2:
C:
Está basada en la tautología (que en un sistema axiomático completo es también una ley,
Apartado 3.2.2) llamada modus ponens: 
((( ) 
) )
En rigor, una cosa es la tautología, que es una sentencia en el lenguaje de la lógica, y otra la regla de inferencia que de ella se deriva, que es una norma para hacer deducciones y pertenece al metalenguaje («premisa» , «conclusión» , «regla» , etc. se refieren al lenguaje; por tanto son parte de un metalenguaje). No obstante utilizaremos el mismo nombre para ambas. El nombre es una forma abreviada de la expresión «modus ponendo ponens» con la que los lógicos medievales se referían a aquél modo de razonar mediante el cual afirmando (ponendo) el antecedente de un condicional se puede afirmar (ponens) su consecuente.
La regla de modus tollens dice que si se niega el consecuente de un condicional entonces se puede negar su antecedente:
P1:
P2: ¬
C: ¬
Está basada en 
((( ) ¬) ¬)
El nombre completo es «modus tollendo tollens» : negando (tollendo) el consecuente se puede negar (tollens) el antecedente.
La reglas de introducción de conjunción y disyunción permiten concluir la conjunción y la disyunción de dos premisas:
P1:
P2:
C1:
C2: 
Están basadas en 
(( ) ( )) y 
(( ) ( ))
La regla de eliminación de conjunción:
P:
C1:
C2:
Está basada en 
(( ) ) y 
(( ) )
La regla de encadenamiento:
P1:
P2: 
C:
Está basada en la transitividad del condicional: 
((( ) ( )) ( ))
Las reglas anteriores son intuitivamente «razonables» . He aquí otra que no lo es tanto, pero que como veremos nos va a resultar muy útil:
La regla de resolución:
P1:
P2: ¬
C:
Está basada en 
((( ) (¬ )) ( ))
Cualquier implicación lógica, y, por tanto, cualquier equivalencia, da lugar a una inferencia deductiva. Por ejemplo, la equivalencia (8) del Apartado 3.4.2 era:
( ( )) 
( ( ))
De aquí que podamos hacer las inferencias:
P: ( )
C: ( )
y
P: ( )
C: ( )
DIT-ETSIT-UPM