Afirmación lógica

Plantilla:Ficha de conectiva lógica {{#invoke:Sidebar|sidebar |class = plainlist |name = Conectivas lógicas |title = Conectivas lógicas |image = |content1 =

• Tautología $\mathrm{\top }$
• Conjunción opuesta $\uparrow$
• Implicación opuesta $\leftarrow$
• Condicional material $\to$
• Disyunción lógica $\vee$
• Negación lógica $\mathrm{\neg }$
• 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 $\wedge$
• Contradicción $\mathrm{\perp }$

}} 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 $𝒫$ el conjunto de proposiciones, y $a,b,c,d,\dots$ proposiciones de $𝒫$, se puede definir la operación unaria: afirmación, por la que a una variable $b$ de $𝒫$ se le asigna el valor de la variable $a$ de $𝒫$.

$\begin{array}{cccc}id:& 𝒫& ⟶& 𝒫\\ & 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 Plantilla:Wayback