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[editar]
Referencias[editar]
- ↑ Rouse,
- ↑ Ruzsa, 2000, p. 16
| Control de autoridades |
|
|---|
Datos: Q2684591