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

LÓGICA MATEMÁTICA. Carlos Ivorra Castillo Archivado el 12 de julio de 2017 en Wayback Machine.