Afirmación lógica
# Afirmación lógica

En matemáticas, especialmente en lógica, una afirmación lógica es la presentación de una proposición o predicado lógico como su afirmación o su consideración como verdad cierta.

## Definición

Siendo ${\mathcal {P}}$ el conjunto de proposiciones, y $a,b,c,d,\dots$ proposiciones de ${\mathcal {P}}$, se puede definir la operación unaria: afirmación, por la que a una variable $b\,$ de ${\mathcal {P}}$ se le asigna el valor de la variable $a$ de ${\mathcal {P}}$.

    ${\begin{array}{rrcl}id:&{\mathcal {P}}&\longrightarrow &{\mathcal {P}}\\&a&\mapsto &b=id(a)\;\equiv \;b=a\end{array}}$
