Lgica Matemtica

La lgica matemtica es la disciplina que trata de mtodos de

razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas
para determinar si es o no valido un argumento dado. El razonamiento lgico
se emplea en matemticas para demostrar teoremas; en ciencias de la
computacin para verificar si son o no correctos los programas; en las ciencias
fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias
sociales y en la vida cotidiana, para resolver una multitud de prolemas.
!iertamente se usa en forma constante el razonamiento lgico para realizar
cualquier actividad.

Tema 1: Algebra de Boole y Leyes de la Lgica

lgebra de Boole: "eorge #oole $%&%'(%&)*+, ,ace ms de %-- a.os logro
traducir, utilizando un procedimiento formal, la lgica de los trminos a una
teora de ecuaciones, por lo cual es conocido como el /adre de la Lgica
0oderna. 1firma 0oiss !,ong en su citada ora que 2el aporte de la ora de
#oole, conocido como 1lgera #ooleana, consiste en un vasto movimiento de
formalizacin del lengua3e lgico y, por consiguiente, el intento de que la
validez de toda aseveracin est en funcin matemtica, dando lugar a la
lgica simlica, que ,a venido a servir como procedimiento fructfero en el
campo de la investigacin y la demostracin cientfica. El simolismo lgico se
,a llegado a convertir en una especie de culminacin, formalizadora,
permitiendo, as, que la lgica sea tratada como un calculo, pudindose de este
modo analizar sus posiilidades, formas, etc., con la misma o3etividad y
precisin, orden y claridad que ,asta ,ace muc,o parecan patrimonio del
matemtico.2
4e esta conclusin, puede afirmarse entonces, que el aporte de #oole.
!ontriuy a simplificar el lengua3e corriente natural de los puelos $espa.ol,
ingls, ruso, etc.+, a quedarse tan slo con el esqueleto lgico de una o varias
expresiones dadas, sin que ,aya lugar a la menor suposicin psicolgica, y
eliminando as todo contenido anmico que pudiera deformar las expresiones
en su contenido conceptual. 4esde este punto de vista, la lgica simlica
usca la superacin de todos los defectos tradicionales del lengua3e. 1 su vez,
se desinteresa del requisito de la verdad de lo que se afirma, en el sentido de
que no se preocupa de decirle a uno qu afirmaciones son verdaderas, sino
que simplemente propone darnos criterios que garanticen ,asta donde sea
posile, la verdad de determinadas proposiciones si algunas otras lo son,
llegando as a estalecer reglas generales, las cuales no se ocupan de una
determinada demostracin, sino que se refiere a con3untos enteros sin
interesarse por el contenido fctico de si, por e3emplo, es verdad que 2los
cuadr5pedos son animales2 o si 2Euclides fue un gran matemtico2
4entro de estas orientaciones, existen trminos que no poseen
significado propio, signo que desempe.an una determinada funcin y que
estalecen siempre conexiones o ien, precisin al mito a que se refieren a
otros trminos de una proposicin. 6e trata de los conectores o conectivas
tales como 2algunos2, 2y2, 2o2, 2no2, 2pero2, 2si,7entonces2, etc. 1,ora ien dentro
de una proposicin dada sucede que ciertos nomres, categoremticos en este
caso, podemos reemplazarlos por 2 variales2, esto es, por letras y que dan
lugar a expresiones que no designan o se.alan nada determinado y que
pueden volver a indicar algo cuando sus variales son reemplazadas de nuevo
por nomres.
1firma el filosofo paname.o 0oiss !,ong en su ora ya citada
anteriormente lo siguiente8 2igualmente saemos que la introduccin de
smolos constantes y ien determinados en lugar de expresiones
sincategoremticas como 2y2, 2no2, 2o2, etc., no modifica sustancialmente del
procedimiento formal pero, en camio, nos lleva a prescindir a5n ms de los
contenidos. !uando se introducen, como veremos ms adelante, smolos, se
ofrecen venta3as sicas que nos convencen ms todava de la importancia y
valor de su uso. 6in emargo, no ,ay que confundir formalismo y simolismo,
puesto que es posile, y en efecto as lo es, que un sistema formal no sea
simlico, de la misma manera que podemos tener entre nosotros una escritura
puramente simlica que no represente o implique necesariamente una
formalizacin. Lo que si es cierto es que el simolismo aparece como resultado
de todo el milenario esfuerzo de la llamada lgica formal.-.2
1 partir de estas concepciones tericas la lgica simlica o algera
ooleana permiti traducir las expresiones en lengua3e natural a smolos
matemticos y estaleci as las ases para el posterior desarrollo de la
informtica y las computadoras.

LEYES:
Ley de Idempotencia: En matemtica, la idempotencia es la propiedad
para realizar una accin determinada varias veces y a5n as conseguir el
mismo resultado que se otendra si se realizase una sola vez. 9n elemento
que cumple esta propiedad es un elemento idempotente, o un idempotente. 4e
esta manera, si un elemento al multiplicarse por s mismo sucesivas veces da
l mismo, este elemento es idempotente. /or e3emplo, los dos 5nicos n5meros
reales que son idempotentes son - y %.
:ormalmente, si 6 es un magma, es decir, un con3unto con una
operacin inaria ;, entonces un elemento se dice idempotente si s ; s < s. 6i
todo s fuese idempotente a3o ;, entonces la operacin en s se denominara
operacin idempotente.
En particular, cualquier elemento identidad es un idempotente a3o ;.
Eemplo:
a. a< a
. a = a< a
Ley de Identidad: El principio de identidad es una ley lgica que, 3unto al
principio de no contradiccin y al principio del tercero excluido, constituye las
ases de la lgica aristotlica clsica.
El principio de identidad indica que 1 < 1. !ae notar que toda reflexin
supone el principio de identidad, que es una tautologa.
6e lo atriuye a menudo a 1ristteles, pero ninguna referencia a l existe
,asta despus de 6anto >oms en el siglo ?@@@. En el 6iglo ?A@@, la referencia a
esta ley era com5n entre los filsofos, y es proale que ,aya sido tomada de
las ense.anzas de 1ristteles durante la 1lta

Eemplo:
Ley de !omplementacin: La propiedad de complementacin o de
negacin estalece que todo elemento del con3unto tiene un elemento simtrico
o negado, de forma que la suma o el producto lgico de cada elemento con su
negado proporciona el elemento neutro correspondiente8
1 = 1< %
1 . 1< -

Es decir; negar o complementar una expresin o funcin lgica significa
camiar todos los unos por ceros, los ceros por unos, las sumas por productos,
los productos por sumas, las variales negadas por variales sin negar y las sin
negar por negadas.
E3emplo8 $1=-+. # $1=-+. #< $1.%+=#
/or tanto, si el resultado de una funcin lgica es %, el de la
complementada ser -
Ley de In"ol#cin: Esta ley es una de las mas importantes del algera
de #oole por su utilidad en aplicaciones practicas. La ley de involucin
estalece que al negar dos veces una expresin se vuelve a otener la
expresin original. La ley de involucin sigue siendo vlida para cualquier
n5mero par de inversiones.
E3emplos de aplicacin de esta ley serian8
1<1
$1=#+. !< $1=#+.!

Tema $: Lgica de %roposiciones
Lgica de %roposiciones: La lgica de proposiciones es el antecedente
,istrico del algera de #oole y esta asada en la lgica clsica o tradicional.
La proposicin se define como una oracin declarativa que puede ser
verdadera o falsa. !uando una proposicin expresa una sola idea en su forma
ms simple, se dice que es una proposicin simple o atmica
La lgica proposicional es la ms antigua y simple de las formas de
lgica. 9tilizando una representacin primitiva del lengua3e, permite representar
y manipular aserciones sore el mundo que nos rodea. La lgica proposicional
permite el razonamiento, a travs de un mecanismo que primero eval5a
sentencias simples y luego sentencias comple3as, formadas mediante el uso de
conectivos proposicionales, por e3emplo B $1C4+, D $DE+. Este mecanismo
determina la veracidad de una sentencia comple3a, analizando los valores de
veracidad asignados a las sentencias simples que la conforman.
9na proposicin es una sentencia simple que tiene un valor asociado ya
sea de verdadero $A+, o falso $:+
La lgica proposicional, permite la asignacin de un valor verdadero o
falso para la sentencia completa, no tiene facilidad par analizar las palaras
individuales que componen la sentencia. /or este motivo, la representacin de
las sentencias del e3emplo, como proposiciones,
Las proposiciones pueden cominarse para expresar conceptos ms
comple3os.
La lgica proposicional es una rama de la lgica clsica que estudia las
proposiciones o sentencias lgicas, sus posiles evaluaciones de verdad y en
el caso ideal, su nivel asoluto de verdad.
La Lgica /roposicional $ L/+ trata con sentencias declarativas, las
cuales recien el nomre de proposiciones y son evaluadas de forma
excluyente como verdaderas o falsas. Las sentencias astractas del lengua3e
de la L/ se forma con reglas sintticas que cominan los smolos de
proposiciones. E3emplos de proposiciones son8 FFla tierra es redonda, FFla luna
gira alrededor de la tierra, FFGaime Eangel tiene el grado de doctor.
Las proposiciones en la lgica se denotan por smolos como /, H y E
que son llamados formulas atmicas o tomos. 4ic,as proposiciones pueden
ser compuestas usando los conectivos siguientes8
Cegacin
!on3uncin
4isyuncin
@mplicacin
6i y solo 6i.
El propsito de las reglas de construccin que constituyen la sintaxis es
permitir la especificacin comi nacional particulares llamadas formulas. El
lengua3e de la lgica proposicional es el con3unto de formulas para dar como
resultado las denominadas formulas ien formadas.

!onecti"os: 6e definen sicamente ' elementos cuyos propsitos son
enlazar las proposiciones simples o atmicas

%roposiciones Atmicas: /roposiciones 6imples y tamin denominadas
atmicas. 6on aquellas proposiciones que no se pueden dividir.
E3emplo8
El cielo es azul. $Aerdadero+
Comenclatura8 p
%roposiciones Molec#lares: /roposiciones !ompuestas y >amin
denominadas moleculares. 6on aquellas que estn formadas por dos o ms
proposiciones simples unidas por los operadores lgicos.
E3emplo8
(:ui al anco, pero el anco estaa cerrado.
(Los lectores de este liro son 3venes o universitarios.
(6i el mircoles prximo me saco la lotera entonces te regalar un auto.

&peradores Lgicos: Existen conectores u operadores lgicos que permiten
formar proposiciones compuestas $formadas por varias proposiciones+.
Los operadores o conectores sicos son8
Dperador and $y+8 6e utiliza para conectar dos proposiciones que se
deen cumplir para que se pueda otener un resultado verdadero. 6u smolo
es8
E3emplo8
6ea el siguiente enunciado
IEl coc,e enciende cuando tiene gasolina en el tanque y tiene corriente
la ateraJ
6ean8
p8 El coc,e enciende.
q8 >iene gasolina el tanque.
r8 >iene corriente la atera.
4e tal manera que la representacin del enunciado anterior usando
simologa lgica es como sigue8
q r
6u tala de verdad es como sigue8
q r q r
A A A
A : :
: A :
: : :
En la tala anterior el valor de q< v significa que el tanque tiene gasolina,
r< v significa que la atera tiene corriente y p < q r<v significa que el coc,e
puede encender. 6e puede notar que si q o r son falso implica que el auto no
tiene gasolina y que por lo tanto no puede encender.
Dperador Dr $o+8 !on este operador se otiene un resultado verdadero
cuando alguna de las proposiciones es verdadera. 6e indica por medio de los
siguientes smolos8 K ,=, L. 6e conoce como la suma lgica.
E3emplo8
6ea el siguiente enunciado8
I9na persona puede entrar al cine si compra su oleto u otiene un
paseJ
p8 Entra al cine.
q8 !ompra su oleto.
r8 Dtiene un pase.
q r q r
A A A
A : A
: A A
: : :
Dperador Cot $no+8 6u funcin es negar la proposicin. Esto significa que
s alguna proposicin es verdadera y se le aplica el operador not se otendr
su complemento o negacin $falso+. Este operador se indica por medio de los
siguientes smolos8 KM, N,( L.
E3emplo8
p N p
A :
: A
1dems de los operadores sicos $and, or y not+ existe el operador xor,
cuyo funcionamiento es seme3ante al operador or con la diferencia en que su
resultado es verdadero solamente si una de las proposiciones es cierta, cuando
amas son verdaderas el resultado es falso. En este momento ya se pueden
representar con notacin lgica enunciados ms comple3os.
E3emplo8
p8 Ooy es domingo.
q8 >engo que estudiar teoras del aprendiza3e.
r8 1proar el curso.
El enunciado8 IOoy es domingo y tengo que estudiar teoras de
aprendiza3e o no aproar el cursoJ.
6e puede representar simlicamente de la siguiente manera8
p q r
/or otro lado con ayuda de estos operadores sicos se pueden formar
los operadores compuestos Cand $cominacin de los operadores Cot y 1nd+,
Cor $comina operadores Cot y Dr+ y ?nor $resultado de ?or y Cot+.


Cotaciones8
6istema de signos convencionales que se adopta para expresar ciertos
conceptos de una disciplina concreta; como las notaciones lgicas

'ormas %roposicionales
Existen P formas proposicionales8
>autolgicas
!ontradicciones
:alacias
>autolgicas.( Es aquella forma proposicional que siempre da como
resultado verdadero.
!ontradicciones.( Es aquella forma proposicional que siempre da como
resultado falso.
:alacias o @ndeterminada.( Es aquella forma proposicional que siempre
es verdadera y falsa a la vez.



&peradores %roposicionales:
/roposiciones y operaciones lgicas.
9na proposicin o enunciado es una oracin que puede ser falso o
verdadero pero no amas a la vez. La proposicin es un elemento fundamental
de la lgica matemtica.
1 continuacin se tienen algunos e3emplos de proposiciones vlidas y no
vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las
proposiciones se indican por medio de una letra min5scula, dos puntos y la
proposicin propiamente dic,a.
E3emplo8
p8 La tierra es plana.
q8 (%Q = P& < R%
r8 x S y(T
s8 El 0orelia ser campen en la presente temporada de :ut(#ol.
t8 Oola Ucomo estasV
W8 Lava el coc,e por favor.
Los incisos p y q saemos que pueden tomar un valor de falso o
verdadero; por lo tanto son proposiciones validas. El inciso r tamin es una
proposicin valida, aunque el valor de falso o verdadero depende del valor
asignado a las variales x y y en determinado momento. La proposicin del
inciso s tamin esta perfectamente expresada aunque para decir si es falsa o
verdadera se tendra que esperar a que terminara la temporada de fut(oll. 6in
emargo los enunciados t y W no son vlidos, ya que no pueden tomar un valor
de falso o verdadero, uno de ellos es un saludo y el otro es una orden.