Escolar Documentos
Profissional Documentos
Cultura Documentos
UNIDAD 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.
-1-
UNIDAD N 1
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
Ej: Qu es la lgica?
Ej: Debemos honrar el bicentenario
Ej. Sea en hora buena
Ej. Que suerte! Casi me saco el monobingo!
Ej. Quizs llueva maana
-2-
UNIDAD N 1
c) Las pseudoproposiciones.
Ej. 2X + 6 = 14
f) Los filosofemas.
) 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.
-3-
UNIDAD N 1
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:
, , , , , 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:
pvq 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
conjuncin o producto lgico
SIGNIFICADO
p y q, (pero, aunque, no obstante
sin embargo)
disyuncin
p o q, o ambos
condicional
implicacin material,
si p entonces q; p implica q,
p solo si q; q si p; cuando p, q
p si y solo si q
disyuncin exclusiva
no p, no es cierto que p,
no ocurre que p
negacin
-4-
UNIDAD N 1
Actividad 2:
Identifique las proposiciones simples y exprselas en lenguaje lgico utilizando
para ello los conectivos que correspondan.
I.
II.
III.
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 2n valores de verdad cuando se tienen
n variables distintas
P
V
V
F
F
P
V
F
q
V
F
V
F
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
F
V
-5-
UNIDAD N 1
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
pq
-6-
UNIDAD N 1
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
p q
p q
Actividad 4:
De acuerdo a lo definido en la disyuncin, completa las tablas de verdades
siguientes:
p
pq
rs
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.
-7-
UNIDAD N 1
CONDICIONAL (p q)
Ej. 1:
p solo s q
Actividad 6:
De acuerdo a la definicin de condicional para dos proposiciones dadas, completa las tablas
de verdades siguientes:
pq
Actividad 7:
De acuerdo a la ilustracin dada, escribe en forma simblica la proposicin dada e indica
antecedente y consecuente.
-8-
UNIDAD N 1
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:
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)
pq
Condicional Contrario p q
qp
Condicional Recproco
q p Condicional contrarrecproco
-9-
UNIDAD N 1
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
q
V
pq
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 ).
- 10 -
UNIDAD N 1
Actividad 12:
En base a la definicin dada para condicional y para la conjuncin, completa la siguiente:
pq
qp
(p q) (q p)
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:
p q r
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
NIVEL3
NIVEL 4
- 11 -
UNIDAD N 1
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p
F
F
F
F
V
V
V
V
p q
F
F
F
F
V
V
F
F
p q r
V
V
V
V
V
F
V
V
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?
- 12 -
UNIDAD N 1
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 q
c) (p 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
i.
Involutiva:
ii.
Conmutativa: de la conjuncin
pq qp
iii.
pq qp
Asociativa: de la conjuncin
(p q) r p (q r)
iv.
de la disyuncin
(p q) r p (q r)
p (q r) (p q) (p r)
v.
de la disyuncin:
de la con respecto a la
p (q r) (p q) (p r)
Leyes de De Morgan:
(p q ) ( p q )
(p q ) ( p q )
vi.
vii.
~( p q )
p~q
Nota: Para probar si una frmula es una ley lgica se debe construir una tabla y
obtener una tautologa
- 13 -
UNIDAD N 1
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 (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)
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
x + y < 2000
y = 3x 5 ;
x>3 x<5 ,
- 14 -
UNIDAD N 1
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.
p(1) :1 es par
proposicin falsa
p(2) : 2 es par
proposicin verdadera
U = (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 ; x2 = 25
d) U = R ; x2 + 2 = 38
- 15 -
UNIDAD N 1
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.
x : 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 1er 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)
x / P(x)
- 16 -
UNIDAD N 1
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:
Actividad 21:
Dado el conjunto universal U = { x / x es un nmero. dgito } y las funciones proposicionales:
a) p (x) : x 9
b) q (x) : x > 9
c) r (x) : x < 7
i)
ii)
iii)
Actividad 22:
Escriba en forma simblica las siguientes estructuras lgicas, usando
cuantificadores e identificando las funciones proposicionales que intervienen.
i)
ii)
iii)
v)
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?
- 17 -
UNIDAD N 1
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
- 18 -
UNIDAD N 1
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:
AU , BU
( donde significa incluido )
- 19 -
UNIDAD N 1
A = 75
B = 60
U
II
III
IV
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) :
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
- 20 -
UNIDAD N 1
# (A B) =75 + 60 40 = 95 consumidores
Un error muy comn es: 75 + 60 = 135
Por qu?
B
A (A B )
Siendo:
y
B (A B )
# [A (A B)] = 75 40 = 35
# [B (A B )] = 60 40 = 20
35 + 20 = 55
[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.
- 21 -
UNIDAD N 1
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 }
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 U / x utilizo el tren subteraneo }
U
A
B = { x U / x utilizo un taxi}
B
5
C= { x U / x utilizo un colectivo }
7
6
2.1 Region 3
- 22 -
UNIDAD N 1
A={ e1 , e2 }
A=2
B ={ s1 , s2 , s3}
B=3
De cuntas formas se podr viajar de Santiago a San Martin de los Andes con estas
empresas?
Respuesta:
Mendoza
Santiago
Mendoza
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 = { (e1 s1) , (e1 s2) , (e1 s3) , (e2 s1) , (e2 s2) , (e2 s3) }
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:
ss
e1
ss
e2
s3
Las formas de viajar de San martn de los Andes a Santiago sern las mismas?
- 23 -
UNIDAD N 1
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:
- 24 -
UNIDAD N 1
B = { 1,2 }
1
1
y la relacin R = { (x ,y) / x + y 3 }
3.
y CR1 = { 1, 2 }
Actividad 29:
Dados los conjuntos
A = {2, 3, 4, 5, 6 }
1: x y x es divisor de y
2: x y x > y
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.
- 25 -
UNIDAD N 1
FUNCIN (APLICACIN)
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}
B
t
s
.p
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
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
f:A B
x f(x)
Definicin 2:
ii)
- 26 -
UNIDAD N 1
no es funcin.Por qu?
Actividad 31:
Indica cuales de las siguientes relaciones no es funcin. Justifica:
a)
b)
a
b.
-1
1
.2
-2
1
.2
3
Actividad 32:
Sean los conjuntos: A = { a , b , c , d } y B = { 1 , 2 , 3 , 4 }, y las relaciones:
R1 = {(a,1) , (b,1) , (c ,1) , (d ,1)}
R2 = {(a , 1) , (b , 2) , (d , 4) , (b , 3)}
i)
ii)
Actividad 33:
Sean los conjuntos: A={ -1, 0, 1 , 2 } , B = { 0, 1, 2, 3, 4 } y la funcin:
g = {(x,y) / y = x2 }
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.
- 27 -
UNIDAD N 1
R1 = { ((x,y) , x.y )
Relacin de AxA en A
BxB
A
(1,1)
(-1,-1)
(-1,1)
(1,-1)
-1
(1,1)
(1,2)
(1,3)
(2,1)
(2,2)
(2,3)
......
B
1
2
3
es un l.c.i en A : A2 --> A
De manera que :
uAvAuvA
1
-1
1
1
-1
-1
-1
1
- 28 -
UNIDAD N 1
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
(p p) p = p p = p
p(pp)=pp=p
(p p ) p =p (p p)
(p p) q = p q = q
p (p q) = p q = q
( p p) q = p (pq )
(p q ) p = q p = q
p(qp)=pq=q
(p q ) p = p (q p)
(Seguir probando para todos. En total son 8 casos).
Conmutativa:
pq=q
qp=q
pq=qp
y qp=q
- 29 -
UNIDAD N 1
Conmutativa: x * y = x y
Y * x = yx
Luego x * y y * x
2
Elemento Neutro: Planteamos x * e = x
xe
= x e = -2x + x e = -x
2
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 = 1,2,3, segn las tablas:
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.
- 30 -
UNIDAD N 1
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 A, 2 A y 3 A , pero 4 A
Diagramas de Venn: Son recintos planos cerrados en cuyo interior
B m c
j
f
M ={0,1,2,3,........,10000}
o { }
N0 = {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)
A est en B
AB
( A es un subconjunto de B; A es parte de B)
Propiedades
1) A A
2) A
( A es subconjunto de s mismo).
( El conjunto vaco es un subconjunto de cualquier conjunto)
Conjuntos iguales: A = B A B B A
- 31 -
UNIDAD N 1
A = {0,1,2,3}
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,}
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: (Ac o CA )
De un conjunto A, es el conjunto formado por los elementos
del U que no estn en A.
Ac = CA = {x U x A }
Ej:
U = {a,e,i,o,u} y A = {a,e,o}
Entonces su complemento es Ac = { i ,u }
- 32 -
A'
UNIDAD N 1
En resumen:
Operacin>
Unin
Definicin
simblica
AB =
Interseccin
AB=
{ x U / x A x
B}
{ x U / x A x B }
Diferencia
AB =
{ x U / x A x B}
A
A
B
Representacin
En diagrama
AB
- 33 -
UNIDAD N 1
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 p q
- 34 -
UNIDAD N 1
sr
s r
qvp
p q v p
(p q) p
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.
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.
- 35 -
UNIDAD N 1
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 q
b)
(p q) (q r) p r
12- Colocar parntesis (si fuera necesario) para que la frmula lgica corresponda a la
proposicin que se indica en cada caso:
a) -Condicional:
p q
r p
b) -Conjuncin:
p q
r s
c) -Negacin:
~ p q r
d) -Disyuncin:
p q r
e)-Negacin:
~ p (q r)
f) -Disyuncin:
g) - Conjuncin
p q r
p q r
- 36 -
UNIDAD N 1
13- Construya las tablas de verdad de las siguientes formulas lgicas. Clasifquelas.
a) ( p q) r p ( q r)
b) ( r q ) m n
c) ( p s ) ( r q p)
d) ( ~ q p r) ~ s
e) ( p q r ) ~ p q
f) ( p q ) ( q r ) p r
a. p p
b. p v p
c. p (p v -p)
d. (p v p) (-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)
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.
17- Simbolizar las siguientes formas proposicionales y determinar sus respectivos conjuntos
de verdad:
i-
U=Z ;
x + 10 = 8
ii- U = R ;
x3 - 3 = 5
iii- U = R ;
x2 + 1 = 0
iv- U = N ;
x3x<9
v- U = Z ;
2x 2 = 32
- 37 -
UNIDAD N 1
A={yN/y<6}
B = { 2,4,6,8 }
C = x Z / x2 - 5 x + 6 = 0
D = { x Z / x -2 x < 2 }
E = { 2, 3, 5, 7, 11, 13, 17 , 19}
y EA
f) Obtener graficamente: B E
y DE
- 38 -
UNIDAD N 1
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)
b)
c)
d)
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 , A2 .
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 A2 son funciones. Justificar
A = x Z / -1 x 1
R1 =
0 , 0 , 1 , 1 , 1,1
R2 =
0 ,1 , 0 , 1 , 1 ,1
R3 =
R4 =
- 39 -
1,1 , 1, 1 , 0 , 1
1 , 0 , 1,1 , 0 , 1
UNIDAD N 1
i)
iii)
R1 AxB
B = { 1, 4, 6, 16 } C = { 2, 6, 8, 16 }
definida por: ( x, y) R1 y = x2
R2 BxC
Determinar:
i)
( y, z ) R2 z =
y
2
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10
f : AB / f(x) = x + 1
con
con A = { -1, 0, 1, 2 }
B = {0, 1 ,2 ,3 ,4 }.
A = { -1, 0, 1 } y B = { 1 ,2 }.
In = { 1 , 2 , 3 , ... , n-1 , n }
- 40 -
UNIDAD N 1
La operacin : Z x Z Z
g) La operacin # : ZxZ Z
/ (a,b) ab = a2+b2
es una l.c.i.
/ (a,b) ab = a3 b
es una l.c.i.
bc
2
es una l.c.i.
(b,c) b#c =
-1
-i
-1
-i
-1
-1
-i
-i
-1
-i
-i
-1
A B C D
A
D C B A
C A D B
B C B C
A B C D
- 41 -
UNIDAD N 1
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?
- 42 -