FUNDAMENTOS DE MATEMTICAS

APUNTES DE ESTUDIO 81
John Cotrina

I.

LGICA Y CONJUNTOS
I.1. LGICA PROPOSICIONAL
PROPOSICIN
DEFINICIN: Una proposicin es un enunciado que
puede ser verdadero o falso pero no ambas a la
vez.
DENOTACIN: Se suelen denotar con letras
minsculas p, q, r,
TABLA DE VERDAD:
p
p
q
p
V
q
F
V
V
F V V
NEGACIN
V
F
F
DEFINICIN: Una proposicin con los valoresF F
F
V
V
V V
opuestos
F
F
F
V V
DENOTACIN: p
TABLA

p
F
V

DE VERDAD:

Si p y q son dos proposiciones. Asociado a p q,

se define:
RECPROCA: q p
CONTRAPOSITIVA: q p
EQUIVALENCIAS
EQUIVALENCIA
DEFINICIN: Decimos que dos proposiciones
compuestas P y Q son equivalentes si tienen la
misma tabla de verdad, entonces P Q
p q p q
p
V
V
F
F

V
V
F
F

V
F
V
F

p
q
V
F
F
F

DISYUNCIN |
DISYUNCIN INCLUSIVA

V
V
F
F

V
F
V
F

p
q
V
V
V
F

p o q
DENOTACIN: p q
TABLA
p q
p
q
V V
F
V F
V
F V
V
F F
F

DISYUNCIN EXCLUSIVA
DEFINICIN: o
p q pq
V V
V
V
F
F
DE VERDAD:
F
V
F
F
F
V

CONDICIONAL
DEFINICIN: Si p, entonces q
p es el antecedente y q el consecuente
DENOTACIN: p q
TABLA DE VERDAD:
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

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

(p q) p q

(p
q)

p
q

V
V
F
F

V
F
V
F

F
F
F
V

F
F
V
V

V
V
V
F

F
F
F
V

F
V
F
V

(p q) p q

TAUTOLOGA
DEFINICIN: Una proposicin compuesta es
tautologa cuando su tabla de verdad tiene solo
valores veredaderos

DEFINICIN: p o q
DENOTACIN: p q
TABLA DE VERDAD:
p

q
V
F
V
F

LEYES DE MORGAN

CONJUNCIN
DEFINICIN: p y q
DENOTACIN: p q
TABLA DE VERDAD:
p

p q q p

BICONDICIONAL
DEFINICIN: p si y solo si q
DENOTACIN: p q
TABLA DE VERDAD:

La bicondicional p q es equivalente a la
conjuncin de la condicional p q y su
recproca q p.
La tabla de la bicondicional es opuesta a
la tabla de disyuncin exclusiva, es decir,
p q ( p q).

DOS PROPOSICIONES COMPUESTAS SON

EQUIVALENTES SI Y SOLO SI SU BICONDICIONAL
ES UNA TAUTOLOGA
I.2. CONJUNTOS
CONJUNTO
Un conjunto es una agrupacin de objetos. Estos

objetos reciben el nombre de elementos o

miembros del conjunto. Se denotan con letras
minsculas los elementos y con maysculas se
designan los conjuntos.
CONJUNTO POR EXTENSIN
Un conjunto se escribe por extensin separando
elementos por comas y encerrados en llaves.

El Conjunto C, que consiste en las vocales.

C = {a, e, i, o, u}.
CONJUNTO UNIVERSAL
Formado por todos los objetos de estudio en un
contexto
VARIABLE
Smbolo que representa elemento no especificado.
Ej. x.

IGUALDAD DE CONJUNTOS
Diremos que los conjuntos A y B de elementos del
c.u. U son iguales A = B, cuando A est includo
en B y B est includo en A, es decir x U, [x
A x B]. Cuando no son iguales se denota x
U, [x A x B].
OPERACIONES FUNDAMENTALES
UNIN DE CONJUNTOS
Sea U un c.u. y A, B subconjuntos de U. La unin
de A y B se define como el conjunto de elementos
de U que est en A o estn en B, es decir:
A B = {x U: (x A) (x B)}.
U
A

CONJUNTO POR COMPRENSIN

Se necesita un conjunto universar U y una
propiedad p, se expresa: {x U: p(x)} se lee: el
conjunto formado por los elementos de U que
cumplen la propiedad p.
CONJUNTO VACO
Conjunto que no posee elementos, se denota {} o
por .
I.3. CUANTIFICADORES
CUANTIFICADOR UNIVERSAL
Su expresin es para todo, se denota por
CUANTIFICADOR EXISTENCIAL
Su expresin es existe, se denota por

- A (A B).

- A B = B A.

INTERSECCIN DE CONJUNTOS
Sea U un c.u. y A, B subconjuntos de U. La
interseccin de A y B es el conjunto de elementos
de U que pertenecen a A y a B a la vez, es decir:
A B = {x U: (x A) (x B)}.
U
A

PROPIEDADES
Por cada conjunto U y cada propiedad se cumple:

(x U, [p(x)]) x U, [p(x)].
(x U, [p(x)]) x U, [p(x)].
Ej. U = pizarras en AU, p = son blancas.

Un elemento que pruebe la falsedad de un

enunciado original es llamado contraejemplo.
I.4. SUBCONJUNTOS
INCLUSIN DE CONJUNTOS
Dado A y B, dos conjuntos de elementos del c.u.
U, diremos que A est incluido en B (o que es
subconjunto de B), se denota como A B, si cada
elemento de A es elemento de B, es decir: x
U, [x A x B]. Cuando A no est includo en
B se denota: x U, [x A x B]

- A B A.

- A B = B A.

A y B son disjuntos cuando A B = {}

COMPLEMENTO DE UN CONJUNTO
Sea U un c.u. y A un subconjunto de U, el
complemento de A en U es el conjunto de
elementos de U que no est en A, es decir: Ac = {x
U: x A}.
U
A

U
B
A

Sea U un c.u. y A subc. De U, se cumple: U = A

Ac

Si U es un c.u. y A, B, C, subcs. De U, entonces:

- (A B)c = Ac Bc
- (A B)c = Ac Bc
DIFERENCIA DE CONJUNTOS
Sea U un c.u. y A, B subconjuntos de U. La
diferencia de A y B se define como el conjunto de
elementos de U que est en A pero no en B, es
decir:
A - B = {x U: (x A) (x B)}.
U
A

- Nmeros Reales
Nmeros Irracionales
RELACIN ENTRE CONJUNTOS NUMRICOS

NMEROS REALES POSITIVOS

+ = {x : x > 0}
I.6. CONJUNTOS FINITOS
Los conjuntos se dividen en dos familias, los
finitos e infinitos. El conjunto es finito cuando se
pueden contar todos sus elementos.

Podemos ver que A = U A

c

I.5. CONJUNTOS NUMRICOS

CARDINAL
Sea A un conjunto finito, definamos el cardinal de
A denotado por n(A) como el nmero de
elementos de A.
Sean A y B finitos, se cumple:

PROPIEDADES ALGEBRAICAS

ASOCIATIVA (SUMA Y PRODUCTO)

a, b, c , [a+(b+c) = (a+b)+c
a(bc) = (ab)c].

CONMUTATIVA (SUMA Y PRODUCTO)

a, b , [a+b = b+a ab = ba]

DISTRIBUTIVA
a, b, c , [a(b+c) = ab + ac].

NEUTROS (SUMA Y PRODUCTO)

a , [a+0 = a a1 = a]

INVERSO DE LA SUMA
a , b , [a+b = 0]

INVERSO DEL PRODUCTO

a - {0}, b , [ab = 1]

CONJUNTOS NUMRICOS
- Nmeros Naturales
- Nmeros Enteros
- Nmeros Racionales

n(A) = n(A - B) + n(A B).

n(A B) = n(A) + n(B) n(A B).

Sean A y B finitos del c.u. U, se cumple que si A

B, entonces: n(A) n(B)