Afirmación lógica

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

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

• Lógica matemática
• Álgebra booleana
• Lógica proposicional

• Puerta lógica
• Circuitos de conmutación

• Lógica de Proposiciones. Universidad de Cádiz
• Apuntes de Lógica Matemática. Universidad de Cádiz
• Lógica Matemática. Lógica Matemática. UNIVERSIDAD AUTÓNOMA METROPOLITANA Archivado el 30 de julio de 2020 en Wayback Machine.
• LÓGICA MATEMÁTICA. Carlos Ivorra Castillo Archivado el 12 de julio de 2017 en Wayback Machine.