Declaración (lógica)

En lógica, una declaración puede ser: El primer caso difiere del segundo es que es solo una formulación de una declaración, aunque hay muchas otras formulaciones para expresar la misma declaración.[1]​[2]​