Declaración (lógica)

En lógica, una declaración puede ser:

  • (a) una sentencia declarativa con significación que puede ser verdadera o falsa, o
  • (b) una afirmación que es hecha por una sentencia declarativa verdadera o falsa.

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]

Véase también

Referencias
  1. Rouse,
  2. Ruzsa, 2000, p. 16
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.