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

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 }$ Afirmación lógica 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 }$
v t e

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 ${\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 Archivado el 12 de julio de 2017 en Wayback Machine.