5 relaciones: Conectiva lógica, Disyunción, Lógica matemática, Lógica proposicional, Valor de verdad.
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!!: Vel y Conectiva lógica · Ver más »
Disyunción
Disyunción (del latín disiunctĭo, -ōnis 'desunión') significa separar o desunir.
¡Nuevo!!: Vel y Disyunción · 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!!: Vel y Lógica matemática · Ver más »
Lógica proposicional
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
¡Nuevo!!: Vel y Lógica proposicional · 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!!: Vel y Valor de verdad · Ver más »