TRABAJO ACADEMICO

LGICO MATEMTICO

1) En un mapa conceptual indito desarrolle las diferencias o complementariedad en

lgica y razonamiento matemtico: desarrolle 2 ejemplos por cada uno.

DIFERENCIAS
1.

LOGICA

1. Parte de la filosofa que estudia las

formas y principios generales que rigen el
conocimiento y el pensamiento humano,
considerado puramente en s mismo, sin
referencia a los objetos.
"los problemas principales de la lgica son las
doctrinas del concepto, del juicio, del silogismo y
del mtodo"
lgica matemtica
Lgica que utiliza el mtodo y los smbolos de las
matemticas.
sinnimos:
logstica
2.
2. Mtodo o razonamiento en el que las
ideas o la sucesin de los hechos se manifiestan
o se desarrollan de forma coherente y sin que
haya contradicciones entre ellas.
3.
3. Modo o manera particular de pensar, de
ver, de razonar o de actuar que se considera
coherente, racional o de sentido comn.
4.
Ejemplos:
5.

1. Esta maana es fra

6.

2. La luna es un satlite natural y gira

alrededor de la Tierra.
El razonamiento matemtico es un argumento
formulado,
para
justificar
un
proceso,
procedimiento, o conjetura, para crear slidas
bases conceptuales y conexiones, con el fin de
que los estudiantes o las personas sean capaces
de procesar la nueva informacin.
El razonamiento matemtico pasa a travs de

RAZONAMIENTO MATEMATICO

hacer conjeturas, la investigacin y la

representacin de los resultados y explicar y
justificar conclusiones

Ejemplos:
-Juan compra 12 dulces por 30 pesos. Si al da
siguiente el precio de cada dulce se incremento a
6 pesos, cuanto se ahorro Juan por dulce al
comprarlos con el precio anterior. (A) 2 pesos (B)
pesos (C) 3 pesos (D) pesos (E) 5 pesos
-La suma de dos nmeros enteros impares
consecutivos es 104, determina el impar mayor.
(A) 41 (B) 49 (C) 51 (D) 53 (E) 55

2) Diferencie: Juicio y argumentacin desarrolle 2 ejemplos por cada concepto

JUICIO: Facultad del entendimiento, por cuya virtud el hombre puede distinguir el
bien del mal y lo verdadero de lo falso. Opinin razonada que alguien se forma
sobre una persona o una cosa. Ejemplos:
-Todo hombre es mortal.

Macario es hombre.
Por tanto, Macario es mortal. Es un razonamiento correcto
-Todos los holgazanes se quedan en casa
Floripondio se qued en casa
Floripondio es un holgazn.
Es una falacia. Es un razonamiento incorrecto, pero sigue siendo un razonamiento.
ARGUMENTACION: es el estudio interdisciplinario de la forma en que se obtienen
conclusiones a travs de la lgica, es decir, mediante premisas. Incluye el arte y
la ciencia del debate civil, el dilogo, la conversacin y la persuasin. Estudia las
reglas de la inferencia, la lgica y las reglas procedimentales, tanto en el mundo
real como en sistemas artificiales. Ejemplos:

-Necesitamos que cambie su lugar de trabajo a nuestra sucursal de Chiapas. Lo

anterior, debido a que el asesor de gerencia de esa sucursal, present una

infeccin por dengue hemorrgico, y no recibi el tratamiento a tiempo. Debido a

esta circunstancia, y ya que usted cuenta con la experiencia necesaria para el
puesto, requerimos que nos auxilie en esa plaza. Comienza el lunes.
-He pasado el examen final, y esto da como resultado mi prximo ingreso a
licenciatura; no ser tan fcil, pues aun debo solicitar el examen de ingreso y
pasarlo. Despus de pasar el examen de ingreso el resto se tornar ms fcil

3) Resuelve los siguientes ejercicios.

a) Un nmero racional de denominador 112 es mayor que 1/8, pero menor que 1/7.
hallar la suma de las cifras de su numerador?

b) El cuadrado de un numero primo "P" sumado con el cuadrado del consecutivo a "
P"; mas 80 , es un numero de 3 cifras , igual al cuadrado de otro numero
primo . Halle la suma de cifras de P

c) l
d) El promedio de 77 nmeros impares consecutivos es 97
hallar la suma de las cifras del menor de ellos

e) Halle el valor de 99-97+95-93+.....7-5+3-1

f) El promedio de las edades del 40% de un determinado grupo de

profesionales es 40 aos, el promedio del 25% del resto es de 28
aos, Cul es el promedio del resto, si todos los asistentes en
promedio tienen 31 aos?

g) Hallar el promedio de los siguientes crecimientos anuales de la carga procesal

observados en determinado juzgado: 3%, 7%, 7.5 %, 0.9%, 12%, 6%, 8.7%, 0.3%,
9% y 18%

h) Aplicando propiedades de razones y proporciones resuelva: " El promedio de las

notas obtenidas por tres (03) alumnos es Quince (15). La relacin entre las notas
del primer alumno y el segundo es 4/5 y la relacin entre el segundo alumno y el
tercero es 5/6. Hallar la diferencia entre la mayor y menor nota. Desarrollar
Planteamiento y Sustentar Solucin.

i) En una reunin se encuentra un medico, un escritor, un

abogado y un ingeniero, ellos se llama Bruno, Franco, Luis y
Erick, aunque no necesariamente en ese orden sabiendo
que:
Bruno y el medico estudiaron en el mismo colegio que
Erick
Franco es primo del ingeniero
El escritor es vecino de Erick
El abogado es amigo de Luis y del ingeniero
Bruno es escritor
Determinar quien es el abogado y que profesin tiene
Erick
MEDICO
BRUNO
FRANCO

X
X

ESCRITO
R
SI
X

ABOGAD
O
X
SI

INGENIE
RO
X
X

LUIS
SI
X
X
X
ERICK
X
X
X
SI
EL ABOGADO ES FRANCO Y ERICK ES INGENIERO
j) cinco personas al ser interrogadas por un delito cometido
por una de ellas, manifestaron lo siguiente:
B: fue E
A: fue B
E: B miente
M: yo no fui
K: yo fui
Si solo una de ella dice la verdad Quin cometi el delito?
B
V
M

A
M

E
M
V

M
M

COMETIO EL DELITO M
1) Un club tiene 4290 socios activos. Tuvieron que decidir sobre cierta mocin, estando en
contra de ella una cantidad como 7, mientras a favor solamente como hubo abstenciones.
Cuantas personas cambiaron de opinin?
x = socios a favor
y = socios en contra
Un club tiene 4290 socios activos.
x + y = 4290
Despejando y
y = 4290 x
Primera votacin
en contra de ella una cantidad como 7, mientras a favor solamente como 4.
4/7 = x1/y1
4 y1 = 7x1
Sustituyendo y

K
M

4*(4290 x1) = 7x1

4*4290 = 7x1 + 4x1
11x1 = 17160
x1 = 17160/11 = 1560 <---------- a favor

Segunda votacin
fue aprobada con una relacin como 8 es a 5.
8/5 = x2/y2
8*y2 = 5*x2
Reemplazando y
8*(4290 x2) = 5*x2
8*4290 8*x2 = 5*x2
8*4290 = 5*x2 + 8*x2
34320 = 13x2
x2 = 34320/13 = 2640 <----- votos a favor
x2 x1 = 2640 1560 = 1080 <--------- cambiaron de idea

2) En una encuesta realizada a 150 personas, sobre sus preferencias de tres productos A, B y
C, se obtuvieron los siguientes resultados: 82 personas consumen el producto A, 54 el
producto B, 50 consumen nicamente el producto A, 30 slo el producto B, el nmero de
personas que consumen slo B y C es la mitad del nmero de personas que consumen
slo A y C, el nmero de personas que consumen slo A y B es el tripe del nmero de las
que consumen los tres productos y hay tantas personas que no consumen los productos
mencionados como las que consumen slo C. Determina a) el nmero de personas que
consumen slo dos de los productos, b) el nmero de personas que no consumen ninguno
de los tres productos, c) el nmero de personas que consumen al menos uno de los tres
productos

3)
a) Si "A" es un conjunto que tiene (8n) elementos, "B" un conjunto con (5n) elementos y se
sabe que los dos tienen (2n -1) elementos en comn. Hallar la suma del nmero de
elementos que tiene el siguiente conjunto: (A U B) (A - B)

primero, A tiene 8n en total, de los cuales 2n-1 son lo que tiene en comun con B,
por lo que A-B seria
8n-(2n-1)
8n-2n+1
6n+1=A-B
Luego, AuB solo seria unir a B con el A-B
5n+6n+1
11n+1=AUB
Luego, piden (A U B) (A-B)
se ve mejor si lo graficas con circulos, pero ahi solo te piden lo que tienen en
comun AUB y A-B,
lo unico que tendrian en comun seria A-B, pues este esta incluido en AUB
asi que el numero de elementos de el conjunto que piden seria 6n+1

b) Un estudio juridico tiene expedientes civiles penales y constitucionaes. sin contar los civiles
hay 24 expedientes sin contar los penales hay 36 expedientes y sin contar los
constitucinales hay 28 expedientes. Cual es el numer de expedientes penales en dicho
estudio juridico?

Llamemos x a los civiles, y a los penales y z a los constitucionales. La suma de

todos menos civiles es 24:
y+z=24 (Ec. 1)
Con la misma lgica surgen las otras dos ecuaciones:
x+z=36 (Ec. 2)
x+y=28 (Ec. 3)
Multiplicamos Ec. 3 por -1 y sumamos con Ec. 2:
x+z=36
-x-y=-28
z-y=8 (Ec. 4)
Sumamos Ec. 4 y Ec. 1:
z-y=8
z+y=24
2z=32
z=16
Sustituimos x=16 en Ec. 2:
x+z=36
x=36-z
x=36-16
x=20
Sustituimos x=16 en Ec. 1:
y+z=24
y=24-z
y=24-16
y=8

Hay 20 civiles, 8 penales y 16 constitucionales.

4) Defina las leyes o propiedades

Ley de la doble negacin: Dentro de la Tautologa, se encuentra
entonces tambin la Ley de la Doble Negacin, la cual valindose de la
Lgica logra demostrar que si un determinado enunciado es cierto, la
persona no se encuentra entonces ante una declaracin que no es
cierta. Con respecto a la frmula que la Lgica matemtica ha
designado a este teorema, esta se expresa de la siguiente manera:

A ~(~A)
Dentro de esta frmula, el signo es usado para expresar lgica,
mientras que por su parte el signo ~ es usado para indicar
negacin,leyndose literalmente como no es cierto que. De esta
forma A es lgicamente equivalente a no (no A) constituyndose
entonces como una doble negacin.

Ejemplo : Se puede colocar a A con el valor verbal de es

de da Colocndola en funcin de la frmula de doble

negacin se tendra entonces la siguiente lgica:
A = Es de da
~A = no es de da, es de noche
~(~A) = resulta falsa la proposicin no es de da, es de
noche por lo tanto es de da.
Entonces se tendra:
Es de da ~(~no es de da, es de noche)
Es de da no es de noche (Lo cual se leera: la
proposicin es de da resulta lgicamente equivalente
a resulta falso que sea de noche, es de da).
LEY DE IDEMPOTENCIA: La IDEMPOTENCIA es una propiedad de la unin (U) y la
Interseccin (U que abre hacia abajo) de conjuntos, la cual dice que para cualquier
conjunto A, se tiene que:

A U A = Ay adems:
A (Interseccin) A = A
La idempotencia es la propiedad para realizar una accin determinada varias veces y aun
as conseguir el mismo resultado que se obtendra si se realizase una solavez. Un
elemento que cumple esta propiedad es un elemento idempotente, o un idempotente. De
esta manera, si un elemento al multiplicarse por s mismo sucesivas veces da l mismo,
este elemento esidempotente. Por ejemplo, los dos nicos nmeros reales que son
idempotentes, para la operacin producto (), son 0 y 1. (00=0,11=1).
Una funcin de un conjunto a s mismo se llama idempotente si secumple que para la
composicin de funciones:

Ejemplo
Estructura:
A <=> A v A
1. Compro un computador; es lgicamente equivalente a: compro un computador o
compro un computador.
2. Respondo preguntas o respondo preguntas; es lgicamente equivalente a: respondo
preguntas.

Ley Asociativa: Las "Leyes asociativas" quieren decir que no importa cmo
agrupes los nmeros (o sea, qu calculas primero) cuando sumas o
cuando multiplicas.

(a + b) + c = a + (b + c)
(a b) c = a (b c)
Ejemplos:

Esto:

(2 + 4) + 5 = 6 + 5 =
11

da el mismo resultado que

esto:

2 + (4 + 5) = 2 + 9 =
11

 Ley Conmutativa: Las "leyes conmutativas" slo quieren decir que puedes
intercambiar los nmeros cuando sumas o cuando multiplicas y la respuesta
va a ser la misma.

a+b = b+a
ab = ba

Ejemplos:
Puedes intercambiarlos cuando sumas:

3+6=6+3

Ley distributiva: La "ley distributiva" es la MEJOR de todas, pero hay que

usarla con mucho cuidado. Quiere decir que la respuesta es la misma cuando:

sumas varios nmeros y el resultado lo multiplicas por algo, o

haces cada multiplicacin por separado y luego sumas los resultados

As:

(a + b) c = a c + b c
Ejemplos:
Esto:

(2 + 4) 5 = 6 5 = 30

da el mismo resultado que esto:

25 + 45 = 10 + 20 = 30

Leyes de Morgan: Las Proposiciones Una proposicin es una afirmacin

que puede recibir un valor de verdad falso (F), o bien verdadero (V), pero no
ambos a la vez. Su denotacin generalmente la encontramos con las letras (p, q,
r)
Conectores Lgicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el
uso de conectivos lgicos. Algunos de ellos son:
^ y conjuncin
v o disyuncin
-> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin

Leyes de Morgan
Son una parte de la Lgica proposicional, analtica ,y fueron creada por Augustus
de Morgan.
Estas declaran las reglas de equivalencia en las que se muestran que dos
proposiciones pueden ser lgicamente equivalentes.
Las Leyes de Morgan permiten:
El cambio del operador de conjuncin en operador de disyuncin y viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de
Morgan pueden estar afirmadas o negadas (en todo o en sus partes).
Casos:
(P ^ Q) (P v Q)
Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de
su miembros negados
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin conjuntiva con cada uno de
sus miembros negados
(P ^ Q) ( P v Q)
Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin disyuntiva negada en su totalidad y en
sus miembros.
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin conjuntiva negada en su totalidad y en
sus miembros

Ejemplo
Estructura.
a. (A ^ B) <=> A v B
b. (A v B) <=> A ^ B
1. No: es verdad que corra y que avance rpido; es lgicamente equivalente a: no es
verdad que corra o no es verdad que avance rpido.
2. No: destruyo y cuido los animales; es lgicamente equivalente a: no destruyo o no
cuido a los animales.

Ley de la Identidad: establece que A es A. En otras palabras,

algo es lo que es. Una manzana es una manzana. Si algo existe tiene
una naturaleza, una esencia. Por ejemplo, un libro tiene una portada y
una contraportada con pginas en su interior. Un automvil tiene cuatro
ruedas, asientos, puertas, vidrios, etc. Un rbol tiene ramas, hojas, un
tronco y races. Esto tambin significa que cualquier cosa que exista
tiene caractersticas. Reconocemos lo que algo es al observar sus
caractersticas. Usted sabe que un rbol es un rbol debido a que ve sus
ramas, sus hojas, su tronco, etc.

Ley del Complemento: El complemento de un conjunto o conjunto

complementario es otro conjunto que contiene todos los elementos que no estn
en el conjunto original. Para poder definirlo es necesario especificar qu tipo de
elementos se estn utilizando, o de otro modo, cul es el conjunto universal. Por
ejemplo, si se habla de nmeros naturales, el complementario del conjunto de
los nmeros primos P es el conjunto de los nmeros no primos C, que est
formado por los nmeros compuestos y el 1:
A su vez, el conjunto C es el complementario de P. El conjunto complementario se
denota por una barra horizontal o por el superndice, por lo que se
tiene: P = C, y tambin C = P.
El conjunto complementario de A es la diferencia (o complementario relativo) entre
el conjunto universal y A, por lo que ambas operaciones (complementario y
diferencia) tienen propiedades similares.

Leyes de Absorcin:La ley de la absorsin es un principio de lgica y sirve para

reducir preposiciones compuestas como por ejemplo:
'['[(p o q) y r] o 'q]
La ley de abosrsin postula:
p o (p y q) <=> p
p y (p o q) <=> p.

Ley Condicional: Considera la siguiente proposicin: "Si obtienes una

A en lgica, entonces te voy a comprar un Mustang amarillo." Esta
parece ser compuesta en dos oraciones ms simplemente:
p: "Obtienes una A en lgica," y
q: "Te voy a comprar un Mustang amarillo."

La proposicin original quiere decir lo siguiente: Si p es verdad, entonces

q es verdad, o, ms simple, si p, entonces q. Tambin podemos escribir
la frase como p implica q, y escribimos pq.
Ahora supongamos por el bien de la discucin de que la proposicin
original: "Si obtiene una A en lgica, entonces te voy a comprar un
Mustang amarillo," es verdad. Esto no significa que tu obtendrs una A
en lgica; lo nico que quiere decir es que si tu lo haces, entonces te voy
a comprar un Mustang amarillo. Si Pensamos en esto como una promesa,
la nica manera que pueda ser rota esta promesa es si ganas una A pero
no te compro un Mustang amarillo. En general, usamos esta idea para
definir la proposicin pq.
La condicional pq, que se lee "si p, entonces q" o "p implica q," se
define con la siguiente tabla de verdad.

pq

La flecha "" es el operador condicional, y en pq la proposicin p es

llamada en el antecedente, o hiptesis, y q es llamada la consecuente,
o conclusin.
Observa que el condicional en un nuevo ejemplo de un operador lgico
binario -- asigna a cada par de proposiciones p y q la nueva proposicin
pq.

Ley Bicondicional: Ya vimos que pq no es lo mismo que qp. Puede ocurrir, sin
embarg, que ambos pq y qp son verdaderas. Por ejemplo, si p: "0 = 1" y q: "1
= 2," entonces pq y qp ambas son verdaderas porque p y q ambas son falsas. La
proposicin pq se define como la proposicin (pq) (qp). Por esta razn, la
flecha de doble cabeza se llama el bicondicional. Obtenemos la tabla de verdad
para pq construyendo la tabla para (pq) (qp), que nos da lo siguiente.

El bicondicional pq, que leemos "p si y solo si q" o "p es equivalente a

q," se define por la siguiente tabla de verdad.
p

pq

La flecha "" es el operadorbicondicional.

Ten en cuenta que, en la tabla de verdad, vemos que, para pq ser
verdadera, ambas p y q deben tener los mismos valores de verdad; s no,
es falsa la conversa.
Ley de la Contrareciproca: Se llama contrarrecproco o contraposicin a
una ley lgica, formalizada en los silogismos por Aristteles, que establece que la
negacin de un consecuente implica la negacin de su antecedente. Es decir, si
una primera premisa implica una segunda premisa, se puede concluir que la
negacin de la segunda premisa implica la negacin de la primera premisa. En
consecuencia, la implicacin original y su contrarrecproco son equivalentes.Esta
ley lgica puede escribirse formalmente como:
Por ejemplo, la siguiente implicacin
Est lloviendo, por lo tanto, te espero dentro del teatro.
es equivalente a su contra recproco
No te espero dentro del teatro, por lo tanto, no est lloviendo.
El contra recproco es una articulacin alternativa del modus tollendo tollens de
la lgica proposicional.

5) EJEMPLO DE PROPORCION LOGICA

CONSULTAS BIBLIOGRAFICAS
-Allendoerfer, Carl; Oacley Cletus. Matemticas Universitarias. Cuarta edicin. Edicin
revisada. Editorial Mc Graw-Hill. Latino Americana, S.A., 1990.
-De Burgos, Juan. Curso de Algebra y Geometra. Editorial Alhambra. Madrid,
-.Deao, Alfredo. Introduccin a la lgica formal. Alianza Editorial. Madrid, 1970.
-Dou, Alberto. Fundamentos de la matemtica. Editorial Labor, S.A.; Barcelona, 1970.
-Galicia Arrambide, Moiss. Introduccin a la lgica matemtica. McGraw Hill. Mxico,
1976.
-Hunter, Geoffrey. Metalgica. Introduccin a la metateora de la lgica clsica de primer
orden. Paraninfo S.A.: Madrid, 1981