Ciencia

Definición de Lógica simbólica 
La lógica simbólica es un sistema formal que analiza los signos y lo que designan. El positivismo lógico entiende que el significado es la relación que existe entre las palabras y las cosas, y su estudio tiene un fundamento empírico: puesto que el lenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan con cosas y hechos. Ahora bien, la lógicasimbólica usa una notación matemática para establecer lo que designan los signos, y lo hace de forma más precisa y clara que la lengua también constituye por sí misma un lenguaje, concretamente un metalenguaje (lenguaje técnico formal) que se emplea para hablar de la lengua como si de otro objeto se tratara: la lengua es objeto de un determinado estudio semántico. Una de las figuras más destacadasdel Círculo de Viena, el filósofo alemán Rudolf Carnap, realizó su más importante contribución a la semántica filosófica cuando desarrolló la lógica simbólica
El objeto de estudio de la lógica 
La lógica es una ciencia y su objeto de estudio lo constituyen las formas, estructuras o esquemas del pensamiento. Si comparamos los siguientes ejemplos de pensamientos, encontraremos que puedenreferirse a cosas muy diferentes (es decir, su contenido es variable), y sin embargo tienen estructuras comunes
Conectivos lógicos

En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes.
En programación se utilizan para combinarvalores 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.

Conjunción lógica
Una conjunción lógica (comúnmente simbolizada como Y o ) es, en lógica y matemáticas,un operador lógico que resulta en verdadero si los dos operadores son verdaderos.

Dado un conjunto universal U y una operación binaria interna conjunción , que representaremos :

Por la que definimos una aplicación que a cada par ordenado (a,b) de U por U se le asigna un c de U.

Para todo par ordenado (a, b) en U por U, se cumple que existe un único c en U, tal que c es el resultado de laconjunción lógica a y b.
Para dos entradas a y b, la tabla de verdad de la función conjunción es:
Disyunción inclusiva
En matemáticas, una disyunción lógica, comúnmente conocida como O, o bien como , es un operador lógico que resulta verdadero si cualquiera de los operadores es también verídico. El símbolo  es la inicial de la conjunción adversativa latina vel, que significa «o», «o bien».Disyunción exclusiva
El operador lógico Disyunción exclusiva también llamado o exclusivo, simbolizado como XOR, EOR, EXOR, ⊻ o ⊕ es un tipo de disyunción lógicade dos operandos que es verdad si solo un operando es verdad pero no ambos.
VALOR DE VERDAD DE LAS PROPOSICIONES COMPUESTAS
La Negación: si una proposición (sea simple o compuesta) es verdadera, su negación es falsa y viceversa. Ejemplo: siP es: “Constanza es un municipio de la Vega”, ~ P se leerá: “no es cierto que Constanza es un municipio de la Vega”.

La Conjunción: esta proposición solo es verdadera cuando las dos proposiciones que la forman son verdaderas, y en los demás casos será falsa.

La Disyunción Inclusiva: esta proposición es falsa únicamente cuando las dos proposiciones que la forman son falsa, en caso contrarioes verdadera.

La Disyunción Exclusiva: esta solo será verdadera cuando las dos proposiciones que la componen tienen diferentes valores de verdad, en caso contrario es falsa.

La Condicional o Implicación: una condicional solo es falsa cuando su antecedente es verdadero y el consecuente es falso; en lo demás casos la condicional es verdadera.

La Bicondicional o Doble Implicación: esta...