No se ha añadido ninguna twiki todavía.

(del latín enuntiatio, que traduce elgriego lógos apofantikós, oración categórica, la que puede ser verdadera o falsa)

En lógica conjunto de signos construido según reglas sintácticas susceptible de ser verdadero o falso y que expresa el contenido de una proposición.

Nótese que, en este caso, una pregunta, una exclamación o una orden no son enunciados, ya que dichas oraciones no son susceptibles de ser verdaderas o falsas. Así, la pregunta "¿qué día es hoy?" no es un enunciado, ya que no es ni verdadera ni falsa. Sí és una oración decir "hoy es martes", ya que puede ser verdadera (si es martes) o falsa (si no es martes). De los diferentes usos del lenguaje solamente el uso declarativo permite los enunciados. Por esta razón en lógica las variables "p, q, r, s,..." no pueden simbolizar preguntas, mandatos o exclamaciones.


Ejemplo

Los siguientes enunciados:

mater omnium bonarum artium sapientia est (Cicerón)
la saviesa és la mare de tot el que és bo
la sagesse est la mère de tout ce qui est bon


significan todos la proposición «la sabiduría es madre de todo lo bueno.