No se ha añadido ninguna twiki todavía.

Enunciados de la lógica formalmente verdaderos, esto es, verdaderos para cualquier interpretación, o para cualquier asignación de los valores de verdad. Son por lo mismo tautologías y, en consecuencia, son formas válidas de razonar. Se distinguen de las reglas de inferencia, que son enunciados sobre cómo se aplican las leyes lógicas en una deducción válida. Las leyes lógicas pertenecen al lenguaje objeto de la lógica; las reglas de inferencia, al metalenguaje (ver reglas 1, reglas 2 y reglas 3).