INTRODUCCIÓN.

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική logikē, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), “palabra, pensamiento, idea, argumento, razón o principio”.

La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas.. La lógica proposicional es la rama de la lógica que estudia

las variables proposicionales, las conectivas lógicas ( ). Algunos autores también la identifican con la lógica matemática o la lógica simbólica, ya que utiliza una serie de símbolos especiales que la acercan al lenguaje matemático. Las proposiciones pueden ser verdaderas o falsas. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.

CONECTIVOS Y OPERADORES.

CONECTIVOS LÓGICOS

En lógica, las palabras que se usan para relacionar proposiciones simples y formar compuestas, se le conocen como conectivos lógicos. Son símbolos usados para combinar. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos 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 conectores lógicos son:

La conjunción: nos permite realizar proposiciones p, q que es la operación binaria que tiene por resultado p y q, se representa por p ^ q, esta nos sirve para indicar que se cumplen dos condiciones simultáneamente.( terminode enlace Y)

La disyunción: a diferencia de la conjunción, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdadera para que la expresión P o Q , se representas p ∨ q sea verdadera. La disyunción esta conformada por exclusiva e inclusiva. (termino de enlace O)

La condicional: podemos decir respecto a este operador binario, que lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso. Cabe señalar que este viene a ser el operador más importante en el proceso deductivo y que la mayoría de las leyes de inferencia y las propiedades en matemáticas se pueden enunciar utilizando este operador. ( si P entonces Q, y se representa P → Q)

La bicondicional: esta depende de dos proposiciones p, q que da lugar a la proposición;( p si y sólo si q,) se representa por p ↔ q. Combinando los operadores anteriores podemos formar nuevas expresiones.

La negación: la negación es un conectivo unitario, este operador lógico cambia el valor de la verdad de las proposiciones de verdadero a falso o viceversa. En la negación también podemos encontrar dos tipos la negación conjunta y alternativa.

OPERADORES

Los operadores lógicos nos proporcionan un resultado a partir de que se cumpla o no una cierta condición. El operador conjunción (y) y el operador disyunción (o) siempre actúan sobre dos operandos, mientras que, el operador negación (no) sólo actúa sobre un operando, o dicho de otra forma, es un operador monario.

Operadores NombresOrdenen que se evalúan

()Paréntesis óCorchetes

Másalta prioridad.Las expresionesentre paréntesis se evalúan primero.

Si los paréntesisestán anidados, la expresión más interna se evalúa primero. Si hay variospares de paréntesis en el mismo nivel, se evalúan de izquierda a derecha.

^Exponente (equiv.a    **)

Operadores matemáticosEntre ellos el mismonivel de precedencia. Si hay varios se evalúan de izquierda a derecha.

–(unario)

Menos unario

*  /  divmod

MultiplicaciónrealDivisión real

División entera ocociente (div)Residuo o resto entero (mod)

+    –Suma,Resta

DesplazamientoIzq,DesplazamientoDer

Operadores de desplazamiento de RegistroDesplazamiento a la izquierda o a la derechaen un archivo o en una cadena de caracteres

<   ≤>    ≥

Menor,Menor o igual, Mayor, Mayor o igual

Operadores relacionales.Si hay varios se evalúan de izquierda a derecha. Entre ellos el mismo

==    ≠ Igual,

Diferente o distinto de

NoNológico (not)

Operadores lógicosYYlógico (and)

OOlógico (or)

+ Concatenación

Operadorde cadenaPermite laconcatenación de valores de tipo entero, real o lógico con valores de tipocaracteres o con cadenas de caracteres (string). El resultado de laconcatenación es un string. Se utiliza principalmente para crear mensajes.

= Asignación

Menorprioridad. La asignación de valores o resultados a una variableo constante es la última operación que se realiza.