Declaración (lógica)

En lógica, puede ser (a), una declaración una sentencia declarativa que puede ser verdadera o falsa y también que una (b) una sentencia que afirma que una declaración es verdadera o falsa. En el segundo caso, en una declaración es distinto de una sentencia y es solamente una formulación de una declaración, anque hay muchas otras formulaciones para expresar la misma declaración.