Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin.

Star Trek VI: El pas sin descubrir

** Lgica matemtica **
Introduccin
Lgica es el estudio del razonamiento; se refiere especficamente a si el razonamiento es correcto. La
lgica se centra en la relacin entre las afirmaciones y no en el contenido de una afirmacin en
particular. Considere, por ejemplo, el siguiente argumento:
Todos los matemticos usan sandalias
Cualquiera que use sandalias es un algebrista
Por lo tanto, todos los matemticos son algebristas.
En el sentido tcnico, la lgica no ayuda a determinar si alguna de estas afirmaciones es cierta; sin
embargo, si las primeras dos afirmaciones son ciertas, la lgica asegura que la afirmacin,
todos los matemticos son algebristas,
tambin es cierta.
Todos estamos familiarizados con la idea de que algunas personas poseen una mentalidad lgica
mientras que otras no. No siempre resulta sencillo seguir razonamientos o argumentos extensos para
obtener conclusiones vlidas.
Nosotros trabajamos con argumentos dentro de la lgica aristotlica, donde todo argumento debe ser
o verdadero o falso, no existe una tercera posibilidad. Para poder manejar y operar entre estos
argumentos, el lenguaje usual puede resultar ambiguo respecto a la validez de los argumentos.
La frase: Pon el sobre que te sobre, sobre la mesa, sugiere que la palabra sobre tiene tres diferentes
significados en la misma oracin. Por ello, se necesita de un lenguaje que sea ms preciso: la lgica
simblica. Su propsito consiste en establecer un nuevo lenguaje, el cual se pueda utilizar para
simplificar el anlisis de argumentos lgicos complicados.
La lgica simblica es la rama de las matemticas que nos permite reconocer la validez de una
argumentacin, as como tambin nos proporciona las herramientas de razonamiento necesarias para
elaborar demostraciones irrefutables y convincentes. Una parte importante de las matemticas son las
definiciones, stas en general no responden a la pregunta qu es?, sino a la pregunta qu
caracterstica tiene?
Adems, las definiciones tienen una parte conceptual (qu significa?) y una parte operativa (cmo
se trabaja?).

M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star Trek VI: El pas sin descubrir

Leibniz fue el primero en concebir este planteamiento, cuando a la edad de 14 aos intento reformar
la lgica clsica. En 1666, deseaba crear un mtodo general en el cual todas las verdades de la razn
seran reducidas a una especie de clculos, llamado a la lgica caracterstica universal.
El sueo de Leibniz no se realiz hasta que Boole separ los smbolos presentes en las operaciones
matemticas, de los conceptos sobre los cuales operaban y estableci un sistema factible y sencillo
de lgica simblica.

En 1854, Boole expuso sus ideas en su obra An Investigation of the Laws of Thought (Investigacin
de las leyes del pensamiento). Desgraciadamente, este trabajo no recibi buena aceptacin, y no fue
sino hasta que los ingleses Bertrand Rusell (1872-1970) y Alfred North Whitehead (1861-1947)
utilizaron la lgica simblica en su obra Principia Mathematica (1902), que el mundo de la matemtica
dio importancia a las ideas propuestas inicialmente por Leibniz alrededor de 250 aos antes.
El lgebra boolena constituye un rea de las matemticas que ha pasado a ocupar un lugar
prominente con el advenimiento de la computadora digital. Es usada ampliamente en el diseo de
circuitos de distribucin y computadoras; y, sus aplicaciones van en aumento en muchas otras reas.
En el nivel de lgica digital de una computadora, el hardware trabaja con diferencias de voltaje, las
cuales generan funciones que son calculadas por circuitos que forman el nivel.

M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star Trek VI: El pas sin descubrir

En esta seccin se tratar de responder a la pregunta cmo podemos llegar a ser ms lgicos? Se
pretende aplicar no solamente en el estudio de las ciencias, sino tambin en la vida cotidiana. Es
necesario poder comunicarse de manera inteligente con los dems; se requiere adquirir capacidad
para analizar los argumentos de nuestros dirigentes y legisladores; necesitamos ser consumidores
inteligentes para analizar las aseveraciones de los anunciantes. Bien sea que nos agrade o no, la
lgica es una parte importante del mundo que nos rodea y en esta seccin sentaremos las bases que
nos ayudarn a ser definitivamente ms lgicos.
Proposiciones
Definicin. Una proposicin es una oracin declarativa, o slo es verdadera o slo es falsa, pero no
ambas.
Ejemplo. Oraciones que son proposiciones.
1.- 5 es un nmero primo. (Verdadero)
2.- (-17+38)=21 (Verdadero)
3.- Todos los nmeros enteros son positivos. (Falso)
4.- El calor dilata los cuerpos (Verdadero)
5.- Juan ama la msica. (Verdadero)
6.- La msica es amada por Juan. (Verdadero)
7.- x es un nmero impar: x N, es una proposicin porque con cada nmero natural que se
reemplace a la x la oracin ser, o falsa o verdadera.
8.- Un tringulo equiltero es issceles. (Falso)
9.- 3+9=6x; xN, es una proposicin porque con cada nmero natural que se reemplace a la x la
oracin ser, o falsa o verdadera.
10.- 9 es un factor de 27. (Verdadera)
11.- Monterrey es un estado de la Repblica Mexicana. (Falso)

A aquellas proposiciones de las que inmediatamente se puede decir si son verdaderas o son
falsas las llamaremos Proposiciones Simples. De ellas se dice que tienen un valor de verdad,
Verdadero o Falso. Usualmente al valor de verdadero se lo asocia con: 1, V, T, True; mientras
que el valor falso se lo asocia con: 0, F, False.

Las oraciones imperativas, exclamativas e interrogativas no son proposiciones

Ejemplo. Oraciones que son no proposiciones.
1.- Lava el auto, porfavor (Imperativa)
2.- Hola, Cmo estas? (Interrogativa)
3.- Apurate! (Exclamativas)
4.- Qu hora es? (Interrogativa)
5.- Lee esto con atencin (Imperativa)
6.- x + 1 =2 (No se da conjunto de reemplazamiento para la variable por lo que no hay modo de decir
cuando sea falsa o cuando sea verdadera)

M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star Trek VI: El pas sin descubrir

7.- 2x + 5 = x 1 (No se da conjunto de reemplazamiento para la variable por lo que no hay modo de
decir cuando sea falsa o cuando sea verdadera)
8.- Juan tiene 21 aos (No se define de qu Juan se trata, por lo que no se puede decir si es falso o
verdadero)
10.- y es un nmero impar (No se da conjunto de reemplazamiento para la variable y)

El otro tipo de proposicin es aquella que tiene alguna variable y un conjunto de

reemplazamiento para ella. A stas las llamaremos Proposiciones abiertas, y de ellas se dice
que tienen un Conjunto de verdad, el cual es un subconjunto de su conjunto de
reemplazamiento. El conjunto de verdad lo forman los elementos que hacen que la proposicin
sea verdadera.

Ejemplo:
1.Proposicin abierta:
Conjunto de reemplazamiento
Conjunto de verdad

es un nmero impar:
{ ; 1,2,3,4,5,6,7,8,9, }
{1,3,5,7,9, }

2.Proposicin abierta
Conjunto de reemplazamiento
Conjunto verdad

es un nmero primo
{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20}
{2,3,5,7,11,13,17,19}

Ejercicios
1.- Del libro de Matemticas discretas de Rosen, pgina 14, problemas 1
2.- (Matematicas 1 abierta) En los siguientes ejercicios clasifique las oraciones diciendo si son o no,
proposiciones y en caso afirmativo, si stas son simples o abiertas dando su valor de verdad o su
conjunto de verdad segn sea el caso
a) 5 es un nmero impar
b) 2x + 1 = 5
c) 3 + 9 =2x; x N
d) x es un nmero par; x N
Tarea
1.- Del libro de Matemticas discretas de Rosen, pgina 14, problemas 2
2.- En los siguientes ejercicios clasifique las oraciones diciendo si son o no, proposiciones y en caso
afirmativo, si stas son simples o abiertas dando su valor de verdad o su conjunto verdad segn sea
el caso.
M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star Trek VI: El pas sin descubrir

a) 4 es un nmero primo
b) 3y + 4 = 8
c) 7 + 4 = 5x; x N
d) y es un nmero impar; y N

M.C. LEONARDO A. MEDINA R.