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 proposiciones de , se puede definir la operación unaria: afirmación, por la que a una variable de se le asigna el valor de la variable de .
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
Categoría:Conectivas lógicas