INTRODUCCIN.

La lgica es
una ciencia
formal que
estudia
los
principios
de
la demostracin e inferencia vlida.
La
palabra
deriva
del griego
antiguo logik, que significa dotado de razn, intelectual, dialctico,
argumentativo,
que
a
su
vez
viene
de

(lgos),
palabra, pensamiento, idea, argumento, razn o principio.
La lgica tradicionalmente se consider una rama de la filosofa. Pero desde
finales del siglo XIX, su formalizacin simblica ha demostrado una ntima relacin
con las matemticas.. La lgica proposicional es la rama de la lgica que estudia
las variables proposicionales, las conectivas lgicas (
). Algunos
autores tambin la identifican con la lgica matemtica o la lgica simblica, ya
que utiliza una serie de smbolos especiales que la acercan al lenguaje
matemtico. Las proposiciones pueden ser verdaderas o falsas. En el siglo XX la
lgica ha pasado a ser principalmente la lgica simblica, un clculo definido
por smbolos y reglas de inferencia, lo que ha permitido su aplicacin a
la informtica.

CONECTIVOS Y OPERADORES.

CONECTIVOS LGICOS
En lgica, las palabras que se usan para relacionar proposiciones simples y formar
compuestas, se le conocen como conectivos lgicos. Son smbolos usados para
combinar. Los conectivos lgicos ms comunes son los conectivos
binarios (tambin llamados conectivos didicos) que unen dos frases, que pueden
ser consideradas los operandos de la funcin. Tambin es comn considerar a la
negacin como un conectivo mondico.
Las
conectivas
lgicas
son,
junto
con
los cuantificadores,
las
principales constantes lgicas de muchos sistemas lgicos, principalmente
la lgica proposicional y la lgica de predicados.
Los conectores lgicos son:
La conjuncin: nos permite realizar proposiciones p, q que es la operacin binaria
que tiene por resultado p y q, se representa por p ^ q, esta nos sirve para indicar
que se cumplen dos condiciones simultneamente.( terminode enlace Y)
La disyuncin: a diferencia de la conjuncin, 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 expresin P o Q , se representas p q sea
verdadera. La disyuncin 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 conjuncin y la disyuncin. El nico caso que resulta falso es cuando el primero
es verdadero y el segundo falso. Cabe sealar que este viene a ser el operador
ms importante en el proceso deductivo y que la mayora de las leyes de
inferencia y las propiedades en matemticas 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
proposicin;( p si y slo si q,) se representa por p q. Combinando los
operadores anteriores podemos formar nuevas expresiones.
La negacin: la negacin es un conectivo unitario, este operador lgico cambia el
valor de la verdad de las proposiciones de verdadero a falso o viceversa. En la
negacin tambin podemos encontrar dos tipos la negacin conjunta y alternativa.

OPERADORES
Los operadores lgicos nos proporcionan un resultado a partir de que se cumpla o
no
una
cierta
condicin.
El operador conjuncin (y) y el operador disyuncin (o) siempre actan sobre dos
operandos, mientras que, el operador negacin (no) slo acta sobre un
operando, o dicho de otra forma, es un operador monario.

Operadores

Orden
en que se evalan

Nombres

Ms
alta prioridad.
Las
expresiones
entre parntesis se evalan primero.
()

Parntesis
Corchetes

Exponente
a **)

(equiv.

(unario)

Menos unario
Multiplicacin
real
Divisin real

*
mod

==

Operadores matemticos
Entre
ellos
el
mismo
nivel de precedencia. Si hay varios se evalan
de izquierda a derecha.

/ div
Divisin
entera
o
cociente (div)
Residuo o resto entero
(mod)
Suma,
Resta

Operadores de desplazamiento de Registro

Desplazamiento a la izquierda o a la derecha
en un archivo o en una cadena de caracteres

DesplazamientoIzq,
DesplazamientoDer

<
>

Si
los
parntesis
estn anidados, la expresin ms interna se
evala
primero.
Si
hay
varios
pares de parntesis en el mismo nivel, se
evalan de izquierda a derecha.

Menor,
Operadores relacionales.
Menor o igual, Mayor, Si hay varios se evalan de izquierda a
Mayor o igual
derecha.
Entre
ellos
el
mismo
Igual,

Diferente o distinto de

No

No
lgico (not)

Y
lgico (and)

O
lgico (or)

Concatenacin

Asignacin

Operadores lgicos

Operador
de cadena
Permite
la
concatenacin de valores de tipo entero, real
o
lgico
con
valores
de
tipo
caracteres o con cadenas de caracteres
(string).
El
resultado
de
la
concatenacin es un string. Se utiliza
principalmente para crear mensajes.

Menor
prioridad. La asignacin de valores o
resultados
a
una
variable
o constante es la ltima operacin que se
realiza.