Para inferior una sentencia se pueden utilizar reglas de inferencia, tales como: