Declaración (lógica)

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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.[1][2]

Véase también[editar]

Referencias[editar]