Los conectivos lógicos nos permiten definir operaciones con proposiciones. Son símbolos que enlazan dos o más proposiciones simples para formar una proposición compuesta.
En lógica, una conectiva lógica, o simplemente conectiva, 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 que unen dos frases, que pueden
ser consideradas los operando 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.
Los conectivos lógicos más comunes son los conectivos
binarios que unen dos frases, que pueden
ser consideradas los operando 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.
No hay comentarios.:
Publicar un comentario