A LA
UNIVERSIDAD
Matemticas
Aplicadas
Ciencias Sociales
TEMA 1 FUNDAMENTOS
1.1 LGICA DE PROPOSICIONES.
Proposiciones. Ejercicios (1.1-1.7)
Proposicin, oracin que siempre podemos afirmar que es verdadera o falsa.
Proposicin simple, se limita a enunciar una cualidad de un ser o cosa.
Proposicin compuesta, se obtiene combinando una o ms proposiciones simples.
p
pq
pq
pq pq
Una tabla de verdad representa todas las posibilidades lgicas que pueden tomar las proposiciones
simples, son 2n .
Variables proposicionales: p, q, r
Constantes proposicionales: V, F.
p
V
V
F
F
q
V
F
V
F
p
F
F
V
V
pq
V
F
F
F
pq
V
V
V
F
pq
V
F
V
V
Reglas de inferencia.
Lo que afirma cada regla es que una estructura lgica produce siempre razonamientos vlidos,
cualesquiera que sean las proposiciones particulares que se sustituyan.
Modus ponendo ponens
pq
p
V
V
F
F
p
q
q
V
F
V
F
Premisas
p
pq
V V
V F
F
V
F
V
Conclusin
q
V
F
V
F
Para analizar la validez del razonamiento, formamos la tabla de verdad y se observa que siempre que las
premisas p y pq son verdaderas tambin lo es la conclusin q. Por lo tanto el razonamiento es
lgicamente vlido.
Modus tollendo tollens
pq
q
p
p
V
V
F
F
q
V
F
V
F
Premisas
pq 5 q
V
F
F
V
V
F
V
V
Conclusin
5p
F
F
V
V
pq
q
p
V
V
F
F
q
V
F
V
F
Premisas
pwq
5p
V
F
V
F
V
V
F
V
Conclusin
q
V
F
V
F
p
V
V
F
F
q
V
F
V
F
Premisas
5q
pwq
V
F
V
V
V
F
F
V
Conclusin
p
V
V
F
F
Silogismo hipottico
pq
qr
pr
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
Premisas
pq
qr
V
V
V
F
F
V
F
V
V
V
V
F
V
V
V
V
Conclusin
pr
V
F
V
F
V
V
V
V
Una deduccin o demostracin es el proceso que partiendo de las premisas nos lleva a la conclusin a
travs de una serie de proposiciones intermedias obtenidas a partir de las reglas de inferencia.
2
1.2 CONJUNTOS
1.21 Conceptos bsicos. Ejercicios (1.40-1.51)
Los conjuntos se representan con letras maysculas, A, B,C ,
Los elementos se representas con minsculas, a, b, c, x, y, z.
Relacin de pertenencia:
El elemento a pertenece al conjunto X, a X
El elemento a no pertenece al conjunto Z, a Z
Formas de definir un conjunto:
Enumeracin: enumeramos todos y cada uno de los elementos.
Descripcin: definimos alguna caracterstica comn a todos los elementos.
Conjunto definidos por enumeracin:
S = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}
V = {a, e, i, o, u}
Conjunto definidos por descripcin:
S = {das de la semana}
V = {vocales del espaol}
Por descripcin podemos definir de la siguiente manera los conjuntos:
V x A x es vocal
V es el conjunto de los elementos x que pertenecen al conjunto de las letras del alfabeto espaol
A, tales que x es una vocal.
Relacin de inclusin:
Dados dos conjuntos A y B, se dice que A est incluido en B y se escribe A B cuando todos los
elementos de A pertenecen a B.
Si A est contenido en B se dice que A es un subconjunto de B o que A es una parte de B.
El conjunto de las partes de un conjunto A es el conjunto cuyos elementos son todos los subconjuntos
de A. Se representa por P( A) .
Si el conjunto A tiene n elementos, el conjunto de las partes de A tiene 2n elementos.
DIAGRAMAS DE VENN
Los conjuntos suelen representarse por medio de unos dibujos denominados diagramas de Venn. El
conjunto universal lo representamos por un rectngulo y los conjuntos por crculos dentro del conjunto
universal.
Propiedades de la unin.
La unin de cualquier conjunto con el conjunto vaco es igual al conjunto, A A .
La unin de cualquier conjunto con el universal es igual al conjunto universal, A U U .
Idempotencia: La unin de cualquier conjunto consigo mismo es igual al mismo conjunto, A A A .
Conmutativa: La unin de un conjunto A con otro B es igual a la unin de B con A, A B B A .
Asociativa: A B C A B C .
La unin de dos conjuntos contiene a cualquiera de los conjuntos que se unen, A A B y B A B .
Si B est contenido en A, entonces la unin de A y B es igual a A, Si B A entonces A B A .
Propiedades de la complementacin.
El complementario del conjunto vaco es el conjunto universal, C U .
El complementario del conjunto universal es el conjunto vaco, U C .
El complementario del complementario de un conjunto es el mismo conjunto, AC A .
C
A B A
A B B
Si B A entonces A B B
A A
A U U
A A A
A B B A
A B C A B C
A B C A B A C
A A B
B A B
Si B A entonces A B A
C U
UC
C C
A AC
A AC U
A B C A B A C
A B AC BC
C
A B AC BC
A B A B A B C AC B
A B A B B A
A B C A B C A B C C A BC C
C
AC B C A B C C C AC B C C
AC B C C
1.3 APLICACIONES.
1.3.1 Concepto de aplicacin. Ejercicios (1.80)
Una aplicacin entre dos conjuntos A y B es una transformacin que convierte cada elemento del
conjunto A en un nico elemento del conjunto B.
El conjunto A se llama conjunto inicial o dominio de la aplicacin.
El conjunto B se llama conjunto final o rango de la aplicacin.
f
Las aplicaciones suelen designarse por las letras f, g, h y se representan por f : A B o A
B.
Si el elemento x A se transforma en el elemento y B se escribe y f x , se dice que y es la
imagen de x mediante la aplicacin f.
f
1
2
3
4
a
b
c
d
a
b
c
1
2
3
4
1
2
3
a
b
c
d
1
2
3
4
a
b
c
1
2
3
4
a
b
c
d
Inyectiva
Sobreyectiva
Biyectiva
a
b
c
d
1
2
3
4
1
2
3
4
u
v
x
z
a
b
c
d
f
f
f
f
2
4
1
3
g
g
g
g
z
x
v
u
U
B
A
XXX
X X
X X
# A 7
# B 5
# A B 10
# A B 2
# A B 5
# B A 3
# A B # A # B # A B 10 7 5 2
# A B # A B # B A # A B 10 5 3 2
# A # A B # A B 7 5 2
10
Suma.
Resta.
Multiplicacin.
Divisin.
432
3
11
39
6
11
3
Criterios de divisibilidad
72
36
18
9
3
1
2
2
2
3
3
50 2
25 5
5 5
1
72 23 32
50 2 52
mcm 72,50 23 32 52 1800
Tomando los factores comunes y no comunes con su mayor exponente, tenemos que:
mcm 72,50 23 32 52 1800
a b mcm a, b mcd a, b
mcm a, b
a b
mcd a, b