Afirmación lógica |
---|
|
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
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
Referencias
Bibliografía
Enlaces externos