Los conectores logicos
Descargar como PPTX, PDF0 recomendaciones2,228 vistas
Las conectivas lógicas son símbolos o palabras que se utilizan para conectar fórmulas bien formadas o sentencias de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Las conectivas lógicas más comunes son los conectivos binarios que unen dos frases y también se considera a la negación como un conectivo monádico. Junto con los cuantificadores, las conectivas lógicas son las principales constantes lógicas de muchos sistemas lógic
1 de 5
Descargar para leer sin conexión
Más contenido relacionado
Destacado (20)
Publicidad
Similar a Los conectores logicos (20)
Publicidad
Los conectores logicos
- 2. En lógica, una conectiva lógica, o simplemente 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. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico. Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados. En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.