En el contexto de Aprende Lógica, 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.