En el contexto de Aprende Lógica, nos refererimos a una 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 estructura A→B, y las equivalencias tautológicas, con la estructura A≡B.
