Afirmación lógica

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

Conectivas lógicas
Tautología $\top$ Conjunción opuesta $\uparrow$ Implicación opuesta $\leftarrow$ Condicional material $\rightarrow$ Disyunción lógica $\lor$ Negación lógica $\lnot$ Disyunción exclusiva $\nleftrightarrow$ Bicondicional $\leftrightarrow$ Afirmación lógica Disyunción opuesta $\downarrow$ Adjunción lógica $\nrightarrow$ Adjunción opuesta $\nleftarrow$ Conjunción lógica $\land$ Contradicción $\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.

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}}$

Véase también

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

• Puerta lógica
• Circuitos de conmutación

Enlaces externos

• 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.

• Datos: Q30905191