9 relaciones: Alonzo Church, Conectiva lógica, Denotación, Función (matemática), Función booleana, Lógica clásica, Lógica matemática, Tabla de verdad, Valor de verdad.
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.
¡Nuevo!!: Función de verdad y Alonzo Church · Ver más »
Conectiva lógica
En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
¡Nuevo!!: Función de verdad y Conectiva lógica · Ver más »
Denotación
En semántica lingüística y filosofía del lenguaje, la denotación de una palabra o expresión es su sentido literal, aquella parte del significado cuya definición es más objetiva, es decir, no varía entre los hablantes.
¡Nuevo!!: Función de verdad y Denotación · Ver más »
Función (matemática)
En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.
¡Nuevo!!: Función de verdad y Función (matemática) · Ver más »
Función booleana
En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los valores binarios 0 o 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.
¡Nuevo!!: Función de verdad y Función booleana · Ver más »
Lógica clásica
Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios.
¡Nuevo!!: Función de verdad y Lógica clásica · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Función de verdad y Lógica matemática · Ver más »
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
¡Nuevo!!: Función de verdad y Tabla de verdad · Ver más »
Valor de verdad
En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.
¡Nuevo!!: Función de verdad y Valor de verdad · Ver más »