Afirmación lógica

Afirmación lógica
Diagrama de Venn de la conectiva
Nomenclatura
Lenguaje natural	A
Lenguaje formal	${\displaystyle A}$
Tabla de verdad
${\displaystyle {\begin{array}{c||c}A&A\\\hline V&V\\F&F\\\end{array}}}$

Conectivas lógicas
Tautología ${\displaystyle \top }$ Conjunción opuesta ${\displaystyle \uparrow }$ Implicación opuesta ${\displaystyle \leftarrow }$ Condicional material ${\displaystyle \rightarrow }$ Disyunción lógica ${\displaystyle \lor }$ Negación lógica ${\displaystyle \lnot }$ Disyunción exclusiva ${\displaystyle \nleftrightarrow }$ Bicondicional ${\displaystyle \leftrightarrow }$ Disyunción opuesta ${\displaystyle \downarrow }$ Adjunción lógica ${\displaystyle \nrightarrow }$ Adjunción opuesta ${\displaystyle \nleftarrow }$ Conjunción lógica ${\displaystyle \land }$ Contradicción ${\displaystyle \bot }$

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.

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.