TEMA 1 Colectivos lógico
En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se
utiliza para conectar dos fórmulas bien formadas (atómicas o moleculares), de
modo que el valor de verdad de la fórmula compuesta depende del valor de...
More
TEMA 1 Colectivos lógico
En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se
utiliza para conectar dos fórmulas bien formadas (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.
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.
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.
Conectivas
Las conectivas son funciones de verdad. Quiere decir que son funciones que
toman uno o dos valores de verdad, y devuelven un único valor de verdad. En
consecuencia, cada conectiva lógica puede ser definida mediante una tabla de
valores de verdad que indique qué valor devuelve la conectiva para cada
combinación de valores de verdad. A continuación hay una tabla
Less
