Enunciaciones idénticamente verdaderas

Enunciaciones, expresiones o fórmulas de los cálculos lógicos que son verdaderas cualesquiera que sean los significados de veracidad de sus variables. De esta clase son todas las leyes de la lógica formal. Correspondientemente, las enunciaciones o fórmulas idénticamente falsas son falsas cualesquiera que sean los significados de veracidad de sus variables.