La afirmación es, en lógica , decir que asigna una cosa a otra, una afirmación que significa una determinada cosa a otra; se diferencia de la enunciación, que debe decir que una cosa pertenece o no a otra, a veces universalmente, a veces individualmente.
En matemáticas , los matemáticos alemanes Fritz Reinhardt y Heinrich Soeder definen la afirmación mediante la deducción de una proposición de otras proposiciones de acuerdo con ciertas reglas lógicas de razonamiento.