CONECTIVIDAD LOGICA

CONECTIVIDAD LOGICA
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 elvalor deverdad 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 decontrol 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 yla 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 conlas conectivas más usuales y su definición mediante tablas de verdad:
CONECTIVAS LÓGICAS
Se definen básicamente 5 elementos cuyos propósitos son enlazar las proposiciones simples o atómicas:
LaCONJUNCIÓN: La conjunción se representa por v y se lee y.
La DISYUNCIÓN: Se divide en disyunción inclusiva que se representa por w y se lee o; o también se lee como uno u otro o ambos. La disyunciónexclusiva se representa por ¹ y se lee como O exclusiva, o también como uno u otro pero no ambos.
CONDICIONAL: Se representa por medio de una flecha 6 y se lee si.....entonces.....
BICONDICIONAL: Serepresenta por º o ø (relación de equivalencia) y se lee .....si y sólo si....., o también como condición necesaria y suficiente.
NEGACIÓN: Se lee como no, es falso que, no es verdad que; y hay muchas formasde representarlo (', $ ,...)

SIGNIFICADO DE LAS CONECTIVAS LÓGICAS
Las conectivas de la lógica son operadores de proposiciones, que precisamente por afectarlas de manera diferente poseen un...