Text de Deaño: Exemple de lleis i regles/es

Una ley y una regla son lo mismo, sólo que dicho de dos maneras distintas. Una ley es un enunciado de la lógica. Una regla, también. Pero una ley es el enunciado de un esquema válido de inferencia, mientras que una regla es el enunciado de una instrucción para realizar una inferencia válida. Los ejemplos señalarán mejor la diferencia entre unas y otras.

Tomemos una ley:

[math]\displaystyle{ [(p\rightarrow q)\wedge ¬q]\rightarrow ¬p }[/math]

Cualquier enunciado que tenga esta forma será verdadero, formalmente verdadero. Y, puesto que lo que acabamos de enunciar es una forma válida de inferencia, cualquier inferencia que posea esa estructura será una inferencia válida.

Pero hemos dicho que a cada ley corresponde una regla. He aquí la regla que corresponde a esa ley: «Si tomamos como premisas un condicional y la negación de su consecuente, podemos inferir la negación de su antecedente como conclusión».