Afirmación lógica

Afirmación lógica

Diagrama de Venn de la conectiva
Nomenclatura
Lenguaje natural A
Lenguaje formal
Tabla de verdad

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

[editar]

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

[editar]

Referencias

[editar]

Bibliografía

[editar]

Enlaces externos

[editar]
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.