Guiam 1

Matemtica para CPN y Lic en Adm.
UNIDAD N 1

- 1 -

Gua de trabajos Terico- Prctico N 1

UNIDAD I:
1.1 Lgica proposicional. Proposicin. Tipos de proposiciones.
Conectivas Lgicas. Simbologa. Tablas de verdad.
Negacin. Conjuncin. Disyuncin. Condicional.
Condicin necesaria y suficiente. Condicionales asociados
Bicondicional.
Frmulas Lgicas:tablas de verdad. Leyes Lgicas
1.2. Funciones Preposicionales. Conjuntos de verdad.
Cuantificadores. Negacin de Cuantificadores.
1.3. Conjuntos. Pertenecia e inclusin. Operaciones.
Problemas de conteo.
1.4. Producto cartesiano. Relaciones. Dominio y Codominio.
Funciones. Dominio e Imagen.
1.5. Ley de composicin interna.
Posibles propiedades de una ley de composicin interna.
1.6. Ejercicios Complementarios.
Matemtica para CPN y Lic en Adm. UNIDAD N 1

- 2 -
1.1 Lgica proposicional
La Lgica es una ciencia formal, que no se interesa ni por los contenidos del pensamiento, ni
por el contenido de las expresiones del pensamiento, sino por sus formas, por sus estructuras.
La lgica proposicional es la parte ms elemental de la Lgica moderna y estudia aquellas
relaciones formales existentes entre las proposiciones ( y no las que se dan dentro de ellas).

Ejemplos de proposiciones:

Las empresas premiaran a los usuarios que consuman menos luz
Ecuador cay 13 casillas en el ndice de competitividad

Proposicin:
Aquellas oraciones aseverativas de las cuales tenga sentido decir si son
verdaderas o falsas.

Ejemplo de expresiones que no son proposiciones:
Cul es el premio? Un paquete de velas
Preprate porque ya mismo nos cae el ndice de pobreza!
(no se pueden saber si son V o F)
Nota: Una proposicin es una oracin pero no toda oracin es una proposicin.
En general , No son proposiciones, las siguientes expresiones:

a) Las oraciones interrogativas. Ej: Qu es la lgica?
Imperativas o exhortativas. Ej: Debemos honrar el bicentenario
Desiderativas. Ej. Sea en hora buena
Exclamativas o admirativas. Ej. Que suerte! Casi me saco el monobingo!
y las Dubitativas. Ej. Quizs llueva maana

- 3 -

b) Los juicios de valor. Ej: Mariano es bueno
c) Las pseudoproposiciones. Ej. El cuadrado es inteligente

d) Las funciones proposicionales. Ej. 2X + 6 = 14

e) las descripciones definidas. Ej. El actual presidente del Banco Central

f) Los filosofemas. Ej. La materia se mueve en un ciclo eterno.

Ejemplo 2: Proposicin compuesta
Los modelos son una simplificacin o abstraccin de la realidad que intentan
explicar un determinado comportamiento de los fenmenos econmicos.
Por lo tanto estas representaciones sencillas no reflejan la realidad misma.

En este texto se pueden advertir tres proposiciones:.
Ellas son:
Los modelos son una simplificacin de la realidad que intentan explicar
un determinado comportamiento de los fenmenos econmicos
Los modelos son una abstraccin de la realidad que intentan explicar
un determinado comportamiento de los fenmenos econmicos.
Las representaciones sencillas reflejan la realidad misma.

Estas proposiciones estn vinculadas por trminos de enlace que destacamos con negrita:

( ) o ( ) . Por lo tanto. no ( )

En general en Lgica:
Los trminos "y" , "no" , "o" , "si...entonces" y "si y solo si" , que pueden figurar en una
proposicin son llamados CONECTIVOS LOGICOS.

Observacin:
Hay proposiciones que contienen los trminos de enlace expresados de otra forma,
pero que en esencia tienen el mismo significado que las definidas, pues no
cambian la estructura de la oracin.

Clase de proposiciones:
Pueden ser simples (o atmicas) y compuestas ( o moleculares) .
Las simples carecen de conectivas mientras que las compuestas si los tienen
(al menos una).
En el ejemplo dado, el texto mismo es una proposicin compuesta
Nota: La forma de las proposiciones moleculares (PM) construidas, depende del trmino de
enlace utilizado y no del contenido de la proposicin o proposiciones atmicas.


- 4 -
Actividad 1:

Indica cuales de las siguientes expresiones son proposiciones. En el caso afirmativo seala
adems cuales son compuestas y cuales atmicas:

a) La coparticipacin en Sgo del Estero creci 27% en febrero y un 283% desde 2002
b) El pan podra aumentar un 15% en Santiago.
c) Qu calor que hace esta maana!
d) Hemos recibido varias denuncias de vecinos que han ido de compras y los listas de precios
no estn en exhibicin o los precios acordados no se respetan

SIMBOLIZACIN
Los ejemplos dados estn expresados en un lenguaje coloquial mientras que la LGICA tiene
su propio lenguaje. Es el lenguaje simblico.
Las proposiciones se representan con las letras p, q, r...... que se denominan
variables proposicionales y las operaciones o los conectivos con los signos:
~ , . , v , , , u otros, segn las convenciones adoptadas por cada autor
(nosotros elegiremos la de Scholz)
En el ejemplo 2 dado: Si designamos con letras : p, q y r a las proposiciones simples ,
se tendr la siguiente expresin simblica:
p v q r
En el cuadro siguiente se presentan todos los conectivos lgicos, el nombre que reciben y
su identificacin o significado en una oracin, suponiendo que se tengan dos proposiciones
cualesquiera p y q .

CONECTIVO OPERACIN ASOCIADA SIGNIFICADO

. conjuncin o producto lgico p y q, (pero, aunque, no obstante
sin embargo)

v disyuncin p o q (en sentido incluyente)
p o q, o ambos
condicional si p entonces q; p implica q,
implicacin material, p solo si q; q si p; cuando p, q

doble implicacin, bicondicional p si y solo si q

v disyuncin exclusiva p q (en sentido excluyente)
O p o q pero no ambos

~ negacin no p, no es cierto que p,
no ocurre que p

- 5 -
Actividad 2:
Identifique las proposiciones simples y exprselas en lenguaje lgico utilizando
para ello los conectivos que correspondan.
I. En un proyecto de investigacin una hiptesis es una suposicin tentativa
pero adems una posible solucin a un problema.
II. Tanto la suma como la multiplicacin de nmeros naturales son asociativas
III. Santiago ser ordenado en el trnsito si y solo si, los conductores no andan
siempre apurados y se respeten las normas de trnsito.

Tablas de Verdad de una proposicin:
Una tabla de verdad es una disposicin que permite asignar a cada variable proposicional
dos valores de verdad ( V) o ( F) cuando es simple, y 2
n
valores de verdad cuando se tienen
n variables distintas

Si la proposicin es molecular la verdad o falsedad de la misma depender de la verdad o
falsedad de las atmicas que la componen y de los trminos de enlace que las ligan.
Por convencin cada conectivo tiene definido el valor de verdad que le corresponde
cuando se combinan los valores de verdad de cada proposicin atmica.
Definimos cada uno:

NEGACION: (~ )
Dada una proposicin p verdadera, su negacin es ~p es Falsa; y recprocamente.
Ejemplo: p : El pan ha aumentado el 15% en santiago es verdadera (V)
~p : El pan no ha aumentado el 15% en santiago es obviamente falso (F)
En general cualquiera sea la proposicin p se cumple la siguiente tabla de verdad:

P q
V V
V F
F V
F F
P
V
F
P ~ p
V F
F V

- 6 -
CONJUNCIN:.

Frmula: p . q

Ejemplo considerando la primera vieta de la figura y usando las variables p y q , tenemos:
p: Yo antes iba al psicoanalista en taxi
q: Yo ahora me tengo que conformar con contarle todo al taxista
Si ambas proposiciones son verdaderas la proposicin compuesta conjuncin es
Verdadera. Cualquier otro caso la hace falsa. (definicin semntica)

En el ejemplo dado tambin tenemos otra conjuncin si sustituimos pero por y:
Yo ahora tengo un taxi y en realidad soy psicoanalista
Otro ejemplo:
Un informe del banco HSBC seala que el peso argentino debera terminar el ao en $ 4,30,
con una devaluacin de ms del 10% con respecto al valor actual.

Actividad 3:
Completa la tabla de verdad siguiente, de acuerdo a la definicin de conjuncin.
(cuatro combinaciones posibles de los valores de V ,F)
p q p . q
V V
V F
F V
F F


- 7 -
DISYUNCIN
Se pueden presentar en dos sentidos, para dos proposiciones p , q:

1. Disyuncin incluyente( debil): admite que las dos alternativas se den conjuntamente.
Simbolizaremos en este caso con v
Ej.: La inflacin baja o se frena la suba de precios. p v q

2. Disyuncin excluyente(fuerte): No admite que las dos alternativas se den conjuntamente.
Simbolizamos en ese caso con v.
Ej.: Ral esta en el ciber o en la Universidad p v q

Para cualquier caso de disyuncin, se define:
Si una de las proposiciones dadas es V y la otra es F, la proposicin compuesta es
V ; y si ambas proposiciones son falsas la compuesta es Falsa.
Pero en la incluyente si ambas son verdaderas la compuesta tambin es verdadera,
no as en la excluyente que da como resultado proposicin Falsa.

Actividad 4:
De acuerdo a lo definido en la disyuncin, completa las tablas de verdades
siguientes:

Actividad 5:
Escribe en forma simblica las siguientes proposiciones compuestas:
a) La materia es terica o prctica o ambas a la vez.
b) Se le enviara el diploma por correo hoy o maana.
c) Carlos va directamente en colectivo o en bicicleta a su trabajo.
d) El gobierno busca consenso o no asistir al Congreso.
e) El afiliado puede optar por el IOSEP o por PAMI, pero no ambos.
r s r v s
V V
V F
F V
F F
p q p v q
V V
V F
F V
F F

- 8 -
CONDICIONAL (p q)

Los condicionales son frecuentemente usados en Matemtica y economa.
Este conectivo vincula dos proposiciones, la primera se denomina antecedente y la
segunda consecuente, de la siguiente forma:

S...............entonces (implica).......... p solo s q

Ej. 1: Si 2+2 < 8 entonces 2 < 6 condicional de tipo formal
Ej. 2: Cuando Luca apruebe el examen de admisin ingresar a la Universidad.
Ej.3 Si aumenta el precio de la entrada, se despedir al titular del INDEC
condicional material (El consecuente no se deriva del antecedente)

El condicional es verdadero en cualquier caso excepto cuando el antecedente es V
y el consecuente es F.

Actividad 6:
De acuerdo a la definicin de condicional para dos proposiciones dadas, completa las tablas
de verdades siguientes:

p q p q
V V
V F
F V
F F

Actividad 7:
De acuerdo a la ilustracin dada, escribe en forma simblica la proposicin dada e indica
antecedente y consecuente.

r t
F V
V F
V V
F F

- 9 -
Actividad 8:
En las siguientes condicionales identifica con variables proposicionales el antecedente del
consecuente :

i) Si las tasas de inters se mantienen fijo, los clientes podrn ampliar sus crditos.
ii) El nmero 432 es par puesto que es divisible entre 2.
iii) La huelga continua, pues no hay solucin al conflicto.

Condicin necesaria y suficiente

Dado un condicional de antecedente p y consecuente q , Verdadero ,decimos que
p es condicin suficiente para q
q es condicin necesaria para p

Ejemplo:
Si el tipo de cambio es bajo y los atractivos naturales siguen vigentes, se favorecer
el crecimiento del turismo en Argentina.

Podemos expresar en forma equivalente:
Que el tipo de cambio sea bajo y los atractivos naturales sigan vigentes es
condicin suficiente para favorecer el crecimiento del turismo en Argentina.

Que sea favorable el crecimiento del turismo en Argentina es condicin necesaria para
que el tipo de cambio sea bajo y los atractivos naturales sigan vigentes

Actividad 9:
Sea p la variable que sustituye a la proposicin La funcin de demanda es creciente
y q que represente a la proposicin la funcin de oferta es decreciente,

Escribe en forma coloquial el condicional: p q en trminos de condicin suficiente y
Condicin necesaria.

CONDICIONALES ASOCIADOS( Conjugados)

Dado un condicional de antecedente p y consecuente q (que se toma como directo),
es posible armar otros condicionales a partir de ste por permutacin y /o negacin
de p y q .
Estos reciben el nombre de condicionales asociados o conjugados del primero:

Condicional Directo p q q p Condicional Recproco

Condicional Contrario ~p ~q ~q ~p Condicional contrarrecproco

Ejemplo de directo y recproco:
Si la cotizacin del dlar sube, el ingreso de las importaciones disminuir
Si el ingreso de las importaciones disminuye, el precio de la cotizacin del dlar sube

- 10 -
Actividad 10:
Dado el condicional :
Si la inflacin de noviembre en el pas fue del 0,9% , en Mendoza fue del 1,5 %

a) Si llama con r al antecedente y con s al consecuente, expresa simblicamente el
condicional dado.
b) Escribe coloquial y simblicamente el recproco del condicional
c) Escribe coloquial y simblicamente el contrario del condicional
d) Escribe coloquial y simblicamente el contrarrecproco del condicional

BICONDICIONAL ( p q )
Muchas definiciones y teoremas matemticos tienen la forma de un bicondicional
Ejemplo 1: La funcin costo medio alcanza el punto crtico si y solo si la funcin de
costo medio es igual a la funcin de costo marginal
Ejemplo 2: Una funcin es contnua cuando y solo cuando la funcin es contnua en
cada uno de sus puntos **

* El bicondicional, solo es verdadero si ambas proposiciones tienen el mismo
valor de verdad.

Actividad 11:
De acuerdo a la definicin de bicondicional, completa la tabla de verdad siguiente:
p q p q
V V
V F
F V
F F

- Notas:
Esta conectiva tambin nos permite decir cuando dos frmulas son equivalentes.

** As: la funcin es contnua equivale a funcin contnua en cada uno de sus puntos
El bicondicional puede definirse tambin como la conjuncin de un condicional y su
recproco.
De este modo la tabla de valores de verdad de p q, es equivalente a obtener la tabla
de verdad de la siguiente forma:
( p q ) . (q p ).


- 11 -
Actividad 12:
En base a la definicin dada para condicional y para la conjuncin, completa la siguiente:

p q p q q p (p q) . (q p)
V V
V F
F V
F F

Frmulas Lgicas
Una frmula lgica es una cadena de smbolos construida segn reglas establecidas por el
lenguaje de la Lgica desde un punto de vista formal, es decir, lo nico que le interesa son las
relaciones entre los smbolos .En ese sentido la sintaxis lgica, permite la construccin de
Frmulas Bien Formadas ( FBF) estableciendo con tal objeto, reglas para usar y combinar
smbolos.

Ejemplo:
Proposicin: Samuelson no es contador, sino economista; luego dicta ctedra.
Forma lgica: Samuelson no es contador y Samuelson es economista entonces dicta ctedra
p: Samuelson es contador
q: Samuelson es economista
r: Samuelson dicta ctedra.
Frmula lgica: ~p . q r esta es una Frmula bien formada (FBF)
Algunas de las reglas de la sintaxis lgica que permiten construir o identificar una FBF:

i - Una FBF tiene un nombre y esta depende de su operador de mayor jerarqua.
ii - El operador de mayor jerarqua es aquel que esta libre de los signos de agrupacin: ( ), [ ]
iii- Los signos de agrupacin se usan cuando la frmula es susceptible de doble interpretacin.
iv- Un conectivo u operador afecta a las letras proposicionales inmediatas o a algn conjunto
de letras y smbolos inmediatos a ellos entre parntesis.
v Jerarqua: A los efectos de reducir el uso de los ( ) como as tambin de poder construir
una tabla de verdad para evaluar una frmula dada, se conviene en establecer el siguiente
orden de los operadores (de la mas dbil a la mas fuerte)

- NIVEL1 ~
- NIVEL2 . , v
- NIVEL3
- NIVEL 4

- 12 -

La frmula dada en el ejemplo es un condicional. Para obtener su valor de verdad ,
construimos una tabla de verdad con tantos renglones segn posibilidades de combinacin
de V o F por cada variable, y tantas columnas segn proposiciones y conectivos estn
presentes:

p q r ~p ~p . q ~p . q r
V V V F F V
V V F F F V
V F V F F V
V F F F F V
F V V V V V
F V F V V F
F F V V F V
F F F V F V

Si el resultado obtenido en la ultima columna de tabla es siempre Verdadero, la frmula
se llama Tautologa. si es Falso la frmula se llama Contradiccin.
Y si es al menos una es F y una es V la frmula recibe el nombre de Contingencia.

En el ejemplo dado tenemos una contingencia.

Actividad 13:
Indica cuales de las siguientes frmulas son FBF escribiendo el nombre de cada una.
Aquellas que no lo sean, explica por que no lo son:
a) p . q ~ r b) p . ( q v ~ r)
c) p v q . r d) p q ~ r

Actividad 14:
Las empresas privadas y las publicas de energa participan en el desarrollo
econmico del pas, pero las publicas no tienen fundaciones

i- Si llamamos con p , q, etc. , a cada una de las supuestas variables proposicionales que
intervienen, indica cual es la frmula lgica correcta, de las opciones siguientes:

a) p . q . ~ r c) p . q . ~q
b) p . q ~r d) p . q ~q
ii- Si tuvieses que construir una tabla de verdad para esta frmula lgica.
Cuntos renglones tendra?
iii- Supongamos se sabe que en la frmula : p es V , q es F , se puede saber el valor de
de verdad de la proposicin compuesta?
iv- Evaluando todas las posibilidades, Que tipo de frmula es?

- 13 -
Actividad 15:
Construye aparte una tabla de valores para cada frmula y observa los resultados de la
ltima operacin realizada :
a) ~ ( ~p) b) (~p q ) ( ~q p )
c) (~p q ) . ~ ( ~q p ) d) ~( p q ) ~ p ~q

Actividad 16:
Probar que las frmulas que se dan a la izquierda son equivalentes a las de la derecha
construyendo tablas de verdad y asignando en el mismo orden los valores de V y F de las
variables proposicionales que intervienen:
a) ~ (p . q ) b) ~ p v ~q
c) ~ (p v q ) d) ~ p . ~q
e) ~ ( p q ) f) p . ~ q

Leyes lgicas
Como en la actividad anterior, existen frmulas cuyos resultados de los valores de verdad
son iguales para una misma forma de asignacin de los valores de las variables proposic.
Diremos que son equivalentes y lo simbolizaremos con o con .
Estas frmulas se conocen como Leyes lgicas y alguna de ellas son:
i. Involutiva: ~(~p) p
ii. Conmutativa: de la conjuncin y de la disyuncin:
p . q q . p p v q q v p

iii. Asociativa: de la conjuncin y de la disyuncin
(p . q) . r p . (q . r) (p v q) v r p v (q v r)

iv. Distributiva: . con respecto a la v y de la v con respecto a la .
p . (q v r) (p . q) v (p . r) p v (q . r) (p v q) . (p v r)

v. Leyes de De Morgan:
~ (p . q ) (~ p v ~q ) ~ (p v q ) (~ p . ~q )

vi. Definicin del Condicional : p q ~ p v q

vii. Negacin de un condicional ( No es lo mismo que el contrario)
~( p q ) p . ~ q

Nota: Para probar si una frmula es una ley lgica se debe construir una tabla y
obtener una tautologa

- 14 -
Actividad 17:
Reducir las siguientes frmulas, aplicando las leyes lgicas en forma conveniente:
a) ~ ( p . ~ q ) b) ~ (~p v ~q )
c) ~ ( p q . r ) d) ~ [ p v (q r)]
Actividad 18:
Dados los siguientes condicionales, formular los condicionales asociados tanto en forma
simblica como coloquial.
Adems, probar que el directo y el contrarrecproco son equivalentes siempre
( usar Tabla de valores)

a) Si el Banco Central y el Banco Nacin no compran dlares, la inflacin deber
bajar y se frenar el alza de precios de la canasta familiar
b) Se genera inflacin y suba de precios , si se aumentan los sueldos y no baja el
precio del petrleo segn el mercado

Son tambin equivalentes el recproco y el contrario? Justifica.

1.2 FORMA O FUNCIN PROPOSICIONAL
En economa hay funciones que llamamos de Costos y de Ingresos. Por ejemplo:

C(q) = 10q
2
5q e I(q) = 6q
2
+ 18q donde q representa el n de unidades.

De hecho no son proposiciones pues no se puede decir de ellas si son Verdaderas o Falsas.
Son funciones proposicionales y dependen (como toda funcin) de un valor numrico de q.
Analicemos la funcin I(q)
Si q = 10 I(10) = 780 es una proposicin y Verdadera
En cambio si q = -2 I(-2) = -12 , es una proposicin Falsa ( I no puede ser negativo )
Tambin son funciones proposicionales los siguientes ejemplos:
x es par ; x + y < 2000 ; y = 3x 5 ; x > 3 . x < 5 ,
2k es par 2k+1 es impar , etc.

En todos estos casos el conjunto de valores que pueden asumir algunos son nmeros enteros.
Otras expresiones poseen otros conjuntos de elementos que definen el dominio de la variable.
Ejemplos:
z es alumno de CPN ; x obreros preparan un paro y un piquete en la ruta 9

- 15 -

Se denomina forma proposicional o funcin proposicional, a una expresin que contiene una
o ms indeterminadas que, al ser reemplazadas por elementos de un conjunto fijado (dominio
de la variable) se transforma en una proposicin.
Se simboliza con : P(x) , Q(x), P(x,y) , R(x,y,z) , etc
donde x, y, .. son las indeterminadas

La construccin de proposiciones a partir de funciones proposicionales, requiere la definicin
previa de un dominio de trminos posibles.
Ejemplo: p(x): x es par forma proposicional ( No es proposicin)
donde x est indeterminada y puede tomar valores de un conjunto U fijado.

Supongamos que el universo de los elementos de x sea: U = { 1, 2, 3, 4}
As si x = 1, p(x) se convierte en: p(1) :1 es par proposicin falsa
si x = 2 , p(x) se convierte en: p(2) : 2 es par proposicin verdadera

Se llama Universo U de la funcin proposicional a el conjunto de valores posibles que
sustituyen a la/s variable/s. Un ejemplo: U = 9 (Nmeros Reales).
Como interesan las proposiciones verdaderas deberemos precisar otro conjunto que
est incluido en el Universal y que contenga todos los valores convenientes .Definimos

CONJUNTOS DE VERDAD:
Es un subconjunto del Universal y tiene los valores que al ser sustituidos en la/s
indeterminada/s, de la funcin proposicional, convierten a la expresin en una proposicin
verdadera.
Se simboliza con letras maysculas : P , Q, etc.
En el ltimo ejemplo el conjunto de verdad de la funcin P(x) es : P = { 2,4 }

Actividad 19:
Simbolizar las siguientes formas proposicionales y proponer dos ejemplos de
sustitucin verdaderos y dos ejemplos de sustitucin falsos para cada una de ellas:

a) x es nmero impar. b) x es divisor de 120

Actividad 20:
Simbolizar las siguientes formas proposicionales y determinar sus respectivos
conjuntos de verdad:

a) U = N ; x -5 < 8 b) U = Z ; 3 - x = 6

c) U = N ; x
2
= 25 d) U = R ; x
2
+ 2 = 38

- 16 -
Cuantificadores:
A partir de funciones proposicionales es posible obtener proposiciones generales mediante
un proceso llamado de cuantificacin usando trminos que expresen ideas
del total del conjunto U en el cual estn definidas o bien una parte del mismo.

Existen dos tipos de cuantificadores :

Universal ( general) y Existencial (particular)

Cuantificador Universal :
Las funciones proposicionales (en una indet.) se cuantifican universalmente cuando le
asociamos a la indeterminada x expresiones como:
Para todo , Cualquiera , Cada . Simblicamente: x : P(x)
Se lee Para todo x se verifica P(x)

Ejemplo:
Sea P(x) : x es alumno de 1er ao de la carrera de C P N que cursa matemtica
Supongamos que: U = {alumno de 1
er
ao de la carrera de CPN }
Una cuantificacin de P(x) es :
Todo alumno de la carrera de C. P. N. de 1 ao cursa matemtica
Simblicamente: x : P(x)
Cuantificador Existencial :
Una forma proposicional se cuantifica existencialmente cuando le asociamos a la
indeterminada x expresiones como :
Existe al menos , Algunos, etc. Simblicamente: - x / P(x)
Se lee: Existe al menos un x tal que

Para el ejemplo dado :

Algunos alumnos de la carrera de C.P.N. de 1 ao no cursan matemtica

Simblicamente: - x / ~ P(x)


- 17 -
NEGACIN DE CUANTIFICADORES

La negacin de un cuantificador universal es equivalente a una cuantificacin existencial con
la propiedad de x negada. Y a su vez:

La negacin de los cuantificadores existencial es equivalente a un cuantificador universal con
la proposicin negada

Es decir, en forma simblica suponiendo que exista una funcin preposicional P(x)
Cuantificada de una u otra forma:

~[ x : P(x)] - x /~ P(x) ~ [- x / P(x) es V] x: ~ (Px)

Ejemplo:
Todos los artculos de la canasta familiar han aumentado
Negacin Existe algn artculo de la canasta familiar que no ha aumentado.

Ejemplo:
Algn argentino debe al menos una tarjeta de crdito.
Negacin Todos los argentinos no deben una tarjeta de crdito.

Actividad 21:
Dado el conjunto universal U = { x / x es un nmero. dgito } y las funciones proposicionales:

a) p (x) : x s 9
b) q (x) : x > 9
c) r (x) : x < 7
i) Encontrar el conjunto de verdad correspondiente a cada funcin proposicional.
ii) Se puede encontrar proposiciones falsas para algn valor del Universal?
iii) Cuantificar cada funcin para que resulte una proposicin V.

Actividad 22:

Escriba en forma simblica las siguientes estructuras lgicas, usando
cuantificadores e identificando las funciones proposicionales que intervienen.
i) Algunos comerciantes expenden bebidas alcohlicas despus de las 23 hs
ii) Algunas fbricas no pueden competir con las importadoras o siempre arrojan
prdidas.
iii) Ningn comestible ha bajado de precio y alguno no se consigue.
v) No todos los estudiantes tienen un mtodo de estudio. Por lo tanto algunos
estudiantes no obtienen buenos resultados.

Para reflexionar: Si realmente tuviese que opinar en forma crtica respecto de las
expresiones dadas Cul proposicin sera Verdadera? Cul falsa?
Cul no se podra saber? Qu modificacin hara para saber si es V o F?

- 18 -
Actividad 23:
Niegue las funciones proposicionales del ejercicio anterior en forma simblica y coloquial.

Actividad 24:
Propone en forma coloquial ejemplos de expresiones de tipo econmicos o social que
tengan la siguiente forma:

a) x : (p(x)
v
q(x))
b) - x / (p(x)
.
q(x))
c) ~x : p(x) - x / q(x)

Niegue en forma simblica y coloquial las expresiones a y b del ejercicio.
Obtenga el contrarrecproco del condicional c

- 19 -
1.3 De los Conjuntos a las Funciones

Problema: Lee atentamente el siguiente texto
Anlisis de consumo
En un estudio de 100 consumidores realizado en un centro comercial un dia viernes ,
75 consumidores indicaron que compraban la marca M de cierto shampoo, 60 compraban la
marca P y 40 adquieren ambas marcas. Determine la cantidad de consumidores
participantes en el estudio, quienes compraban:
a) Solo la marca M
b) Al menos una de las marcas.
c) Exactamente una de estas marcas.
d) Otra marca que no sea P ni M

Antes de poder aplicar matemticas a la solucin de problemas reales, hay que formular
estos problemas en el lenguaje de la matemtica. Este proceso se conoce como
MODELACIN MATEMTICA.
Un modelo matemtico puede describir si no con precisin, con una aproximacin
aceptable, el problema en cuestion.
Para explicar y resolver el problema dado vamos a aplicar algunos trminos, conceptos
y operaciones que se utilizan en la Teora de conjuntos ( ver anexo al final de la guia)
Rta:
En el problema se presentan tres conjuntos de personas que lo expresaremos con:

U = { personas de un centro comercial consumidores de shampoo} (universal)
A = { x e U / x es consumidor de la marca M }
B = { x e U / x es consumidor de la marca P }

Esta forma de presentar o definir los conjuntos se llama por comprensin.
La otra posibilidad de definir es por extensin si se sabe el nombre de las personas que
conforman cada conjunto, lo cual no es posible en este caso.
A los conjuntos los podemos representar utilizando recintos cerrados , llamados
diagramas de Venn. Esta representacin vara y depende de la informacin del problema.
En este caso:

U
A
B
Tanto A como B estan incluidos
en U. Esto se simboliza
A c U , B c U
( donde c significa incluido )

- 20 -
Para hacer referencia a la cantidad de elementos de cada conjunto emplearemos el smbolo
# (se le: cardinal ) de un conjunto. Para nuestro caso se tendr:
# U = 100 # A = 75 # B = 60
El problema dado corresponde a los denominados Problemas de conteo pues requiere
obtener el nmero de elementos de un conjunto de consumidores que cumplan con una
condicin. En el grfico distinguiremos con I, II, III y IV las regiones que cumplen
una determinada condicion:

Regin I: formada por consumidores en comun a ambos conjuntos, pues cumplen la misma
condicin: la de adquirir ambas marcas. Definimos para esta region el conjunto
INTERSECCION de A y B ( en smbolos A B) :
A B = { x e U / x es un consumidor de la marca M y de la marca P}
(Utilizamos la conjuncin de funciones proposicionales)
A este conjunto interseccin le asociamos el cardinal 40. O sea : # (A B) = 40

Para obtener los conjuntos de las regiones II, III y IV, utilizamos las operaciones
conjuntistas a partir de los conjuntos dados y luego le asociamos el cardinal , mediante
sumas o restas.
En general las operaciones entre conjuntos son: Interseccion, Union y Diferencia
( adems del complemento de un conjunto).
Region 2 : significa que hay una persona que consume exclusivamente M (y no otra).
En el lenguaje conjuntista se puede intepretar como una
diferencia entre A menos B , A B
Como hay elementos que estan en A y B , tambien se
puede hacer: A (A B)
a) Luego: # [ A (A B) ] = # A # (A B) =
75 40 = 35 consumidores.
U
A B
A
B
IV
I
II
III
U

- 21 -

b) Cantidad de consumidores de al menos una de las marcas
Significa que consume o una marca o la otra o ambas. Esto siempre define la Union
entre los elementos de A y B, y se quiere saber: # (A B )
Hacemos: # (A B ) = # A + # B # (A B)
# (A B) =75 + 60 40 = 95 consumidores
Un error muy comn es: 75 + 60 = 135
Por qu?

Otra forma es obtener el cardinal de # (A B) es sumando las Regiones II, I y III.
c) Cantidad de consumidores de exactamente una de estas marcas : significa que hay
una x persona que consume A o B , pero no ambas a la vez.
Tendriamos que hacer como en el caso (a) tanto para los x que estan en A
exclusivamente, como los que estan unicamente en B.
O sea :

A (A B ) y B (A B )
Siendo: # [A (A B)] = 75 40 = 35
y # [B (A B )] = 60 40 = 20
Luego la cantidad pedida es: 35 + 20 = 55
Este resultado es la unin de cada una regiones obtenidas.
O sea: [A (A B )] [ B (A B ) ]

d) Regin 4:
Cantidad de consumidores de ninguna de estas marcas:
Es el conjunto formado por todos los elementos que no estn en la unin de A y B.
Es el complemento de AUB. Queda como ejercicio.

A
B
A
B

- 22 -
Actividad 25:
Sea U el conjunto de todos los estudiantes de la facultad de humanidades y Cs de la Salud
Adems sean: A= { x / x asisti al curso de contabilidad }
B = { x / x asisti al curso de administracin }
C = { x / x asisti a un curso de Impuestos }
Escriba el conjunto representado por cada enunciado:
1.1. El conjunto de estudiantes que ha asistido al curso de contabilidad e Impuestos
1.2. El conjunto de estudiantes que ha asistido al curso de contabilidad y administracin, pero
no de Impuestos.
1.3. El conjunto de estudiantes que no ha asistido a los cursos de contabilidad, economa o
administracin.

Actividad 26:
Sean U el conjunto de todos los turistas encuestados durante un perodo de una semana
en Bs As y los siguientes conjuntos :
A = { x e U / x utilizo el tren subteraneo }
B = { x e U / x utilizo un taxi}
C= { x e U / x utilizo un colectivo }
Exprese las regiones indicadas en notacin de conjuntos
Y por comprensin las siguientes:
2.1 Region 3
2.2 Region 4 y 5 juntas
2.3 Region 5
2.4 Region 5, 6 y 7 juntas
2.5. Region 1

Actividad 27: Anlisis econmico:
Un estudio de las opiniones de 10 economistas lderes en cierto pas mostr que, debido a
que se espera una baja en los precios del petrleo:
7 redujeron su estimacinde la tasa de inflacin.
8 aumentaron su estimacin de la tasa de crecimiento del PBI.
2 redujeron su estimacin de la tasa de inflacin pero no aumentaron su estimacin de la
tasa de crecimiento del PBI en ese pais durante los prximos 12 meses.
Cuntos economistas redujeron su estimacin de la tasa de inflacin a la vez que
aumentaron su estimacin de la tasa crecimiento del PBI para ese perodo?
U
A B
C
1
4
5
6
7
3

- 23 -
1.4. RELACIONES Y FUNCIONES:
Problema 1 :
Se desea viajar de Santiago del estero a San Martin de los Andes , y no
existe un transporte directo. Solo lo hacen hasta Mendoza y de alli hay otras empresas.
Sea A el conjunto de dos empresas que viajan a Mendoza y B el conjunto de tres empresas
que hacen el recorrido Mendoza - San Martin de los Andes :
A={ e
1
, e
2
} # A = 2
B ={ s
1
, s
2
, s
3
} # B = 3
De cuntas formas se podr viajar de Santiago a San Martin de los Andes con estas
empresas?

Respuesta:
Podemos utilizar un diagrama de rbol para visualizar las posibilidades:

Esta claro que son 6 las formas de viajar de Santiago a San martin de los Andes.
Esta forma de combinar los transportes los podemos expresar simblicamente utilizando
El PRODUCTO CARTESIANO de los conjuntos dados. A saber :
A X B = { (e
1
s
1
) , (e
1
s
2
) , (e
1
s
3
) , (e
2
s
1
) , (e
2
s
2
) , (e
2
s
3
) }
El producto de A por B ( lo notamos AxB) tien por elementos a los pares ordenados donde
la primera componente pertenece al primer conjunto y la segunda componente al 2
conjunto.
Se puede graficar la situacion de la forma siguiente:

Las formas de viajar de San martn de los Andes a Santiago sern las mismas?
e
1

e
2
s
s

s
s

s
3
Santiago
Mendoza
S
a
n

M
a
r
t
n

d
e

l
o
s

A
n
d
e
s

Mendoza

- 24 -
En general: Dados dos conjuntos A y B no vacios :

El producto cartesiano de A por B se define como: el conjunto de todos los
pares ordenados tal que la primera componente esta en A y la segunda est en B
A x B = { (x,y) / x e A . y e B }

se lee: par ordenado de primera componente x y segunda componente y
El producto cartesiano no es conmutativo dado que: AxB BxA

Actividad 28:
Dados los conjuntos siguientes :
A = { a,b,c} ( conjunto de tres camisas diferentes: azul, blanca y celeste )
B = { m,n,g} ( conjunto de tres pantalones diferentes: marron, negro y gris)
Deseamos conocer de cuntas formas diferentes se pueden combinar los pantalones
y las camisas en ese orden.

Problema 2:
Sean los siguientes conjuntos:
A = { x/ x es la cara de un dado} y B = { x / x es una carta de bastos del 1 al 12 }
a) Si se desea primero arrojar el dado y luego sacar una carta Cuntos resultados
posibles se pueden presentar?
b) Y si gana el que tira un dado y luego saca una carta, tal que la suma de 10?
c) Y si se gana el que obtenga por suma 6? Define cada una.

2- Definamos relacin entre dos conjuntos cualesquiera A y B no vacios.
Relacin entre A y B es todo subconjunto del producto cartesiano AxB
En smbolos:
R es una relacin de A en B R c AxB


- 25 -
Ejemplo: Supongamos sean:
A = { 1,2,3 } , B = { 1,2 }
y la relacin R = { (x ,y) / x + y s 3 }
( que la suma de la 1 y 2 componente
sea menor o igual a 3)
Por supuesto se tendr: R = { (1,1), (1,2), (2,1)}

Estas relaciones se pueden representar tambin mediante ejes cartesianos.

Asociado a toda Relacin se presentan los conceptos de Dominio y Codominio.

Siguiendo el ejemplo dado por R , definimos:

D
R
= { 1, 2 } y C
R1
= { 1, 2 }

Actividad 29:
Dados los conjuntos A = {2, 3, 4, 5, 6 } B = {4, 5, 6, 7, 8, 9 } y las relaciones :
9
1
: x 9 y x es divisor de y

9
2
: x 9 y x > y
a) Se pide definir por extensin la relacin 9
1

b) Se pide definir por extensin la relacin 9
2

c) Define el Dominio y el Codominio de cada una de las relaciones dadas.
d) Representar en ejes cartesianos cada una.

Actividad 30:

Sea la relacin R = { (a,1) , ( b,2) , ( c, 1), ( b,3) } definida de un conjunto A en B

a) Determina el Dominio y el Codominio de R.
b) Propone por lo menos un conjunto A y otro B cuyos elementos estn relacionados.
Dominio: es el conjunto de las primeras componentes de los pares que estn en la
relacin. El dominio de la relacin es el subconjunto del conjunto de partida. D
R
c A.

Codominio ,Imagen o Recorrido: es el conjunto de las segundas componentes de
los pares de la relacin. Es un subconjunto del conjunto de llegada. C
R
c B

1

2

3 .
1

2


- 26 -
FUNCI N (APLI CACIN)
En la vida diaria nos encontramos (a veces) con la nocin de correspondencia.
Por ejemplo, a cada persona le corresponde una fecha de nacimiento,
a cada libro le corresponde un nmero de pginas, a cada objeto le corresponde un peso,
a cada rectngulo le corresponde un rea, a cada nmero no negativo le corresponde su raz
cuadrada, etc.

Una funcin f entre un conjunto A (al que le llamaremos dominio) y otro B es una relacin
entre A y B en la que a cada elemento de A le corresponde un nico elemento en B.
Simblicamente: f : A B
Denotaremos a las funciones con letras f, g, h, t, u..
Por ejemplo:
Sean los conjuntos: A = {t, s} , B = {k, p, m} y la funcin f, definida de la forma:
f = {(t, k) , (s, m)}
A B

funcin que se puede expresar Tambin:

f : A B / f = {(t, k) , (s, m)}

Se llaman imgenes a las segundas componentes de los pares de la funcin ( en este caso k y m)
En ese sentido, simbolizaremos: f(t) = k y f(s) = g
En general: Cualquiera A el conjunto, llamamos con x uno cualquiera de sus elementos.
Si f es una funcin de A en B , A = D
f
, indicaremos la imagen de x con f(x),
y se simbolizara:
f : A B
x f(x)

Definicin 2:

La condicin i) exige que : D
f
= A , aunque no es necesario que R
f
= B
ii) exige que si hay dos pares que tienen la misma primera componente , las
segundas tambin debern ser iguales.
Sean A y B conjuntos no vacos y f una relacin de A en B ( f c A x B ) .
f es una funcin de A en B s y solo s se cumplen las condiciones de:

i) Existencia : cada elemento de A le corresponda al menos una imagen en B
En smbolos: a e A , - b e B / (a, b) e f
ii) Unicidad : la imagen de cada elemento de A debe ser nica
En smbolos: (a, b) e f . (a, c) e f b = c

t -

s -
- k
.p
- m
Se lee:
f es una funcin de A en B que a
cada x perteneciente a A le asigna
como imagen f(x) en B


- 27 -

El ejemplo siguiente: R = {(t, p),(s, k),(t, g)} no es funcin.Por qu?

Actividad 31:
Indica cuales de las siguientes relaciones no es funcin. Justifica:
a) b)

Actividad 32:
Sean los conjuntos: A = { a , b , c , d } y B = { 1 , 2 , 3 , 4 }, y las relaciones:
R
1
= {(a,1) , (b,1) , (c ,1) , (d ,1)} R
2
= {(a , 1) , (b , 2) , (d , 4) , (b , 3)}
R
3
= {(a,4) , (b ,3) , (c ,1) , (d ,2)} R
4
= {(a ,1) , (b , 4) , (c , 4) , (d ,4) ,(a ,2)}
i) Cuales son aplicaciones o funciones? Justifica.
ii) Indicar dominio y recorrido de las funciones.

Actividad 33:
Sean los conjuntos: A={ -1, 0, 1 , 2 } , B = { 0, 1, 2, 3, 4 } y la funcin:
g = {(x,y) / y = x
2
}

i- Define por extensin la funcin f (escribe el conjunto de pares ordenados)
ii- Representa en ejes cartesianos.

Actividad 34:
Sean A = Z y B = Z ( Conjunto de los nmeros Enteros). Analiza si el siguiente grfico que
representa una parte de un grfico mas grande es o no una aplicacin.

a -
b .
c-
- 1
. 2
- 3
-1 -

-2-
- 1
. 2
- 3

- 28 -
1.5 . Ley de composicin interna

Una operacin binaria a veces es una funcin
Consideremos los conjuntos: A = { 1, -1 } , B={1, 2, 3, }
y las relaciones particulares :

R
1
= { ((x,y) , x.y ) Relacin de AxA en A
(a cada par ordenado de elementos de A le asigne el producto de sus componentes)

R
2
= {((x,y) , x+y )} Relacin de BxB en B
(a cada par ordenado de elementos de B le asigne la suma de sus componentes)

Si representamos cada una tendremos:

Esta relacin es funcin. Es ley interna en A. En esta relacin hay pares que no tienen imagen.
No es ley interna en B

Sea A un conjunto cualquiera no vaco y V una operacin.
Una ley de composicin interna en A es una FUNCION que asigna a cada par ordenado
de elementos de AxA un nico elemento de A, y lo expresamos simblicamente:
V: A x A A
(u,v) V (u,v)

Otra forma: V es un l.c.i en A V : A
2
--> A
De manera que : u e A . v e A u V v e A

Por ejemplo R
1
es funcin cumple con ambas condiciones: D
R
= A (existencia ) y de unicidad.
Luego es una Ley de composicin interna ( l.c.i.)

En una tabla de doble entrada podra simplificarse sta situacin. La misma relacin R
1
:

1 -1
1 1 -1
-1 -1 1
(1,1)
(-1,-1)
(-1,1)
(1,-1)

1

-1
AxA A
BxB
(1,1)
(1,2)
(1,3)
(2,1)
(2,2)
(2,3)
......

1
2

3

B

- 29 -
POSIBLES PROPIEDADES y ELEMENTOS DISTINGUIDOS DE UNA LEY DE
COMPOSICIN INTERNA

Sea *: AxA A una ley de composicin interna, se pueden cumplir las siguientes propiedades:

1. Asociatividad: * es asociativa si y slo s a, b, c e A : (a * b) * c =a * (b * c)

2. Conmutatividad: * es conmutativa s y slo s a, b e A: (a * b) = (b * a)

3. Existencia de elemento Neutro: - e e A aeA :
a * e = e * a = a ( Es nico para todos)

4. Existencia de elemento Inverso: sea * una l.c.i. con elemento neutro e;
a e A, - a
-1
e A a * a
-1
= a
-1
* a = e

Nota: a
-1
recibe el nombre de inverso de a . Este es nico por cada elemento.

Ejemplos:

1.- En la siguiente tabla de doble entrada se define una ley de composicin interna en el
conjunto A ={p ,q}

+ p q
P p q
q q p

Analizaremos algunas propiedades de la operacin definida

Asociativa:

- (p + p) + p = p + p = p
p + ( p + p ) = p + p = p (p + p )+ p =p + (p + p)

- (p + p) + q = p + q = q
p + (p + q) = p + q = q ( p + p) + q = p + (p+q )
- (p + q ) + p = q + p = q
p + ( q + p ) = p + q = q (p + q ) + p = p + (q + p)
(Seguir probando para todos. En total son 8 casos).

Conmutativa:
p + q = q
q + p = q p + q = q + p

Elemento Neutro: es p , pues p + p = p y q + p = q

Inversos: el inverso de p es p , pues p + p = p (neutro)
y el inverso de q es q , dado que q + q = p

Si una L.C.I * definida en un conjunto A es asociativa, tiene elemento neutro
y admite inverso, se dice que el par (A, *) es un GRUPO. Si adems cumple la
conmutatividad, es un Grupo conmutativo o abeliano.
Por ej.: ( Z , +) , ( Q {0}, . )

- 30 -
2.- Dada la operacin * definida de la siguiente forma:

* : Q x Q Q
(a, b) a * b =
2
b a

( * es l. c. i. , pues las dos operaciones y : estn definidas en Q )

Analizaremos algunas propiedades considerando tres nmeros racionales x, y, z
cualesquiera
- Conmutativa: x * y =
2
y x

Y * x =
2
x y
Luego x * y = y * x
- Elemento Neutro: Planteamos x * e = x
-
2
e x
= x e = -2x + x e = -x
Esto nos indica que el neutro depende de cada valor de x .Absurdo puesto
que el neutro es nico

Actividad 36:

Decide si son leyes de composicin interna ( l.c.i.) las operaciones y definidas en
A = { } 3 , 2 , 1 , segn las tablas:

1 2 3
1 2 1 3
2 1 2 3
3 3 3 1

Adems analizar: a) la conmutatividad
b) la existencia de elemento identico o neutro
c) la existencia de inversos.
Actividad 37:
Sea A = {2, 3, 4} y una ley definida en A x A tal que : 4 2 = 3
Confeccionar una tabla para que la aplicacin sea l. c. i. , con inverso.

Actividad 38:
Sea B = {1, 3, 5} y una ley definida en B x B tal que : 1 3 = 1
Confeccionar una tabla para que la ley sea l. c. i. con elemento neutro 5 y no
sea conmutativa.
1 2 3
1 3 2 1
2 1 3 2
3 1 2 3

- 31 -
APUNTE ANEXO
CONJUNTO: (Es un concepto o trmino primitivo)

Pertenencia: es tambin un trmino primitivo y se lo utiliza para expresar si
un elemento pertenece o no a un conjunto dado. Por ejemplo: A ={ 1, 2,3 }
1 e A, 2 e A y 3 e A , pero 4 e A
Diagramas de Venn: Son recintos planos cerrados en cuyo interior
se ubican los elementos mediante puntos y
sirven para representar los conjuntos.

Conjunto finito: Es el conjunto que tiene una cantidad n (natural ) de elementos .
Ejemplos : V = {a, e, i, o, u} M ={0,1,2,3,........,10000}

Cardinal de un conjunto: Dado un conjunto A finito, es la cantidad de elementos que tiene A
y lo simbolizamos con: #A Del ejemplo anterior: #A = 5

Existe solo un conjunto sin elementos es el conjunto vaco que notamos con C o { }

Conjunto infinito: Es el conjunto que no es finito. Ejemplo N
0
= {0,1,2,3,4,5,6....}.

En el ejemplo dado se puede observar que el conjunto A esta dentro de otro conjunto B que tiene
por elementos a todos los que consumen la marca M.
Se dice en ese caso que A esta incluido en B o es un subconjunto de B ( o que B incluye a A)

Inclusin: Un conjunto A est incluido en otro B cuando cada elemento de A est en B

Esto se expresa simblicamente con: A c B x: (x eA x eB)

B A

A c B
( A es un subconjunto de B; A es parte de B)
Propiedades
1) A c A ( A es subconjunto de s mismo).
2) C c A ( El conjunto vaco es un subconjunto de cualquier conjunto)

Conjuntos iguales: A = B A c B . B cA

B m c
j f

- 32 -
OPERACIONES ENTRE CONJUNTOS

Sean dos conjuntos A y B subconjuntos de un Universal U dado. Definimos:

Unin: (A B)
La unin es el conjunto cuyos elementos son del primer conjunto o del segundo conjunto o
de ambos. El conectivo lgico para la interseccin es la disyuncin incluyente.
Ejemplo: A = {0,1,2,3} y B ={4,5} , luego : A B = { 0,1,2,3,4,5 }

Interseccin: (A B )
Entre dos conjuntos es otro conjunto formado por elementos que estn en el primer y
el segundo conjunto. El conectivo lgico para la interseccin es la conjuncin.
Ejemplo: A = {1,2,3,4,5,} y B = {1,3,6,7} luego : A B = {1,3}

Conjunto disjuntos
Los conjuntos que no tienen elementos en comn se denominan disjuntos
Por ejemplo: el conjunto de los nmeros pares y el conjunto de los nmeros impares.

Diferencia de conjuntos: (A B )
La diferencia de A menos B ser un nuevo conjunto formado por todos los elementos
que pertenecen al conjunto de A y no pertenecen al conjunto B.
Ejemplo: A = {1,2,3,4,5,6} B = {1,2,3} , luego A B = { 4, 5 }

Tambin definimos:
Complemento: (A
c
o C
A
)
De un conjunto A, es el conjunto formado por los elementos
del U que no estn en A.
A
c
= C
A
= {x e U . x e A }

Ej: U = {a,e,i,o,u} y A = {a,e,o}
Entonces su complemento es A
c
= { i ,u }

A

A'

- 33 -

En resumen:

Operacin-
>

Unin Interseccin Diferencia

Definicin
simblica

AB =
{ x e U / x eA v x e
B }

A B =
{x e U / x e A . x eB }

A B =
{ x e U / x e A . xe B}

Representacin
En diagrama

A
B

A B

A

B

A
B


- 34 -
1.6 . PARA EJERCITARSE:

1- Analice las siguientes expresiones lingsticas e indique si son o no proposiciones:

a) El presidente de la Republica es el jefe de estado y personifica a la Nacin
b) Los nmeros irracionales no son inteligentes
c) Hace unos aos se consideraba a la computadora como una gran calculadora,
pero hoy habla de sus logros intelectuales.
d) El gobierno y la municipalidad obsequiaron una beca a una nia de escasos recursos.
e) General Motors despedir a 3500 personas.
g) 7 es el nmero ms importante.

2- Indica si las proposiciones son simples o moleculares. En el caso de ser moleculares,
identifica a las proposiciones componentes y sus conectivos.

i) Ledesma se quedara con el ingenio la Florida
ii) El auto es blanco o es grande, pero no es cmodo.
iii) Si Marcelo es joven entonces es rebelde
iv) Margarita es soltera o casada
v) De salir el sol iremos al parque y escucharemos msica.
vi) Si se mantienen los niveles de recaudacin, Santiago del Estero no tendr problemas
en cumplir con el presupuesto para este ao

3- Propone:
3.1 Cuatro expresiones que no sean proposiciones.
3.2 Una proposicin compuesta que tenga una conjuncin y un condicional.

4- Dadas las siguientes proposiciones p , q , r formar con ella mediante los conectivos
lgicos vistos, las proposiciones compuestas que se indican:

p: El dlar libre se mantiene invariable.
q: El gobierno aumenta los sueldos.
r: La canasta familiar se mantiene estable.
a) ( p . q ) v ~ r b) ~ p ~ q
c) r ~q . r d) ~ r v ~ p ~ q


- 35 -
5- Completa las siguientes tablas de verdad:

6- En la siguiente expresin:
El canje de deuda se realizar en ms de un 76% , si solo si los bonistas no
rechazan la oferta y EE. UU. da un apoyo a la operacin.
a) Expresa mediante una frmula lgica identificando las proposiciones simples que la
componen.
b) Niegue la frmula dada y simplifique usando las leyes lgicas.
c) Traduzca en forma coloquial el punto anterior.

7- En el siguiente texto:
La Bolsa portea no pudo sostener su recuperacin inicial y cerr la rueda con un
retroceso del 1,44%, en un contexto de alta volatilidad en los principales mercados
del mundo. El Merval perdi fuerza con el paso de las horas y estando a tono con los
vacilantes movimientos de los mercados extranjeros, cerr en 930,12 unidades

a) Identifique todas las proposiciones simples asignndole letras diferentes.
b) Escriba una frmula lgica que vincule todas las proposiciones dadas.

8- En el siguiente texto:
.Es posible que la empresa no advierta que su producto no cumple con las expectativas
de sus consumidores, o que los intermediarios no estn funcionando en forma
adecuada.
a) Identifique todas las proposiciones simples asignndole letras diferentes.
b) Escriba una frmula lgica que vincule todas las proposiciones dadas.
c) Suponiendo que la proposicin los intermediarios no estn funcionando en forma
adecuada. Sea verdadera, analice todos los valores de verdad que puedan
presentarse en el resto de las proposiciones para que la frmula resulte verdadera.
r s s . r ~s ~r ~s . ~r
V V
V F
F V
F F
p q q v p ~p ~p q v p
V V
V F
F V
F F
p q
(p v q) p
V V
V F
F V
F F

- 36 -

9- Escribir mediante frmulas lgicas las proposiciones compuestas y analiza si las
frmulas son tautologa, contingencia o contradiccin
a) Si los gustos del consumidor cambian a favor del bien considerado, a igual
precio, se demandar mayor cantidad. De lo contrario, la cantidad demandada
diminuir.

b) Como el grupo Techint no necesita fondos para el proyecto, no habr nuevos socios
para construir el edificio mas alto de la ciudad. Sin embargo como hay nuevos socios,
necesita fondos para el proyecto.

10- Dadas las siguientes frmulas lgicas, elija las proposiciones simples y
reemplcelas en cada una de ellas, en forma coloquial

a) ( p . q r ) ~ p v q
b) ( p v q ) . ( q v r ) p v r

11- Sabiendo que en la expresin:
De aumentar el valor de las tarifas, habr dficit en la economa. Pero habr
desocupacin, si hay dficit en la economa
Una de las proposiciones, llammosla p: El valor de las tarifas aumenta es F (falsa)
Cul deber ser el valor de verdad de las otras proposiciones para que toda la
proposicin compuesta resulte Falsa?

12- Colocar parntesis (si fuera necesario) para que la frmula lgica corresponda a la
proposicin que se indica en cada caso:
a) -Condicional: p v q r . p
b) -Conjuncin: p . q r v s
c) -Negacin: ~ p q . r
d) -Disyuncin: p q v r
e)-Negacin: ~ p . (q r)
f) -Disyuncin: p . q v r
g) - Conjuncin p . q v r


- 37 -
13- Construya las tablas de verdad de las siguientes formulas lgicas. Clasifquelas.
a) ( p . q) . r p . ( q . r) b) ( r vq ) . m n
c) ( p s ) ( r v q p) d) ( ~ q v p r) ~ s
e) ( p . q r ) ~ p v q f) ( p v q ) . ( q v r ) p v r
14- Si ' p' es falsa qu resulta para?
a. p . p b. p v p

c. p (p v -p) d. (p v p) v (-p . . -p)

e. (p . -q) . (-p . . q)

15 - Expresar en forma simblica los siguientes condicionales y a partir de ello obtener
en forma lgica y coloquial el condicional equivalente correspondiente.

a) Si las retenciones aumentan, el productor tomar una medida de huelga.
b) Cuando el ndice de precio llegue a 1% podremos sacar crdito y compraremos un
auto.
c) Nuestra moneda se devala solamente si su valor disminuye y est atada al dlar

d) No podr recuperarse la economa ni el riesgo pas disminuir, si los piqueteros cortan
el transito y aumenta la crisis financiera en EEUU.

16- Indique cul es la condicin necesaria y cul es la condicin suficiente en las
siguientes proposiciones
a) La rentabilidad aumenta, si se rebajan los costos de produccin
b) Se llama issceles siempre que el triangulo tenga dos lados de igual medida

c) Si Jorge es un cliente del banco y solicita crdito, se le otorgar con solo
saber su historial crediticio.
d) No ser obligatorio la evaluacin de la capacidad de pago del prestatario para
el otorgamiento de un crdito

17- Simbolizar las siguientes formas proposicionales y determinar sus respectivos conjuntos
de verdad:
i- U = Z ; x + 10 = 8

ii- U = R ; x
3
- 3 = 5

iii- U = R ; x
2
+ 1 = 0

iv- U = N ; x > 3 . x < 9

v- U = Z ; 2x
2
= 32


- 38 -
18.- Simbolizar los siguientes enunciados e indicar a que tipo corresponden:

a) Todo Contador Publico que quiera emitir Informes profesionales, tiene que estar
adherido a la Federacin argentina de Consejos Profesionales.
b) No todos los economistas saben matemtica.
c) Algunas obras no han sido aprobadas.
d) Todo nmero entero no es mltiplo de 3.
e) Cada nmero par es divisible por 2.
f) Cualquier nmero natural par es mltiplo de 2 pero algunos son mltiplos de 3.
g) No existen los nmeros no primos.

19- Sean las expresiones:
a) Ninguna persona esta econmicamente bien y todas tienen algo no original.
b) Algunos economistas sostienen que lo mejor que podian hacer los gobiernos es
devaluar y mantener los precios, si no existen trabajadores que reclamen
c) Todos los empresarios fueron a la convocatoria de Beatriz Nofal, titular de la
agencia de inversiones, pero algunos empresarios fueron pesimistas.

i. Expresa en lenguaje lgico simblico cada una.
ii. Niegue en forma simblica y coloquial las expresiones dadas.

21.- a) De acuerdo a lo leido indica que conjunto siguiente est definido por extensin y cul
por comprensin:
i- A = { y e N / y < 6 }
ii- B = { 2,4,6,8 }
iii- C = { x e Z / x
2
- 5 x + 6 = 0 }
iv- D = { x e Z / x > -2 . x < 2 }
v- E = { 2, 3, 5, 7, 11, 13, 17 , 19}
b) A los conjuntos definidos por extensin, definelos por comprensin.
c) Hay un conjunto que incluya a otro? Exprsalo simblicamente.
d) Propone un subconjunto de E que tambin sea subconjunto de A
e) Obtener por extensin: A D y E A
f) Obtener graficamente: B E y D E
22.- - Tendencias de consumo:
De 50 empleados de un negocio comercial de Cordoba, 18 utilizaban el auto para ir a
trabajar, 12 el colectivo y 7 ambos transportes. Determine el nmero de empleados que:
a) Utilizan el auto o el colectivo para ir a trabajar
b) Solo viajan en colectivo para ir al trabajo
c) Usan el colectivo o el auto pero no ambos
d) Van al trabajo por otros medios.

- 39 -

23- De los 120 condumidores del texto dado, tambien fueron encuestados en relacin a
su preferencia por otro producto que se vende en el mercado de tres marcas diferentes.
Los resultados fueron:
- 12 solo compran el producto con la marca A
- 25 solo compraban el producto con la marca B
- 26 solo compraban el producto con la etiqueta C
- 15 solo compraban el producto con las marcas A y B
- 10 solo compraban el producto con las marcas A y C
- 8 compraban los productos de las tres marcas.

Responde: Cuntos de los encuestados compran el producto con:
a) Al menos una de las tres marcas?
b) Las marcas B y C pero no A?
c) La marca A ?
d) Ninguna de las marcas encuestadas?

24.- En una encuesta realizada en una Universidad sobre 90 estudiantes 68 opinaban que
El campo deba levantar el paro , 48 opinaban que el gobierno debera bajar las
retenciones y 17 que se deba levantar el paro y bajar las retenciones.
Representar la situacin mediante diagrama de Venn y determinar justificando la
cantidad de estudiantes que:
i) Opina al menos sobre una de estas dos decisiones.
ii) Opinan que deben levantar el paro o bajar las retenciones, pero no ambos
iii) No emite ningn tipo de opinin

25.- Un alumno prepara las materias matemtica y/o contabilidad cada da durante el mes de
febrero. Si 22 das estudio Matemtica y 16 contabilidad Cuntos das estudio
a) matemtica y contabilidad simultneamente?
b) Matemtica pero no contabilidad?
c) Contabilidad pero no Matemtica?

26.- Si A = {x,y,z} y B = {v,w} . Determinar los productos A x B , BxA , A
2
.

27.- Se arrojan al aire un dado y una moneda, describa el conjunto de los pares
ordenados posibles que tengan como primera componente el resultado de la
moneda y como segunda componente el del dado.

28.- Indicar cules de las siguientes relaciones definidas en A
2
son funciones. Justificar
A = } { 1 x 1 - / Z x s s e
R
1
= ( ) { ( ) ( ) } 1 1, , 1 , 1 , 0 , 0 R
3
= ( ) ( ) ( ) { } 1 , 0 , 1 1, , 1 1,
R
2
= ( ) ( ) ( ) { } 1 , 1 , 1 , 0 , 1 , 0 R
4 =
( ) ( ) ( ) { } 1 , 0 , 1 1, , 0 , 1

- 40 -
29.-Indicar cuales de las siguientes relaciones son funciones.
i) R
1
: ...es jefe de .... ii) R
2
: ...tiene por DNI ...
iii) R
3
: ...tiene por director de tesis a... iv) R
4
: ...es autor de..

30.- Sean los conjuntos: A = { 1 , 2 , 3 , 4 } B = { 1, 4, 6, 16 } C = { 2, 6, 8, 16 }
y las relaciones: R
1
c AxB definida por: ( x, y) e R
1
y = x
2

R
2
c BxC ( y, z ) e R
2
z =
2
y

Determinar: i) R
1
y R
2
por extensin y grafique. Alguna de ellas es funcin?
ii) Dominio e Imagen de cada relacin
31.- En el siguiente grfico , identifique por extensin los conjuntos Dominio y Codominio, as
como la relacin entre estos conjuntos. Es funcin?

32.- Dado B = { 0, 2, 4, 6 } R c BxB tal que ( a, b) e R a + b = 6 .
Defina por extensin R Es funcin? Por que?

33.- Representar mediante diagramas las funciones siguientes:
f = { ( x , y ) e A x B / y = x + 1 } con A = { -1, 0, 1, 2 } y B = {0, 1 ,2 ,3 ,4 }.
f : AB / f(x) = x
2
+ 1 con A = { -1, 0, 1 } y B = { 1 ,2 }.

34.- Se denomina intervalo natural inicial ( I
n
) al subconjunto de los n primeros
nmeros naturales: I
n
= { 1 , 2 , 3 , ... , n-1 , n }
a) Proponer una funcin I
4
I
2
, con la condicin x > y
b) Proponer dos funciones diferentes tal que: I
3
I
5
, con la condicin x < y

1 2 3 4 5 6 7 8 9 10
5
4
3
2
1


- 41 -
35.- Determine si es V o F .Justifica :

a) El producto es l.c.i. en el conjunto Z
b) La resta es una ley de composicin interna en N
c) La divisin es l.c.i. en el conjunto Z
d) La division es una l.c.i. conmutativa en Q
e) La operacin : N x N N / (a,b) ab = a
2
+b
2
es una l.c.i.
f) La operacin : Z x Z Z / (a,b) ab = a
3
b es una l.c.i.
g) La operacin # : ZxZ Z (b,c) b#c =
2
c b +
es una l.c.i.

36.- Dados la operacin + y el conjunto C = { -1 , 1 , i , -i }, se define mediante la
tabla + : C x C C. Probar la conmutatividad y la existencia de inversos.

37.- Demostrar que la multiplicacin no es una operacin cerrada sobre A = { 1 , 2}

38.- En el siguiente conjunto M = {A, B, C, D } se define
la operacin como se indica en la tabla:
Analiza si: a) es una L.c.i.
b) tiene elemento neutro e inverso
c) es conmutativa y asociativa

39.- Sea B = {a, b, c} y una ley definida en B x B tal que : a c = b
Confeccionar una tabla para que la aplicacin sea l. c. i. con elemento neutro b y no
sea conmutativa.

+ 1 -1 i -i
1 1 -1 i -i
-1 -1 1 -i i
i i -i -1 1
-i -i i 1 -1
A B C D
A D C B A
B C A D B
C B C B C
D A B C D

- 42 -
Cuestionario
1- Qu condiciones debe cumplir una expresin lingstica para que sea considerada una
proposicin?
2- Qu expresiones linguisticas no constituyen ejemplos de proposiciones?
3- Es una ley un ejemplo de proposicin?Por que?
4- Cmo se clasifican las proposiciones?
5- Qu diferencia existe entre las proposiciones y las funciones proposicionales?
6- Qu clases de proposiciones disyuntivas existen y en que consisten cada una de ellas?
7- Qu es una proposicin condicional?
8- La proposicin negativa es atmica?
9- Se puede reducir un condicional a una conjuncin?
10- Se puede reducir un bicondicional a una conjuncin?
11- De que forma se puede convertir una funcin proposicional en proposicin?
12- Qu son los cuantificadores?
13- Se puede expresar un expresin cuantificada usando los dos cuantificadores?

Guiam 1

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Guiam 1

Uploaded by

Copyright:

Available Formats

Matemtica para CPN y Lic en Adm.

You might also like