Está en la página 1de 13

Lógica Matemática

La lógica matemática es la disciplina que trata de métodos de
razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas
para determinar si es o no valido un argumento dado. El razonamiento lógico
se emplea en matemáticas para demostrar teoremas; en ciencias de la
computación para verificar si son o no correctos los programas; en las ciencias
física 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 lógico para realizar
cualquier actividad.

Tema 1: Algebra de Boole y Leyes de la Lógica

Álgebra de Boole: "eorge #oole $%&%'(%&)*+, ,ace más de %-- a.os logro
traducir, utilizando un procedimiento formal, la lógica de los términos a una
teoría de ecuaciones, por lo cual es conocido como el /adre de la Lógica
0oderna. 1firma 0oisés !,ong en su citada ora que 2el aporte de la ora de
#oole, conocido como 1lgera #ooleana, consiste en un vasto movimiento de
formalización del lengua3e lógico y, por consiguiente, el intento de que la
validez de toda aseveración esté en función matemática, dando lugar a la
lógica simólica, que ,a venido a servir como procedimiento fructífero en el
campo de la investigación y la demostración científica. El simolismo lógico se
,a llegado a convertir en una especie de culminación, formalizadora,
permitiendo, así, que la lógica sea tratada como un calculo, pudiéndose de este
modo analizar sus posiilidades, formas, etc., con la misma o3etividad y
precisión, orden y claridad que ,asta ,ace muc,o parecían patrimonio del
matemático.2
4e esta conclusión, puede afirmarse entonces, que el aporte de #oole.
!ontriuyó a simplificar el lengua3e corriente natural de los puelos $espa.ol,
inglés, ruso, etc.+, a quedarse tan sólo con el esqueleto lógico de una o varias
expresiones dadas, sin que ,aya lugar a la menor suposición psicológica, y
eliminando así todo contenido anímico que pudiera deformar las expresiones
en su contenido conceptual. 4esde este punto de vista, la lógica simólica
usca la superación 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 demostración, sino que se refiere a con3untos enteros sin
interesarse por el contenido fáctico de si, por e3emplo, es verdad que 2los
cuadr5pedos son animales2 o si 2Euclides fue un gran matemático2
4entro de estas orientaciones, existen términos que no poseen
significado propio, signo que desempe.an una determinada función y que
estalecen siempre conexiones o ien, precisión al ámito a que se refieren a
otros términos de una proposición. 6e trata de los conectores o conectivas
tales como 2algunos2, 2y2, 2o2, 2no2, 2pero2, 2si,7entonces2, etc. 1,ora ien dentro
de una proposición dada sucede que ciertos nomres, categoremáticos 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 0oisés !,ong en su ora ya citada
anteriormente lo siguiente8 2igualmente saemos que la introducción de
símolos constantes y ien determinados en lugar de expresiones
sincategoremáticas como 2y2, 2no2, 2o2, etc., no modifica sustancialmente del
procedimiento formal pero, en camio, nos lleva a prescindir a5n más de los
contenidos. !uando se introducen, como veremos más adelante, símolos, se
ofrecen venta3as ásicas que nos convencen más todavía 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
simólico, de la misma manera que podemos tener entre nosotros una escritura
puramente simólica que no represente o implique necesariamente una
formalización. Lo que si es cierto es que el simolismo aparece como resultado
de todo el milenario esfuerzo de la llamada lógica formal.-.2
1 partir de estas concepciones teóricas la lógica simólica o algera
ooleana permitió traducir las expresiones en lengua3e natural a símolos
matemáticos y estaleció así las ases para el posterior desarrollo de la
informática y las computadoras.

LEYES:
Ley de Idempotencia: En matemática, la idempotencia es la propiedad
para realizar una acción determinada varias veces y a5n así conseguir el
mismo resultado que se otendría 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
operación inaria ;, entonces un elemento se dice idempotente si s ; s < s. 6i
todo s fuese idempotente a3o ;, entonces la operación en sí se denominaría
operación 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 lógica que, 3unto al
principio de no contradicción y al principio del tercero excluido, constituye las
ases de la lógica aristotélica clásica.
El principio de identidad indica que 1 < 1. !ae notar que toda reflexión
supone el principio de identidad, que es una tautología.
6e lo atriuye a menudo a 1ristóteles, pero ninguna referencia a él existe
,asta después de 6anto >omás en el siglo ?@@@. En el 6iglo ?A@@, la referencia a
esta ley era com5n entre los filósofos, y es proale que ,aya sido tomada de
las ense.anzas de 1ristóteles durante la 1lta

Eemplo:
Ley de !omplementación: La propiedad de complementación o de
negación estalece que todo elemento del con3unto tiene un elemento simétrico
o negado, de forma que la suma o el producto lógico de cada elemento con su
negado proporciona el elemento neutro correspondiente8
1 = 1< %
1 . 1< -

Es decir; negar o complementar una expresión o función lógica 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 función lógica es %, el de la
complementada será -
Ley de In"ol#ción: Esta ley es una de las mas importantes del algera
de #oole por su utilidad en aplicaciones practicas. La ley de involución
estalece que al negar dos veces una expresión se vuelve a otener la
expresión original. La ley de involución sigue siendo válida para cualquier
n5mero par de inversiones.
E3emplos de aplicación de esta ley serian8
1<1
$1=#+. !< $1=#+.!

Tema $: Lógica de %roposiciones
Lógica de %roposiciones: La lógica de proposiciones es el antecedente
,istórico del algera de #oole y esta asada en la lógica clásica o tradicional.
La proposición se define como una oración declarativa que puede ser
verdadera o falsa. !uando una proposición expresa una sola idea en su forma
más simple, se dice que es una proposición simple o atómica
La lógica proposicional es la más antigua y simple de las formas de
lógica. 9tilizando una representación primitiva del lengua3e, permite representar
y manipular aserciones sore el mundo que nos rodea. La lógica proposicional
permite el razonamiento, a través 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 proposición es una sentencia simple que tiene un valor asociado ya
sea de verdadero $A+, o falso $:+
La lógica proposicional, permite la asignación 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 representación de
las sentencias del e3emplo, como proposiciones,
Las proposiciones pueden cominarse para expresar conceptos más
comple3os.
La lógica proposicional es una rama de la lógica clásica que estudia las
proposiciones o sentencias lógicas, sus posiles evaluaciones de verdad y en
el caso ideal, su nivel asoluto de verdad.
La Lógica /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 sintéticas que cominan los símolos 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 lógica se denotan por símolos como /, H y E
que son llamados formulas atómicas o átomos. 4ic,as proposiciones pueden
ser compuestas usando los conectivos siguientes8
Cegación
!on3unción
4isyunción
@mplicación
6i y solo 6i.
El propósito de las reglas de construcción que constituyen la sintaxis es
permitir la especificación comi nacional particulares llamadas formulas. El
lengua3e de la lógica proposicional es el con3unto de formulas para dar como
resultado las denominadas formulas ien formadas.

!onecti"os: 6e definen ásicamente ' elementos cuyos propósitos son
enlazar las proposiciones simples o atómicas

%roposiciones Atómicas: /roposiciones 6imples y tamién denominadas
atómicas. 6on aquellas proposiciones que no se pueden dividir.
E3emplo8
El cielo es azul. $Aerdadero+
Comenclatura8 p
%roposiciones Molec#lares: /roposiciones !ompuestas y >amién
denominadas moleculares. 6on aquellas que están formadas por dos o más
proposiciones simples unidas por los operadores lógicos.
E3emplo8
(:ui al anco, pero el anco estaa cerrado.
(Los lectores de este liro son 3óvenes o universitarios.
(6i el miércoles próximo me saco la lotería entonces te regalaré un auto.

&peradores Lógicos: Existen conectores u operadores lógicos 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 símolo
es8 ∧
E3emplo8
6ea el siguiente enunciado
IEl coc,e enciende cuando tiene gasolina en el tanque y tiene corriente
la ateríaJ
6ean8
p8 El coc,e enciende.
q8 >iene gasolina el tanque.
r8 >iene corriente la atería.
4e tal manera que la representación del enunciado anterior usando
simología lógica 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 atería 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 símolos8 K ∨,=,∪ L. 6e conoce como la suma lógica.
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 función es negar la proposición. Esto significa que
sí alguna proposición es verdadera y se le aplica el operador not se otendrá
su complemento o negación $falso+. Este operador se indica por medio de los
siguientes símolos8 KM, N,( L.
E3emplo8
p N p
A :
: A
1demás 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 notación lógica enunciados más comple3os.
E3emplo8
p8 Ooy es domingo.
q8 >engo que estudiar teorías del aprendiza3e.
r8 1proaré el curso.
El enunciado8 IOoy es domingo y tengo que estudiar teorías de
aprendiza3e o no aproaré el cursoJ.
6e puede representar simólicamente de la siguiente manera8
p ∧ q ∨ r
/or otro lado con ayuda de estos operadores ásicos se pueden formar
los operadores compuestos Cand $cominación 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 lógicas

'ormas %roposicionales
Existen P formas proposicionales8
>autológicas
!ontradicciones
:alacias
>autológicas.( 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 lógicas.
9na proposición o enunciado es una oración que puede ser falso o
verdadero pero no amas a la vez. La proposición es un elemento fundamental
de la lógica matemática.
1 continuación se tienen algunos e3emplos de proposiciones válidas y no
válidas, y se explica el porqué algunos enunciados no son proposiciones. Las
proposiciones se indican por medio de una letra min5scula, dos puntos y la
proposición propiamente dic,a.
E3emplo8
p8 La tierra es plana.
q8 (%Q = P& < R%
r8 x S y(T
s8 El 0orelia será campeón 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 tamién es una
proposición valida, aunque el valor de falso o verdadero depende del valor
asignado a las variales x y y en determinado momento. La proposición del
inciso s tamién esta perfectamente expresada aunque para decir si es falsa o
verdadera se tendría que esperar a que terminara la temporada de fut(oll. 6in
emargo los enunciados t y W no son válidos, ya que no pueden tomar un valor
de falso o verdadero, uno de ellos es un saludo y el otro es una orden.