Afirmación lógica

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.

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}}}$
[editar datos en Wikidata]

Definición

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

Véase también

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

• Puerta lógica
• Circuitos de conmutación

Referencias

Bibliografía

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

•   Datos: Q30905191