Mostra la font per a Text de Deaño: Exemple de lleis i regles

{{PendentRev}}{{RecursWiki|Tipus=Extractes d'obres}}{{RecursBase|Nom=Text de Deaño: Exemple de lleis i regles|Idioma=Español}}

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 a realitzar una inferència vàlida. Els exemples assenyalaran millor la diferència entre les unes i les altres.


Prenguem una llei:<br>

<center><math>[(p\rightarrow q)\wedge ¬q]\rightarrow ¬p</math></center><br>


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ó».
{{Ref|Ref=A. Deaño, ''Introducción a la lógica formal'', Alianza, Madrid 1978, p. 134.|Cita=true}}
{{InfoWiki}}