en que consiste leyes de inferencia
Las reglas de inferencia son reglas de transformación sintácticas que se pueden usar para inferir una conclusión a partir de una premisa para crear un argumento. Se puede utilizar un conjunto de reglas para inferir cualquier conclusión válida si es completa, mientras que nunca se infiere una conclusión válida, si no es segura. Un conjunto de reglas completo y seguro no necesita incluir todas las reglas de la siguiente lista, ya que muchas de las reglas son redundantes, y se pueden probar mediante las demás reglas.