MATEMTICA I

UNIDAD I
INTRODUCCIN A LA
LGICA Y A LA TEORA DE
CONJUNTOS
COMPETENCIA ESPECFICA
Aplica la lgica proposicional para interpretar y
formular enunciados, determinando su validez en
base a los principios bsicos de la lgica.
.
SEMANA 1
LGICA PROPOSICIONAL
Se llama enunciado a toda expresin verbal o escrita, como una
frase u oracin.
Enunciado
LGICA PROPOSICIONAL
Ingresaste a la universidad !
3 es un nmero impar
Cul es tu nombre?
Daniel Alcides Carrin fue reconocido como hroe
y mrtir de la Medicina Latinoamericana.
EJEMPLOS
ENUNCIADO ABIERTO


Es un enunciado que contiene variables.



Ejemplos

Ana tiene x aos de edad
y + 4 s 10
2x+1=0.
LGICA PROPOSICIONAL
PROPOSICIN
Es una expresin, enunciado u oracin a la que se le puede calificar
como verdadera o falsa, sin ambigedades. Las proposiciones lgicas
se denotan generalmente por letras minsculas como: p, q, r, s, , etc
Ejemplos:
p : Lima es la capital del Per (V)
q : 6 + 8 = 10 (F)
r : la tierra es el planeta del universo donde existe vida. (V)
Quin viene? ( interrogacin )
Aprob mi curso! ( admiracin )
Sintate y escucha (orden)
NO SON PROPOSICIONES
Pues no son verdaderas, ni falsas.
Se denota por ~ y se lee no es
cierto que ... o es falso que ... o
no
LA NEGACIN
Se denota por . y se lee y
LA
CONJUNCIN
Se denota por v y se lee O
LA
DISYUNCIN
CONECTIVOS LGICOS
Se denota por A
LA DISYUNCIN
EXCLUSIVA
Se denota por y se
lee si... entonces
LA CONDICIONAL
Se denota por y se
lee si solo si
LA
BICONDICIONAL
CONECTIVOS LGICOS
CONECTIVO
LGICO
SMBOLO LECTURA VALOR DE VERDAD
1 Conjuncin p . q y , tambin, como Es V, si ambos son V
2 Disyuncin
inclusiva
p v q o Es F, si ambos son F
3 Disyuncin
exclusiva
p A q , o p o q Es F, si ambos son
iguales
4 Condicional p q p entonces q
p implica q
q si p
Es F, si p es V y q es F
p se llama antecedente
q se llama consecuente
5 Bicondicional p q p si solo si q Es V si ambos son
iguales
TABLA DE CONECTIVOS
p q p . q p v q p A q p q p q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
TABLA DE VALORES
PROPIEDAD
Si n es el nmero de variables de una proposicin
compuesta, entonces el nmero de arreglos posibles de
los valores de verdad esta dada por 2
n
.




Si una proposicin tiene 3 variables, existen 2
3
=8
combinaciones

Si existen 4 variables, entonces habrn 2
4
= 16
combinaciones

En el desarrollo de una tabla de valores, se inicia con el
conectivo lgico de menor jerarqua y se concluye con el de
mayor jerarqua.

El conectivo lgico de mayor jerarqua da el nombre a la
proposicin compuesta.

Si se utiliza los signos de agrupacin, el conectivo lgico que
queda fuera del signo de agrupacin es el de mayor jerarqua.

Si una proposicin carece de signos de agrupacin, entonces
la jerarqua de los conectivos lgicos , de menor a mayor se da
en el siguiente orden:

AGRUPAMIENTO DE PROPOSICIONES
~
. , v


TAUTOLOGIA CONTRADICCIONES Y
CONTINGENCIAS

Una proposicin compuesta o molecular se dice que es una
tautologa si el resultado global de la tabla es verdadera.


Una proposicin se dice que es una contradiccin, si el
resultado global es falsa.


Una proposicin compuesta se dice que es una contingencia
si en el resultado final de la tabla de valores aparecen
verdaderas y falsas.
A las tautologas se les llama tambin leyes o
principios lgicos
Cuando una Condicional tiene valor de verdad verdadera o es
una TAUTOLOGA entonces se llama IMPLICACIN LGICA.
Cuando una Bicondicional tiene valor de verdad verdadera o
es una TAUTOLOGA entonces se llama EQUIVALENCIA
LGICA.

OJO!
TABLA DE TAUTOLOGAS O PRINCIPIOS LGICOS
1 LEY DE INVOLUCIN
~ ( ~p) p
2 LEY DE IDEMPOTENCIA
p . p p
p v p p
3 LEY CONMUTATIVA
p . q q . p
p v q q v p
4 LEY ASOCIATIVA
(p . q ) . r p . ( q . r )
( p v q ) v r p v ( q v r )
5 LEY CONDICIONAL
p q ~ p v q
~ ( p q ) p . ~ q
6 LEY DE ADICIN
p p v p
p p . p
7 LEY BICONDICIONAL
p q ( p . q ) v ( ~p . ~ q )
~( p q ) ( p . ~ q ) v ( ~ p . q )
8 LEY DE SIMPLIFICACION
p . q p
p . q q
9 LEY DISTRIBUTIVA
p . ( q v r) ( p . q ) v ( p. r)
p v ( q . r ) ( p v q ) . ( p v r)
( p (q . r)) ( p q ) . ( p r )
( p (q v r) ) ( p q ) v ( p r )
10
LEY
CONTRARECPROCA
p q ~ q ~ p
p q ~ q ~ p
11 LEY DE MORGAN
~ ( p v q ) ~p . ~ q
~ ( p . q ) ~ p v ~ q
12 LEY DE ABSORCION
p . ( p v q ) p
p v ( p . q ) p
p . ( ~ p v q ) p . q
p v ( ~ p . q ) p v q
13 ELEMENTO NEUTRO
p . T p , p v C p
p v T T , p . C C
14
TAUTOLOGIA Y
CONTRADICCIN
p v ~ p T
p . ~ p C
SEMANA 2
CUANTIFICADORES UNIVERSAL Y
EXISTENCIAL
INFERENCIA Y DEDUCCIN
FUNCIN PROPOSICIONAL
Funcin proposicional o tambin llamado enunciado abierto
son expresiones que contienen una o ms variables en su
definicin. Es decir, una funcin proposicional no es una
proposicin lgica, se convierte en proposicin cuando se le
asigna un valor particular a la variable o variables que definen la
funcin.
p(x) : x es alumno de la Wiener
q(x) : x
2
+ 3x > 0
Para x= 3, q(x) es V, si x=0 ,q(x) es F.
p(x,y) : x es hermano de y
q(x,y) : x
2
+y
2
= 25

Ejemplos:
Una proposicin que contiene variables se llama proposicin abierta y
una proposicin que no contiene variables se llama proposicin
concreta.
CUANTIFICADORES
Son operadores lgicos que transforman una proposicin abierta
en concreta.
CUANTIFICADOR UNIVERSAL
Simbolizado por que se lee : para todo
La expresin para todo, antepuesta a una funcin proposicional define
al cuantificador universal y se denota por x / p(x),
CUANTIFICADOR EXISTENCIAL
Simbolizado por - que se lee : existe
La expresin existe, antepuesta a una funcin proposicional define al
cuantificador existencial expresado por - x / p(x),

i) Negacin de proposiciones cuantificadas universalmente

~ ( x / p(x) ) - x / ~ p(x)

ii) Negacin de proposiciones cuantificadas existencialmente

~ ( - x / p(x) ) x / ~ p(x)
NEGACIN DE PROPOSICIONES CUANTIFICADAS
Ejemplo
Escribe la negacin de las siguientes proposiciones.
Todos los gatos ladran.

Algunos profesores son jvenes.

Algunos honestos son impuntuales.

Ningn peruano es francs.

Ningn estudioso es inculto.

Todos los hombres son fieles.


Existen gatos que no ladran.
Todos los profesores no son
jvenes.
Todo honesto es puntual.
Algunos estudiosos son
incultos.
Algunos peruanos son
franceses
Algunos hombres son infieles
b. x e R / x
2
+ 2x >3
Ejemplos:
Determinar el valor de verdad de las siguientes proposiciones:
a. - x e R / x
2
+ 2x = 3 es V , pues se cumple para x = 1
es F, pues falla para x = 0, por ejemplo.

Ejemplos:
a) Todo hombre es un ser humano

b) Existen animales que son invertebrados

c) Todo los nmeros enteros tienen races enteras



1. Simbolizar:
2. Negar las siguientes proposiciones
a) x/ x e A x e B

b) - x / x e A v x e B

c) x / x < 4 x
2
= 16

d)

x e A , x > 3
3. Hallar la proposicin equivalente de:
a) ~ ( X / X+2= 10)

b) ~ (- X / X 2 > X)

c) - X / ~ (x+8 < X)


4. En la siguiente tabla, hallar los valores de verdad de la
proposicin compuesta:

p q (p q) . (p v q)

V V
V F
F V
F F

1. MODUS PONENDO PONENS (Afirmando lo afirmado)
Si Luis gana el concurso, entonces viajara a Espaa. Luis gano el
concurso. Por lo tanto Luis viajar a Espaa

INFERENCIAS LGICAS
2. MODUS TOLLENDO TOLLENS (Negando lo negado)
Si Luis gana el concurso, entonces viajara a Espaa. Luis no viaj a
Espaa. Por lo tanto no gan el concurso

3. SILOGISMO HIPOTETICO
Si no estudias, entonces desaprobaras el curso. Si desapruebas el curso
entonces no podrs graduarte. Por lo tanto si no estudias entonces no
podrs graduarte.
4. SILOGISMO DISYUNTIVO
Apruebas el curso o dejas la Universidad. No dejaste la Universidad. Por
lo tanto aprobaste el curso.
Ejemplos: Simbolizar, determinar la conclusin indicando que ley lgica se aplica.
1. Si es da festivo, entonces salimos al campo. No salimos al campo, luego
.

2. Si no hace fro, sube la temperatura y aumenta la venta de ventiladores. Es
cierto que hace calor, por tanto

3. Ahorro el sueldo cada mes o lo gasto para vivir. No ahorro este mes.
Por tanto

4. Cuando dos cosas pueden conocerse la una por la otra y la una puede ser
causa de la otra, es que tienen algo en comn. Pero no existe en la naturaleza
dos cosas que tengan algo en comn, por tanto .
SEMANA 3
CONJUNTOS
IDEA O NOCIN
A toda agrupacin, coleccin, clase de personas,
animales o cosas se le llama conjunto.
Los conjuntos se determinan de dos formas: por
extensin, listando todos y cada uno de sus
elementos; y por comprensin, enunciando una
propiedad que caracteriza a todos sus elementos.
CONJUNTOS
RELACIONES ENTRE CONJUNTOS
Relacin de pertenencia. Es una relacin que vincula
a un elemento con un conjunto. Si un elemento x
pertenece al conjunto A, se escribe: x A, y si el
elemento x no pertenece al conjunto A, se escribe:
x A. e
e
c
( )
A B x A

x B
Relacin de inclusin. Si todo elemento de un
conjunto A es tambin un elemento del conjunto B, se
dice: A est incluido en B oA es subconjunto de B
y se simboliza:
Si A es un subconjunto de B y por lo menos un
elemento de B no es elemento de A, entonces A es un
subconjunto propio de B, y se denota A B
Observacin.
Si el conjunto A tiene n elementos, entonces
el nmero de sus subconjuntos es . Es
decir: # P(A) =
n
2
n
2
Relacin de igualdad. Dos conjuntos son iguales
si tienen los mismos elementos.
Simblicamente:

A = B AB BA
Clasificacin de los Conjuntos
Vaco, es el que carece de elementos y se denota por .
O { } El conjunto vaci es subconjunto de todo conjunto
es decir: A, A.
|
|
_
Unitario, es el que tiene un solo elemento.
Universal, es el que contiene a todos los elementos
en un determinado contexto. Se le denota con U.
Finito, es el que tiene un nmero limitado de elementos
distintos entre si.
Infinito, es aquel en el cual cuando se quiere contar
cada uno de sus elementos nunca concluye.
Potencia, es el conjunto de todos los subconjuntos de
un conjunto dado. Se le denota por P(A).
Simblicamente: P(A) = {B; B A}
_
Producto, dados dos conjuntos A y B, el conjunto
producto o producto cartesiano de A y B, denotado por
A B es el conjunto de todos los pares ordenados (a; b),
donde a A y b B.
Simblicamente: A B = {(a; b) / a A y b B}

e
e
e
e
Operaciones entre conjuntos
A B

Unin:



{ } A B = x/x A x B
A B
Interseccin:
{ } A B = x/x A x B
Diferencia:





{ } A - B = x/x A x B e
A B
{ } AB = x/x A B x A B e
A B
Diferencia Simtrica:
Complemento del Conjunto A:
{ }
c
A = x/x U x A e


A
A
C

Propiedades de conjuntos
LEYES DE MORGAN
C (A B) = C (A) C (B)
C (A B) = C (A) C (B)
5.
# A B = # A + # B - # A B
1.
# subconjuntos propios de A = 2
#A
1
2.
# A x B = # A . # B 3.
A B = A B
C

4.