Conjunción opuesta

La conjunción opuesta es una operación binaria entre proposiciones o valores binarios, que puedan ser verdaderos o falsos, expresada así

${\displaystyle {\begin{array}{rccl}\uparrow$ :&{\mathcal {P}}\times {\mathcal {P}}&\longrightarrow &{\mathcal {P}}\\&(a,b)&\mapsto &c=a\uparrow b\end{array}}}

Siendo una aplicación matemática definida de ${\displaystyle {\mathcal {P}}\times {\mathcal {P}}}$ sobre ${\displaystyle {\mathcal {P}}}$, de modo que a cada par ordenado ${\displaystyle (a,b)\,}$ de ${\displaystyle {\mathcal {P}}\times {\mathcal {P}}}$ se le asocia un único ${\displaystyle c\,}$ de ${\displaystyle {\mathcal {P}}}$, expresado ${\displaystyle c=a\uparrow b}$.

${\displaystyle \forall (a,b)\in {\mathcal {P}}\times {\mathcal {P}}\quad$ :\quad \exists !\;c\in {\mathcal {P}}\quad /\quad c=a\uparrow b}

• Álgebra booleana
• Lógica proposicional
• puerta lógica
• Disyunción lógica
• Operador a nivel de bits

• Lógica de enunciados