Afirmación lógica

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Afirmación lógica
Diagrama de Venn 03.svg
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