oatrujd

Conectiva lógica



En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas osentencias (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 sonlos 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 unario.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.
Índice
  [ocultar] 
1 Lenguajes
1.1 Lenguaje natural1.2 Lenguajes formales
2 Lista de conectivos lógicos comunes
2.1 Lista de conectivos lógicos comunes
2.2 Historia de las notaciones
3 Redundancia
4 Propiedades
5 Ciencias de la computación
6 Conectivaspor el número de argumentos
6.1 Sin argumentos
6.2 Con un argumento
6.3 Con dos argumentos
7 Véase también
8 Referencias
9 Otras lecturas
10 Enlaces externos
Lenguajes[editar]
Lenguajenatural[editar]
La gramática de los lenguajes naturales, dos frases pueden unirse mediante una conjunción gramatical para formar una oración gramaticalmente compuesta. Algunas de estas conjuncionesgramaticales, pero no todas, son funciones de verdad. Por ejemplo, considere las siguientes frases:
A: Juan subió la montaña.
B: Pedro subió a la montaña.
C: Juan subió a la montaña y Pedro se subió a lamontaña.
D: Juan subió la montaña, por lo tanto Pedro subió la montaña.
Las palabras y y entonces son conjunciones gramaticales que unen las oraciones (A) y (B) para formar las oraciones...