Ley

Nos refererimos a un a ley lógica como a una tautología. Hemos dividido nuestro estudio de las leyes lógicas en dos: las implicaciones tautológicas, que tienen la estrucutra A→B, y las equivalencias tautológicas, con la estructura A==B. (Véase equivalencia tautológica).