Accions

Recurs

Text de Deaño: Exemple de lleis i regles

De Wikisofia

La revisió el 09:18, 17 set 2016 per Sofibot (discussió | contribucions) (adding es)

Text original editat en castellà.


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».


Text traduït al català (Traducció automàtica pendent de revisió).


Una llei i una regla són el mateix, només que dit de dues maneres diferents. Una llei és un enunciat de la lògica. Una regla, també. Però una llei és l'enunciat d'un esquema vàlid d'inferència, mentre que una regla és l'enunciat d'una instrucció per realitzar una inferència vàlida. Els exemples assenyalaran millor la diferència entre les unes i les altres.


Prenguem una llei:

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



Qualsevol enunciat que tingui aquesta forma serà veritable, formalment veritable. I, ja que el que acabem d'enunciar és una forma vàlida d'inferència, qualsevol inferència que posseeixi aquesta estructura serà una inferència vàlida.

Però hem dit que a cada llei correspon una regla. Heus aquí la regla que correspon a aquesta llei: «Si prenem com a premisses un condicional i la negació del seu conseqüent, podem inferir la negació del seu antecedent com a conclusió».

A. Deaño, Introducción a la lógica formal, Alianza, Madrid 1978, p. 134.

Original en castellà

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».