la kaka

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órmulacompuesta 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 deun 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 depredicados
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas,representanoperaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables comoentidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con unvalor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo quedentro de este tipo de lógica puede analizarse la inferencia lógicade proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.2Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
Verdadero[
El valorverdadero se representa con la letra V; si se emplea notación numérica se expresa con un uno: 1; en un circuito eléctrico, el circuito está cerrado.


Falso[
El valor falso se representa con la...