UNIVERSIDAD DE ANTIOQUIA

SEMILLERO DE MATEMTICAS NIVEL 11

TALLER N 2 LGICA MATEMTICA
RESEA HISTRICA
Etimolgicamente la palabra lgica viene del Griego "logos = razn, idea, razonamiento".
Entendida como el estudio de mtodos y principios utilizados para diferenciar un razonamiento
correcto de otro incorrecto, la lgica, fue creada por ARISTTETES en el siglo V (AC) en su libro"
Organn = Instrumento".
La Lgica puede ser natural y formal. La natural es propia de todos los humanos (un nio de pocos
meses pide el baln Y el tetero; voy a pasear entonces llevo pantaloneta). La formal es simblica,
sistemtica y propia de los lgicos. En este sentido es el lenguaje de las ciencias y de las
matemticas en particular. La lgica simblica se inici con LEIBNIZ, quien consider un lenguaje
cientfico universal comn a todos los hombres de ciencia, y un clculo del razonamiento, reglas
precisas, para la manipulacin de aquel lenguaje, aunque sin mucha profundidad. Motivados por
los estudios de Leibniz, Lambert y Holland hicieron algunos aportes a esta ciencia.
Entre 1825 y 1850 GEORGE BOOLE basado en estudios de Hamilton y Demorgan propuso su
lgebra de la lgica, que permite un clculo manejable y completo, donde se aplican operaciones
de tipo matemtico. La estructura del sistema de Bool se basa en tres ideas fundamentales:
eleccin de smbolos, leyes del pensamiento expresadas por reglas de operacin que actan sobre
los smbolos, y la observacin, de que dichas reglas, actan algebraicamente sobre los nmeros
cero y uno de igual forma.

BIOGRAFA DE GEORGE BOOLE

Naci: El 2 de noviembre de 1815 en Lincoln (Inglaterra).
Muri: El 8 de diciembre de 1864 en Ballintemple (Irlanda).
Era de familia humilde (una forma delicada de decir que era pobre) y recibi una educacin
elemental. Estudi por su cuenta latn y griego. A los 12 aos era un experto en latn. A esta edad
tradujo una oda de Horacio, pero la traduccin era tan perfecta que no crean que era la traduccin
de un nio.
Boole no curs estudios oficiales. A los 16 aos era ayudante del maestro de escuela (en aquella
poca, todos los alumnos, estaban en la misma aula y los alumnos de los cursos superiores,
ayudaban al maestro en la enseanza de los cursos inferiores).
En 1835 abri su propia escuela y empez a estudiar matemticas por su cuenta. En esta poca
fu cuando estudi los trabajos de Laplace y Lagrange.
Se cas con una sobrina de George Everest (el que dio el nombre a la famosa montaa).
En 1847 public The Mathematical Anlisis of Logic y en 1854 Investigation of the Laws of
though, un clsico de la historia de las matemticas porque es el origen de la Teora de conjuntos.
Es muy conocido por lo que hoy se llama lgica booleana, que se utiliza en los computadores.
A pesar de no tener estudios oficiales, Boole tuvo el reconocimiento de las Universidades de
Dubln y Oxford.
Muri a los 49 aos, como consecuencia de un resfriado debido a que se moj en la caminata
desde su casa a la escuela.

OBJETIVO GENERAL
Promover en los alumnos el desarrollo del razonamiento lgico, mediante la solucin de
problemas, en los que se apliquen leyes de la lgica de proposiciones y de la lgica de las
funciones proposiocionales.

TEORIA
PROPOSICIN: Enunciado del cual podemos afirmar que es verdadero o que es falso.
Ejemplos:
2 es un nmero primo (Verdadero)
Los martes hay semillero de matemticas. (Falso)
Cmo ests? No es una proposicin puesto que no podemos afirmar que es verdadera o falsa.
VALOR DE VERDAD: Es la Verdad o falsedad de un enunciado.
CONJUNCION: p q
Dos proposiciones simples se pueden conectar por la palabra y para formar una proposicin
compuesta, que se llama la conjuncin.
El valor de verdad de la conjuncin satisface la siguiente condicin: La conjuncin de dos
enunciados simples es verdadera solamente si cada uno de los enunciados es verdadero.

DISYUNCIN: p q
La disyuncin nicamente es falsa cuando las dos proposiciones son falsas.

LA NEGACIN: ~ p
p: 3 es un nmero primo ( V )
p: 3 no es un nmero primo o tambin no es cierto que 3 sea un numero primo( F )
EL CONDICIONAL: p q
Se lee si p entonces q
p siempre que q
p solo si q
p es suficiente para q
El condicional nicamente es falso cuando el antecedente p es verdadero y el consecuente q es
falso, porque una proposicin verdadera no implica una falsedad.
Nota: Si en el condicional se cumplen las condiciones:
1. Las proposiciones estn lgicamente ligadas
2. El condicional es verdadero.
Entonces el condicional se llama una implicacin y se escribe p q
Ejemplo: Si 2x = 4 entonces, x = 2 es verdadero y se puede escribir: 2x = 4 implica que x = 2.

EL BICONDICIONAL: p q y se lee p si y slo si q

El bicondicional es equivalente a (p q) (q p)
El bicondicional es verdadero si las proposiciones simples tienen el mismo valor de verdad y es
falso si las proposiciones tienen valores diferentes.

EJERCICIO:
Sea p: El es fuerte y q: El es inteligente. Escribir en forma simblica los siguientes
enunciados:
1. El es fuerte e inteligente.
2. El es fuerte pero no es inteligente.
3. Es falso que l es dbil o inteligente. ~(~p q )
4. El no es ni fuerte ni inteligente.
5. No es verdad que l es dbil o que no es inteligente.
6. El es fuerte, o l es dbil e inteligente
7. Ser fuerte es suficiente para ser inteligente.
8. El es dbil slo si no es inteligente.
9. Hay que ser dbil para ser inteligente.

REGLAS DE INFERENCIA:
Son reglas que nos sirven para probar que a partir de unas premisas es posible hacer la
demostracin de una conclusin especfica.
REGLA 1:

pq
p

q (conclusin)
Ejemplo:
1. Si hoy es sbado entonces hay semillero de matemtica.
2. Hoy es sbado.
Hay semillero de matemticas. (Conclusin).
REGLA 2:
pq
p q
~q
~p
p (conclusin)
q (conclusin)
Ejemplo:
1. Un nmero natural a es par o impar
2. a no es impar.
a es par. (Conclusin)
REGLA 3:
pq
~q
~p (conclusin).
1. Si llueve entonces la calle est mojada.
2. La calle no est mojada.
No est lloviendo (conclusin)
REGLA 4: (TRANSITIVIDAD)
pq
q r
p r (conclusin)
Ejemplo:
1. Si n es par entonces n es divisible por 2.
2. Si n es divisible por 2 entonces n es mltiplo de 2.
Si n es par entonces n es mltiplo de 2. (conclusin)
REGLA 5:
p
q
p q (conclusin)
Ejemplo:
1. Hoy es sbado.
2. Maana es Domingo.
Hoy es sbado y maana es Domingo. (Conclusin)
REGLA 6:
pq
p r

p q
p r

q s
q r
r s (conclusin)
r (conclusin)
Ejemplo de la parte 1 de la regla 6:
1. Voy al colegio o me quedo en casa.
2. Si voy al colegio entonces asistir al laboratorio de fsica.
3. Si me quedo en casa entonces escuchar msica.
Asistir al laboratorio de fsica o escuchar msica.

REGLA 7:
pq
p (conclusin)

pq
q (conclusin)

Ejemplo:
1. Hoy voy a estudiar al semillero y luego voy a la piscina.
Hoy voy a estudiar al semillero. (conclusin)
OTRAS LEYES QUE SE UTILIZAN CON FRECUENCIA:
Ley de Demorgan
~(p q) ~p ~q
~(p q) ~ p ~q
Ley de la doble negacin:
~(~p) p
Regla de la adicin:
p
p q (conclusin)
Un ejemplo usando las reglas de inferencia
Si el partido A gana las elecciones, tendr mayora en el congreso. Si tiene mayora el presidente
podr cumplir el programa de gobierno propuesto. O el presidente no podr cumplir el programa
propuesto o la oposicin lo atacar duramente pero la oposicin no lo atacar duramente.
A. El partido A ganar las elecciones
B. La oposicin lo atacar duramente
C. El partido A no ganar las elecciones
D. El partido A tendr mayora en el congreso.
Solucin:
A. Sacar premisas
p: El partido A gana las elecciones
q: El partido A tendr mayora en el congreso
r: El presidente podr cumplir el programa de gobierno propuesto.
s: La oposicin lo atacar duramente.
B. Leer el texto cuidadosamente y usar los conectivos adecuados
1. pq
2. qr
3. ~r v s
4. ~s
C. Recuerda que cada enunciado 1,2,3,4 es verdadero
De 4, se tiene que ~s es verdadero, luego en 3, se tiene que s es falso; por lo tanto ~r tiene
que ser verdadero (disyuncin: es falsa cuando ambas son falsas), as que en 2, r es falsa, por
consiguiente q tiene que ser falsa (la implicacin es falsa solo cuando el antecedente es
verdadero y el consecuente es falso)
luego en 1, como q es falsa, p tiene que ser falsa, entonces se tiene que ~p es verdadero, por
lo tanto la conclusin es la C.

CONDICION SUFICIENTE PERO NO NECESARIA.

Una condicin es suficiente para la realizacin de un proceso, cuando en su presencia el suceso
debe ocurrir. (O sea que basta).
Ejemplo:
Si soy antioqueo, entonces soy colombiano.

CONDICION NECESARIA PERO NO SUFICIENTE:

Una condicin es necesaria cuando su cumplimiento es indispensable para la realizacin de un
proceso.
Pero una condicin puede ser necesaria y sin embargo el suceso puede ser que no ocurra.
Ejemplo:
La presencia de oxigeno es condicin necesaria para que se produzca fuego, puesto que si no hay
oxigeno no se produce fuego.
La presencia de oxigeno no es condicin suficiente par que se produzca fuego.
Una expresin equivalente a p es condicin necesaria para q es:
~p ~q.
En el ejemplo: Si no hay oxigeno entonces no hay fuego.

CONDICION NECESARIA Y SUFICIENTE:

Ser p una condicin necesaria y suficiente para q es equivalente a p q, o sea (p q) (q p)

GLOSARIO
Proposicin, conjuncin, disyuncin, implicacin, conectivos, antecedente, consecuente, inferencia.

TALLER
En los ejercicios del 1 al 8 hallar la conclusin correspondiente a las premisas dadas.
1. Mara tiene clase. Si llueve en la madrugada, entonces: Si Mara tiene clase, llegar tarde.
No es cierto que: No llueve en la madrugada o hace fro.
A. Llueve en la madrugada
B. Mara llegar tarde
C. Mara no tiene clase.
D. Hace fro.
2. Si el invierno contina o las inundaciones aumentan, entonces las viviendas peligran o los
alimentos se encarecen. No es cierto que los alimentos se encarecen. El invierno
contina.
A. El invierno termin.
B. Las viviendas peligran.
C. Los alimentos se encarecen
D. Las inundaciones disminuyen.
3. Si el partido A gana las elecciones, tendr mayora en el congreso. Si tiene mayora el
presidente podr cumplir el programa de gobierno propuesto. O el presidente no podr
cumplir el programa propuesto o la oposicin lo atacar duramente pero la oposicin no lo
atacar duramente.
A.
B.
C.
D.

El partido A ganar las elecciones

La oposicin lo atacar duramente
El partido A no ganar la elecciones
El partido A tendr mayora en el congreso.

4. Si estudio, entonces no perder matemticas. Si no juego baloncesto, entonces estudiar.

Pero perd matemticas
A.
B.
C.
D.

No jugu baloncesto
Estudi
No perder matemticas
Jugu baloncesto

5. Si Marcela digita bien, entonces Alejandro o Edwin entregar el trabajo a tiempo. Pero
Marcela digit bien y Alejandro no entreg el trabajo a tiempo. Por tanto.
A.
B.
C.
D.

Edwin no entreg el trabajo a tiempo

Edwin entreg el trabajo a tiempo.
Marcela no entreg el trabajo a tiempo
Edwin tambin digit el trabajo.

6. Si el reloj est adelantado, entonces Juan lleg antes de las diez y vio partir el coche de
Andrs. Si Andrs dice la verdad, entonces Juan no vio partir el coche de Andrs. O
Andrs dice la verdad o estaba en el edificio en el momento del crimen. El reloj est
adelantado. Por tanto.
A.
B.
C.
D.

Juan es el criminal
Andrs no dice la verdad
Juan dice la verdad
Andrs estaba en el edificio en el momento del crimen

7. Cuando se prevn fuertes movimientos ssmicos, el observatorio avisa a las autoridades y

alerta a la poblacin. El observatorio no ha avisado a las autoridades o no ha alertado a la
poblacin.
A.
B.
C.
D.

No se prevn fuertes movimientos ssmicos

La autoridades alertan a la poblacin
El observatorio no avisa a la autoridades
No se informa a las autoridades.

8. Si el equipo gan el domingo, podr jugar en el extranjero. Y jugar en el extranjero slo si

ha contratado a un nuevo entrenador. O el equipo no ha contratado a un nuevo entrenador,
o ha quedado descalificado. Pero no ha quedado descalificado.
A.
B.
C.
D.

El equipo no gan el domingo

El equipo contratar un nuevo entrenador
El equipo jugar en el extranjero
El equipo no ha quedado descalificado.

9. Indicar si los siguientes enunciados son condiciones suficientes, necesarias o suficientes y

necesarias. Justifique su respuesta.
A.
B.
C.
D.

Si hay presencia de oxigeno, se produce combustin.

Si un nmero es divisible por 6, entonces es par.
Si X es un nmero positivo, X2 es positivo.
Si se eleva la temperatura a un punto crtico en presencia del oxigeno, entonces
hay combustin de una sustancia.

DESCRIPCIN DE UN PROCESO DE RIEGO PARA UN CULTIVO.

El diagrama indica el caudal de una acequia (1) que suministra el agua para el riego de un cultivo
de maracuy (3) mediante dos sistemas independientes as:
En el primero, el agua ingresa por la compuerta A hasta el tanque (2) donde es almacenada y
posteriormente a travs de la compuerta C, es distribuida por un sistema de mangueras
subterrneas que efectan un riego por aspersin.
En el segundo el agua ingresa por la compuerta B y es distribuida directamente por un sistema de
surcos en todo el cultivo, efectundose un riego por inundacin.
Una ley de recursos hdricos del INDERENA slo permite tomar agua de la acequia por la
compuerta A o la compuerta B pero no por las dos al mismo tiempo, con el objetivo de distribuir la
toma de aguas entre los dems usuarios de la acequia. Cuando el tanque (2) est lleno y la
compuerta A est abierta pero la compuerta C est cerrada, el agua sobrante pasa por un desage
D a formar parte del acueducto de una finca. No hay otras condiciones bajo las cuales circule agua
por D.
Las situaciones que se plantean a continuacin, se fundamentan en el proceso descrito
textualmente y se asumen las condiciones normales de funcionamiento.

PLANTEAMIENTO DE UNA SITUACIN PROBLEMA-DESCRIPCIN DE UN PROCESO DE

RIEGO PARA CULTIVO
1. De las situaciones que se describen a continuacin, indique cules son posibles y cules
no los son, en las condiciones de funcionamiento del sistema. Argumente en forma breve
su respuesta.
A.
B.
C.
D.
E.
F.
G.
H.
I.
J.

La compuerta A est abierta y no hay riego en el cultivo.

Las compuertas A y B est cerradas y hay riego en el cultivo.
La compuerta B est abierta y hay riego por aspersin
La compuerta B est abierta y hay agua circulando por el desage D.
La compuerta A est abierta y hay riego por inundacin
La compuerta C est abierta y no hay riego en el cultivo.
La compuerta B est cerrada y no hay agua circulando por el desage D.
Hay agua circulando por el desage D y hay riego en el cultivo.
Hay riego por inundacin y por aspersin simultneamente.
La compuerta B est cerrada, el tanque est lleno no hay agua circulando por el
desage D y no hay riego en el cultivo.
K. El tanque est lleno y no hay riego en el cultivo.
L. El tanque est vaci completamente y hay riego en el cultivo.
M. Hay dos compuertas abiertas y no hay riego en el cultivo.
N. Hay una compuerta abierta y hay riego en el cultivo.
O. Hay una compuerta abierta y no hay riego en el cultivo.
2. Hoy no hay riego en el cultivo. Seale en las opciones siguientes cul o cules de ellas
son causa de este hecho.
A. La compuerta A est cerrada.
B. La compuerta B est cerrada
C. Las compuertas A y B estn cerradas.
D. La compuerta A est abierta y la compuerta C est cerrada.
E. La compuerta B y C est cerradas.
F. Hay agua circulando por el desage D.
G. Hay dos compuertas cerradas.
H. El tanque est vaci.
3. Hay dos compuertas abiertas, seale, cul o cules de las opciones siguientes son
consecuencia de este hecho.
A. Hay riego por aspersin
B. Hay riego por inundacin
C. Hay riego en el cultivo
D. No hay agua circulando por el desage D.
E. La compuerta A est abierta
F. La compuerta C est abierta.

4. Seale, en las opciones siguientes, la condicin o condiciones siguientes para que haya
riego en el cultivo. Destaque las implicaciones respectivas.
A.
B.
C.
D.
E.
F.
G.

La compuerta A est abierta.

La compuerta B est abierta.
La compuerta A est abierta o la compuerta B est abierta.
La compuerta C est abierta
Las compuertas A y C estn abiertas.
Las compuertas B y C est abiertas.
No hay agua circulando por el desage D.

5. Seale, en las opciones del numeral anterior, la condicin o condiciones necesarias para
que haya riego en el cultivo. Destaque las implicaciones respectivas.
6. De acuerdo a lo determinado en los numerales 4 y 5 se pueden sealar algunas
equivalencias?
7. Seale, en las opciones siguientes, la condicin o condiciones suficientes para que circule
agua por el desage D. Destaque las implicaciones respectivas.
A.
B.
C.
D.
E.
F.
G.
H.
I.
J.

La compuerta B est cerrada

La compuerta C est cerrada.
La compuerta A est abierta
El tanque 2 est lleno.
Las compuertas B y C est cerradas.
El tanque est lleno y la compuerta A est abierta.
El tanque est lleno y la compuerta C est cerrada
El tanque est lleno, la compuerta C est cerrada y la compuerta B esta abierta.
El tanque est lleno, la compuerta A est abierta y la compuerta C est cerrada.
El tanque est lleno, la compuerta A est abierta y no hay riego en el cultivo.

8. Seale, en las opciones del numeral anterior, la condicin o condiciones necesarias para
que circule agua por el desage D. Destaque las implicaciones respectivas.

BIBLIOGRAFA

Matemtica, una propuesta curricular 11, Julio Uribe Calad.

Introduccin al simbolismo lgico. Hugo Guarn.
Pagina Web http://www.terra.es/personal/jftjft/Historia/Biografias/Boole.htm