En un silogismo, es una de las afirmaciones que lleva a una conclusión.

Una declaración de algo que se puede evaluar como verdadero o falso