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 unes i altres.

Prenguem una llei:

Qualsevol enunciat que tingui aquesta forma serà vertader, formalment vertader. 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ó».