LOGRO DE APRENDIZAJE

Maneja el sustento terico prctico de los

componentes temticos del rea
curriculares de su especialidad acadmica
CAPACIDADES DE LA
DIMENSION
PEDAGOGICA
4.1. Imprime un manejo educativo
cientfico al proceso enseanza y
aprendizaje.
4.2. Maneja contenidos de las disciplinas
relacionadas con su especialidad.
SESIONES DE APRENDIZAJE:
SESIN 01
Lgica proposicional
SESIN 02
Sistemas numricos.
EJES TRANSVERSALES
COMPRENSION LECTORA
EDUCACIN INCLUSIVA E INTERCULTURALIDAD
EDUCACIN INC INCL LUSIVA. USIVA. F FOR ORM MACI ACI N N T TICA ICA Y Y M MO ORA RAL L. .
3
LGICA PROPOSICIONAL
la Lgica me salva del aburrimiento
CONTENIDOS APRENDIZAJES ESPERADOS INDICADORES
Cuantificadores existencial
y universal
Tablas de verdad de
proposiciones compuestas
Relacin entre la lgica y
los conjuntos
Los argumentos y su
estructura
Analiza las tablas de verdad de
proposiciones compuestas.
Determina la relacin entre la
lgica y los conjuntos
Define argumentos y su
estructura
Aplica las propiedades de la lgica
proposicional en situaciones diversas,
propuestos en el material impreso.
Infiere aplicaciones de la equivalencia e
implicacin lgica en el tratamiento de los
contenidos matemticos propuestos en un
listado de problemas.
7 1
( p q ) ( p q )
p q) ( p
q) ppppp
I. I. S SI IT TU UA AC CI I N N P PR RO OB BL LE EM M T TI IC CA A
Resuelva cada uno de los siguientes tems:
1. Dados los siguientes enunciados:
a) La tierra es plana.
b) 17 + 38 = 21.
3. LGICA DE PROPOSICIONES
La lgica de proposiciones es la parte ms
elemental de la lgica moderna o
matemtica o formal. Estudia las relaciones
existentes entre proposiciones consideradas
como un todo, sin penetrar en su estructura
interna.
c) x > y 9 .
d) Alianza Lima es campen en la presente
temporada de ftbol profesional.
e) Hola como estas?
f) Lava la ropa por favor.
Cules son proposiciones? Por qu?
2. Determine si las expresiones:
a)
La proposicin es una oracin
aseverativa de la que tiene sentido decir
que es verdadera o falsa.
Ejemplos:
a) La ciudad de Trujillo es la capital del
departamento de La Libertad. (Es una
proposicin verdadera)
b) El tomo es una molcula. (Es una
b)
(
q
)
proposicin Falsa)
c) q
(
p
son tautologas, contradicciones o contingencia:
II. II. D DE ES SA AR RR ROLL OLLO O DE DE C CO ONT NTE ENIDO NIDO T TE E RICO RICO
LGICA
1. DEFINICIN
La lgica es la disciplina que trata de
mtodos de razonamiento. En un nivel
elemental, la lgica proporciona reglas y
tcnicas para determinar si es o no vlido un
argumento dado. El razonamiento lgico se
emplea en matemtica para demostrar
teoremas; en ciencias de la computacin
para verificar si son o no correctos los
programas; en las ciencias fsica y naturales,
para sacar conclusiones de experimentos; y
en las ciencias sociales y en la vida
cotidiana, para resolver una multitud de
problemas.
2. LENGUAJE
El lenguaje, en sentido estricto, es un sistema
convencional de signos, es decir, un conjunto
de sonidos y grafas con sentido, sujeto a una
determinada articulacin interna. Sirve para
afirmar o negar (oraciones aseverativas o
declarativas); expresar deseos (oraciones
desiderativas); formular preguntas (oraciones
interrogativas); expresar sorpresa o
admiracin (oraciones exclamativas o
admirativas) e indicar exhortacin, mandato o
prohibicin (oraciones exhortativas o
imperativas).
c) 2 es un nmero primo. (Es una proposicin
verdadera)
d) Todas las aves vuelan. (Es una proposicin
falsa)
Expresiones lingsticas que no son
proposiciones
Las oraciones interrogativas, las
exhortativas o imperativas, las desiderativas
y las exclamativas o admirativas no son
proposiciones porque ninguna de ellas
afirma o niega algo y, por lo tanto, no son
verdaderas ni falsas. Asimismo, las
oraciones dubitativas, as como los juicios
de valor no obstante afirmar algo su
verdad o falsedad no puede ser establecida.
Ejemplos:
a) El cuadriltero es un polgono de cuatro
lados. (Es proposicin verdadera)
b) Qu es la lgica? (No es proposicin
porque es una oracin interrogativa)
c) Debemos honrar a nuestros hroes. (No
es proposicin porque es una oracin
imperativa o exhortativa)
d) Por Jpiter! Casi me saco la lotera! (No
es prop osicin porque es una oracin
exclamativa o admirativa)
e) Quiz llueva maana. (No es proposicin
porque es una oracin dubitativa)
f) Valentn es bueno. (No es proposicin
porque constituye un juicio de valor).
En conclusin:
Toda proposicin es una oracin
aseverativa, pero no toda oracin
aseverativa es una proposicin.
5
Ejemplos
Son pseudoproposiciones :
a) El tringulo es inteligente.
b) Alejandro es un nmero racional.
Son funciones proposicionales:
c) 3x + 7 = 16.
d) x es la capital del Per.
L a s descripciones i n definidas No son
proposiciones.
e) El principal sospechoso de los atentados del
11 de setiembre de 2001 en los Estados
Unidos.
f) El actual Presidente de la Repblica del
Per.
En conclusin
dentro de U un subconjunto de elementos que
hacen verdadera a la proposicin p (abril, junio,
setiembre y noviembre) y un subconjunto de
elementos que hacen falsa a la proposicin
p (enero, febrero, marzo, mayo, julio, agosto,
octubre y diciembre).
En caso de que se trate de dos proposiciones
abiertas p y q cada una de ellas definir dentro
del referencial un subconjunto de elementos
que la verifica, definindose as cuatro
regiones.
U
A B
I
II
Proposicin es una oracin o enunciado
declarativo carente de ambigedad, que es
verdadera o falsa, pero nunca las dos cosas
Donde:
III
simultneamente.
La veracidad o falsedad de un enunciado
se llama su valor de verdad. Los trminos
verdadero o falso se consideran como
atributos de una proposicin,
excluyndose de ellos toda interpretacin
filosfica.
4. LAS PROPOSICIONES Y LOS CONJUNTOS
Dado un conjunto referencial cualquiera U, una
proposicin abierta p definir un subconjunto
(eventualmente vaco) de elementos que
hacen a la proposicin verdadera
y otro subconjunto (complemento del anterior)
de elementos que hacen a la proposicin falsa.
Es decir, podemos diferenciar los elementos de
U en dos conjuntos disjuntos, uno formado por
los elementos que verifican a p y otro por los
que no la verifican.
Elementos que no
U
verifican a p
Elementos que
verifican a p
Por ejemplo, si U tiene por elementos los
meses del ao y p es la proposicin abierta
el mes x tiene 30 das, podemos
distinguir
I. Elementos que verifican tanto a p como a q.
II. Elementos que verifican solo p.
III. Elementos que verifican solo q.
IV. Elementos que no verifican ni p ni
q.
Las regiones I y II renen a todos los elementos
que verifican p y las regiones I y III a todos los
que verifican q.
Nota:
En adelante usaremos la notacin p, q, r,...
etc. para referirnos indistintamente a
proposiciones abiertas o cerradas, quedando
claro su significado en el contexto.
5. CLASES DE PROPOSICIONES
Las proposiciones pueden separarse en
simples (o atmicas) y compuestas (o
moleculares).
A. Las proposiciones atmicas (simples o
elementales) carecen de conjunciones
gramaticales tpicas o conectivas (y, o,
si... entonces, si y slo si) o del adverbio
de negacin no.
Ejemplos:
1. San Marcos es la universidad ms
antigua de Amrica.
2. Llueve.
3. 7 es un nmero primo.
Las proposiciones atmicas pueden
clasificarse en predicativas y relacionales.
p q p q
1 1
1 0
0 0
0 0
1
0
0
0
a) Las proposiciones predicativas
constan de sujeto y predicado.
Ejemplos:
1. El nmero 2 e s primo.
2. Carlos Marx f ue el creador del
Materialismo Dialctico.
3. Gregorio Mendel es el padre de la
Gentica.
b) Las proposiciones relacionales
constan de dos o ms sujetos
vinculados entre s.
Ejemplos:
1. Margarita es hermana de Luz Elena.
(relacin de parentesco)
2. La seleccin Nacional jug un partido
intenso con su similar de Chile.
(relacin de accin.)
3. Vallejo y Maritegui fueron
contemporneos. (relacin de tiempo)
B. Proposiciones moleculares, llamadas
tambin compuestas o coligativas
contienen alguna conjuncin gramatical
tpica o conectiva o el adverbio negativo
no.
Ejemplos:
1. La lgica y la matemtica son ciencias
formales.
2. El tiempo es absoluto o es relativo.
3. Si dos ngulos adyacentes forman un
par lineal, entonces son
suplementarios.
4. Este nmero es par si y slo si es
divisible por dos.
5. El Inca Garcilaso de la Vega no es un
cronista puneo.
6. Hace calor y tengo ganas de ir a la
playa.
7. Tengo hambre, fro y no consigo un taxi.
8. Si un nmero es divisible por 2 y por 3,
es divisible por 6.
Las proposiciones moleculares, segn el
tipo de conjuncin que llevan, se
clasifican en conjuntivas, disyuntivas,
condicionales y bicondicionales; si llevan
el adverbio de negacin no se llaman
negativas.
a) La s p r o p o s i c i o n e s c o n j u
n t i v a s
ll e v a n l a c o n j u n c i n copulativa
y, o sus expresiones equivalentes como
e, pero, aunque, aun cuando,
tanto... como..., sino, ni... ni,
sin embargo, adems, etc.
Ejemplos:
1. El nmero dos es par, pero el nmero
tres es impar.
2. Ricardo es inteligente, sin embargo es
flojo.
3. Tanto el padre como el hijo son
melmanos.
4. La materia ni se crea ni se destruye.
5. Ir a verte aunque llueva.
6. Ingresar a la universidad aun cuando
no apruebe el examen de admisin.
7. Per as como Ecuador son pases
demcratas.
8. El tomo posee neutrones, protones
tambin electrones.
Nota: Existen algunos trminos de
conjuncin que merecen una mencin
particular:
No slo la matemtica es precisa sino
tambin universal: p q
El ser Leninista es compatible con el ser
Marxista: p q
La luna es un satlite no obstante gira
alrededor de la tierra: p q
Una proposicin conjuntiva es verdadera
cuando todos sus componentes son
verdaderos. Es falsa cuando por lo menos
uno de sus componentes es falso
p q p q
V
V
F
F
V
F
V
F
V
F
F
F
b) L a s proposiciones disyuntivas
llevan la conjuncin disyuntiva
o, o sus
expresiones equivalentes como u, ya...
ya, bien... bien, ora... ora, sea... sea,
y/o, etc.
En espaol la disyuncin 'o' tiene dos
sentidos: uno inclusivo o dbil y otro
exclusivo o fuerte. La proposicin
disyuntiva inclusiva admite que las dos
alternativas se den conjuntamente. La
proposicin disyuntiva exclusiva no
admite que las dos alternativas se den
conjuntamente.
Ejemplos:
Son proposiciones disyuntivas
inclusivas o dbiles:
1. Alfredo es to o es sobrino.
2. Rosa est viva o est muerta.
8
p q p q
1 1
1 0
0 0
0 0
1
1
1
0
p q p q
1 1
1 0
0 0
0 0
0
1
1
0
p q p
V
V
F
F
V
F
V
F
V
F
V
V
q p q p q
1 1 1
1 0 0
0 0 1
0 0 1
3. Per y Ecuador se pondrn de
acuerdo salvo que intervenga
EE.UU.
Nota: Cuando aparece una disyuncin al
lado de un conjuntor o viceversa, la
frmula lgica ser un Disyuntor dbil.
Ejemplo:
1. Las aves poseen pico excepto que
tambin alas: p v q
2. Los nmeros son reales y/o
complejos: p v q.
Una proposicin disyuntiva es falsa
cuando todos suscomponentes son
falsos. Es verdadera cuando por lo menos
uno de sus componentes es verdadero
p q p q
V
V
F
F
V
F
V
F
V
V
V
F
Son proposiciones disyuntivas
ex clusivas o f u er t es
1. Jos es profesor o es estudiante.
2. Juana es soltera o es casada.
3. Eres campen o subcampen.
4. O estudias o trabajas.
Nota: Algunos disyuntores incluyentes
pueden venir acompaados de las
palabras: slo, nicamente, solamente.
Dando mayor fuerza al inclusor
transformndolo en exclusor.
Ejemplo:
1. Este ao viajar al extranjero salvo
que slo viaje a Lima: p v q
2. A menos que solamente seas
Ingeniero, sers matemtico: p v q
Una proposicin Bidisyuntiva es
verdadera cuando sus componentes
tienen valores diferentes. Es falso si sus
componentes tienen valores iguales.
c) Las p r o p o s i c i o n e s
condicionales llevan la
conjuncin condicional
compuesta si... entonces..., o sus
expresiones equivalentes como si,
siempre que, con tal que, puesto
que, ya que, porque, cuando, de,
a menos que, a no ser que, salvo
que, slo si, solamente si.
Ejemplos:
1. Si es joven, entonces es rebelde.
2. Es herbvoro si se alimenta de
plantas.
3. El nmero cuatro es par puesto que
es divisible por dos.
4. Se llama issceles siempre que el
tringulo tenga dos lados iguales.
5. De salir el sol iremos a la playa.
6. La fsica relativista fue posible porque
existi la mecnica clsica.
Toda proposicin condicional consta de
dos elementos: antecedente y
consecuente. La proposicin que sigue
a la palabra si se llama antecedente y
la que sigue a la palabra entonces se
denomina consecuente.
Toda proposicin implicativa es
condicional, pero no toda proposicin
condicional es implicativa. En efecto,
slo las proposiciones condicionales
que son tautologas son implicativas.
Finalmente, en toda proposicin
condicional el consecuente es condicin
necesaria del antecedente y el
antecedente es condicin suficiente del
consecuente. Por ejemplo, en la
proposicin condicional si los cuerpos
se calientan, entonces se dilatan, el
consecuente se dilatan es condicin
necesaria del antecedente se
calientan y el antecedentese
calientan es condicin suficiente del
consecuente se dilatan.
Una proposicin condicional solo es falsa
cuando el antecedente es verdadero y el
consecuente falso. En los dems casos la
proposicin ser verdadera.
p q p q
V
V
F
F
V
F
V
F
F
V
V
F
p p
V
F
F
V
p p
1
0
0
1
p q p
V
V
F
F
V
F
V
F
V
F
F
V
p q p q
1 1
1 0
0 0
0 0
1
0
0
1
d) L a s proposiciones bicondicionales
llevan la conjuncin compuesta ... s y
slo si..., o sus expresiones equivalentes
como cuando y slo cuando, si...,
entonces y slo entonces..., etc.
Ejemplos:
1. Es fundamentalista si y slo si es
talibn.
2. Habr cosecha cuando y slo
cuando llueva.
3. Si apruebo el examen de admisin,
entonces y slo entonces ingresar a
la universidad.
Las proposiciones bicondicionales se
caracterizan porque establecen dos
condicionales, pero de sentido inverso.
Por ejemplo, la proposicin bicondicional
el tringulo es equiltero si y slo si
tiene tres lados iguales establece
dos condicionales de sentido inverso: si
es tringulo equiltero, entonces tiene
tres lados iguales y si el tringulo tiene
tres lados iguales, entonces es
equiltero.
En toda proposicin bicondicional el
antecedente es condicin necesaria y
suficiente del consecuente y el
consecuente es condicin necesaria y
suficiente del antecedente.
Una proposicin Bicondicional es
verdadera cuando sus componentes son
iguales. Es falsa si sus componentes
tienen valores diferentes.
q
e) Las proposiciones negativas llevan el
adverbio de negacin no, o sus
expresiones equivalentes como
nunca, jams, tampoco, no es
verdad que, no es cierto que, es falso
que, l e falta, carece de, sin, etc.
Ejemplos:
1. Nunca he odo esa msica.
2. Jams he visto al vecino.
3. Es imposible que el tomo sea
molcula.
4. Es falso que el juez sea fiscal.
5. Al pap de Oscar le falta carcter.
Si una proposicin es verdadera, su
negacin ser falsa y viceversa
En resumen
p q p q p q p q p q p q p q p / q
V V V V F V V F V
V F F V V F F F F
F V F V V V F F F
F F F F F V V V V
Regla prctica:
V V V
F F F
V F F
F V F
V V V , F F V
V V F , F F F
6. EL LENGUAJE FORMALIZADO DE LA
LGICA PROPOSICIONAL
Existen dos tipos fundamentales de lenguajes:
el natural y el formalizado. El lenguaje natural
es el usado en la vida familiar, en la vida
cotidiana. El lenguaje formalizado es el
lenguaje usado en la actividad cientfica. Slo
sirve para formular conocimientos. Es un
lenguaje especializado. Pertenecen a este
lenguaje, el lgico y el matemtico.
El lenguaje lgico se denomina formalizado
porque su propiedad ms importante es la de
revelar la forma o estructura de las
proposiciones e inferencias.
El lenguaje formalizado consta de dos clases
de signos: variables proposicionales y
operadores o conectores lgicos.
a) Las variables proposicionales
representan a cualquier proposicin
atmica. Son letras minsculas del alfabeto
castellano p, q, r, s, etc.
b) Los operadores lgicos adems de
enlazar o conectar proposiciones establecen
determinadas operaciones entre ellas. Son
de dos clases: didicos y el mondico.
Los operadores didicos tienen un
doble alcance: hacia la izquierda y hacia
la derecha, es decir, afectan a dos
variables. Y son los siguientes:
El conjuntivo: representa a la
conjuncin y. Su smbolo es .
El disyuntivo: representa a la
conjuncin o . Puede ser inclusivo y
exclusivo. El smbolo del inclusivo es
; el del exclusivo es .
El condicional: representa a la
conjuncin compuesta si... entonces.
Su smbolo es .
El bicondicional: representa a la
conjuncin compuesta si y slo si.
Su smbolo es .
Negacin conjunta: representa a las
partculas ni...ni. Su smbolo es
.
Negacin alterna: representa a la
expresin no o no. Su smbolo
es / .
El operador mondico es el Negativo y
tiene un solo alcance: hacia la derecha,
es decir, afecta a una sola variable. Es el
operador de la negacin. Representa al
adverbio negativo no. Su smbolo es
,
.
7. FORMALIZACIN DE PROPOSICIONES
Formalizar una proposicin significa abstraer
su forma lgica, es decir, representarla
simblicamente.
Ejemplo 1. Formalizar la proposicin:
Ya que Inicial es un nivel educativo tanto
como la primaria o secundaria, por ello es
gratuito y no es educacin superior
Resolucin
Paso 1
Identificamos proposiciones simples y le
asignamos variables en orden alfabtico.
p: Inicial es un nivel educativo.
q: La primaria es un nivel educativo.
r: La secundaria es un nivel educativo.
s: Inicial es gratuito.
t: Inicial es educacin superior.
Paso 2
Identificamos la estructura formal
Ya que p tanto como q o r,
por ello s y no t
Paso 3
Escribimos la formula lgica (Formalizacin):
[p (q r )] (s t )
10
Ejemplo 2. Dadas las proposiciones:
p: El dos es nmero primo
q: Los nmeros pares no son primos.
r: Todo nmero elevado al cuadrado es
siempre positivo .
Encontrar el valor de verdad de:
[(p q) r ] [(q r ) p]
Resolucin
Paso 1
Definimos el valor de verdad de cada
proposicin.
p: V q: F r: V
Paso 2
Asignamos el valor de verdad a las variables
[(p q) r ] [(q r ) p]
V F V F V V
Paso 3
Aplicamos las reglas de los conectores de
acuerdo a su jerarqua.
[(p q) r ] [(q r ) p]
V F V F V V
F V
V V
V
El valor de verdad es V (verdadero)
8. DEFINICIN TABULAR DE FRMULAS
MOLECULARES COMPLEJAS
Las frmulas o esquemas moleculares
complejas contienen dos o ms operadores
distintos o dos o ms veces el mismo operador.
Para definir tabularmente frmulas moleculares
complejas se deben observar los siguientes
pasos:
1. Dada la frmula molecular compleja se
establece la jerarqua entre sus operadores
a travs de los signos de agrupacin:
~ [( p q) (~ q ~ p)]
2. Se construye las matrices secundarias que
corresponden a las de los operadores de
p q ~ [( p q) (~q ~p )]
V V V V F V F
V F V F V F F
F V V V F V V
F F F F V V V
p q (p q) (p q)
1 1 1 1 1
1 0 0 1 1
0 1 0 1 1
0 0 0 1
p q (p q) (p q)
1 1 1 0 0
1 0 1 0 0
0 1 1 0 0
0 0 0 0
p q (p q) (p q)
1 1 1 1 1
1 0 1 0 0
0 1 1 0 0
0 0 0 1
menor jerarqua aplicando sus respectivas
definiciones:
1. TAUTOLOGICOS. Si su matriz principal
est conformado solo de valores
verdaderos.
Ejemplo
3. Se construye, finalmente, la matriz
principal que corresponde a la del operador
de mayor jerarqua aplicando la definicin
correspondiente a las matrices de los
operadores que la siguen en jerarqua:
p q ~ [( p q) (~q ~p )]
V V F V V F V F
V F V V F V F F
F V F V V F V V
F F V F F V V V
5 3 2 4 3 4
La matriz principal (5), se ha obtenido
aplicando la definicin del operador negativo a
los valores de la matriz 2. La matriz 2 se obtuvo
aplicando la definicin del operador conjuntivo
a los valores de las matrices 3. La matriz 3 del
lado izquierdo se ha obtenido aplicando la
definicin del operador disyuntivo inclusivo a
los valores de p y q. La matriz 3 del lado
derecho se ha obtenido aplicando la definicin
del operador condicional a los valores de las
matrices 4. La matriz 4 del lado izquierdo se ha
obtenido aplicando la definicin del operador
negativo a los valores de q y la matriz 4 del
lado derecho, aplicando la definicin del
operador negativo a los valores de p.
Ahora es tu oportunidad:
Construir la tabla de verdad del siguiente
esquema molecular:
[(pq) (q r)] (p r)
Nota: La matriz principal es: VVVVVVVV
9. CLASIFICACIN DE LAS FRMULAS
MOLECULARES POR SU MATRIZ
PRINCIPAL
Las tablas de verdad nos permiten clasificar
0

Matriz principal
Las frmulas moleculares tautolgicas son
llamadas tambin leyes lgicas.
2. CONTRADICTORIOS. Si en su matriz
principal todos los valores son falsos.
Ejemplo
1

Matriz principal
3. CONTINGENTES. Si en su matriz principal
aparece por lo menos un valor verdadero y un
falso.
Ejemplo
0

Matriz principal
Nota: Una frmula proposicional ser vlida si
es Tautolgica y se dir que es falsa en toda
interpretacin si es contradictoria.
10.IMPLICANCIA Y EQUIVALENCIA LGICA
Se llama Implicancia lgica (o simplemente
IMPLICACIN) a toda condicional p q que
sea una TAUTOLOGA, y en tal caso a la
condicional se le denota por p q .
Ejemplo
a las frmulas moleculares, atendiendo a su
matriz principal, en tautolgicas, consistentes
El esquema:

(
p q
)
q1
]

p es
una
y contradictorias.
implicacin lgica. Verifcalo!
11
Se llama Equivalencia lgica (o simplemente
EQUIVALENCIA) a toda bicondicional p q
que sea una TAUTOLOGA, y en tal caso a la
condicional se le denota por p q .
Ejemplo
(pq) (pq)
(pq) (pq)
(p) (pq)
(pq) (pq)
El esquema:
p
( p q
)
p es una
EXPORTACIN
(pq)r p(qr)
equivalencia lgica. Verifcalo!
11.LEYES DEL LGEBRA PROPOSICIONAL
DOBLE NEGACION
p ( p)
p [ ( p)]
LEYES DE D`MORGAN
(p q) p q
(p q) p q
p q ( p q)
p q ( p q)
CONMUTACIN(

, /, , ,

)
(p q) (q p)
(pq)
(qp)
CONTRAPOSICIN (,, ,

)
(pq) ( q
p) (p q) ( q
p)
ASOCIACIN (

, ,

)
(p q r) [p q] [p (q r)]
(p q r s) [(p q) (rs)]
DISTRIBUCIN
p (q r) (p q) (p r)
p (q r) (p q) (p r)
ABSORCIN
p (p q) p
p (p q) p q
p (p q) p
p (p q) p q
IMPLICADOR
p q p q
pq (p
q)
BIIMPLICADOR
(pq) (pq) (pq)
(pq) (p q) ( p q)
DISYUNTOR EXCLUYENTE
(pq) ( pq)(pq)
( p q )

( p q )
( p q )
( p q )1
]
( p q ) p q
p T ) ( q T )
p
( q q ) )

(
q
( p p ) )
p q ) ( p q ) ( q p ) ( q p )
q ) ( p q ) ( p q ) ( p q )
q ) ( p q ) ( p q ))))))))))))
MUTACIN
p(qr) q(pr)
LEY DE EXPANSIN
p
[p(s
s)]
pq
[p
(pq)] p

[p(t t)
]
pq
[q
(pq)]
IDEMP
OTENC
IA pp
p
pp p
COMPL
EMENT
O pp
0
pp 1
IDENTIDADES
p1 p p0 0
p1 1 p0 p
Ejemplo
Demostrar que
Resolucin
En efecto tenemos que:
(

(
(
( p
( p
Tarea. Justifique cada uno de los pasos
realizados teniendo en cuenta las leyes del
lgebra proposicional.
12.CUANTIFICADORES
Las expresiones todo y existe se denominan
cuantificadores.
En el lenguaje matemtico:
La palabra todo (o sus equivalentes) en una
proposicin indica que cualquier elemento que
12
p

( p

q )1
]]]]]]
Usamos las
palabras
Para
referirnos
a TODO
Por ejemplo
Todo
Todos los insectos
alados tienen 6 patas.
Ninguno Ningn lugar est lejos
Cualquiera
Cualquier mltiplo de 6
puede dividirse por 3.
No hay
No hay mamferos
acuticos.
Nadie Nadie es perfecto.
Los / Las
Las cmaras digitales
utilizan bateras.
Usamos las
palabras
Para
referirnos
a que
EXISTE
al menos
uno
Por ejemplo
Existe
Existen hombres
daltnicos.
Un / Unos
Unos pancitos tienen
queso.
Alguno /
Algunos
Algunos mamferos
tienen alas.
Hay
Hay algunos sitios de
acampe donde no se
puede hacer fuego..
se elija dentro del conjunto posee la propiedad.
El smbolo que se utiliza para todo es
(se lee para todo ).
La palabra existe (o sus equivalentes) en
una proposicin indica que hay dentro del
conjunto al menos un elemento que posee la
propiedad. Puede ser uno, varios, o incluso
todos. El smbolo que se utiliza para existe
es
(se lee
existe).
Por ejemplo
Cmo podemos demostrar que una
afirmacin que tieneun cuantificador es
verdadera o falsa?
Por ejemplo: La afirmacin Todo los perros
son blancos es falsa. cmo lo sabemos?
Basta con mostrar un perro que no sea blanco.
La afirmacin Todo nmero mltiplo de 6 es
par es verdadera. Para mostrar que esto es
cierto, dado que no hay posibilidades de
revisar uno por uno todos los mltiplos de
6, hay que recurrir a una demostracin
general, a un razonamiento deductivo que
nos permita evidenciar que la afirmacin es
cierta. En este caso es sencillo, porque para
que un nmero sea mltiplo de 6, debe ser a la
vez mltiplo de 3 y de 2. Al ser mltiplo de 2
es par. Por lo tanto la afirmacin es cierta
para cualquier mltiplo de 6.
C CT TI IV VI ID DA AD DE ES S D DE E A AP PL LI IC CA ACI CI N N
Estimado alumno,
considerando la parte terica
desarrollada, resuelva cada
una de los tems propuestos a
continuacin
01.Si

(
p q
)

(
p
p
)

(
r s
)
q1
]
es
verdadera, cules son los valores de verdad
de las proposiciones s, p, r y q?
Redactar las proposiciones del cuadro en la
forma Todo... o Existe..., por
Ejemplo: Algunos mamferos tienen alas
se escribir como Existe un mamfero que
tiene alas
El valor de verdad de las proposiciones
categricas
Como toda proposicin, las proposiciones
categricas (las que contienen
cuantificadores) poseen un valor de verdad
(es decir, puede decirse de ellas que son
Verdaderas o Falsas). En algunos casos
decir de una proposicin que es verdadera o
falsa es sencillo. Para la proposicin
Llueve , basta con mirar por la
ventana
para decidir.
( p q) ( p q )
p q )
r
q ) r
p ))))))))
02.Indicar el resultado de la matriz principal del
esquema
03.Demostrar que es una
equivalencia lgica
04.Sabiendo que la proposicin p es verdadera,
en cul de los siguientes casos es suficiente
dicha informacin para determinar el valor de
verdad de las siguientes proposiciones?
a) ( p q
)

(
b) ( q p
)

c) ( p
d) ( p q
)

( r
13
r
q )

q1
]
p
( q
r )1
]

( q
p ) ( p r
)1
]
q

p)
( p

q )1
]

( p q )
r )1
]

p ( q r )1
]

p ( qqqqqqqqqqqqqqq
05.Si

( s p )
r 1
]

( p
q
)
es verdadero y a) x A, y A, x
2
+ 3y < 12
( p q
)
es falsa, determine los valores
de verdad de p , q y s
06.Demostrar que las siguientes proposiciones son
leyes lgicas (tautologas)
a)
( p q
)
q
b) x A, y A / x
2
+ 3y <
12 c) x A / y A, x
2
+ 3y
< 12 d) x A / y A, x
2
+
3y < 12
C CO OM MP PR RO OB BA AC CI IO ON N D DE E S SA AB BE ER RE ES S
01.Calcular el valor de verdad de la frmula:
b)

( p
p
c)

( p q
)
q1
]

q
d)

07.Simplificar:

(
08.Demostrar que el esquema
~
{

(
p q
)
p1
]

(
~ q p
)}
02.Determinar el valor de verdad de la proposicin
p y q, si:
~ p~ q F ; (
p q
)

(
p q
)
V
03.Suponiendo que p y q son verdaderas y
r y s falsas, determinar el valor de verdad
de las siguientes proposiciones:
p ( q r )1
]
}
a) p
(
q r
)
es contradictorio.
b) p
(
q r
)

( p q )
( r s )
09.Formalizar las siguientes proposiciones:
a) No es cierto que Jos termine su tarea y
vaya al cine.
b) Iremos a nadar a menos que el cielo no est
despejado, ya que no hemos trado carpa.
10.Formalizar la siguiente proposicin:
La Historia que es apoltica no es ciencia, pero
la Historia es una ciencia; por consiguiente la
Historia no es poltica. Sin embargo, la Historia
no es apoltica . Re specto a este esquema
podemos afirmar que:
a) Es contingente y se reduce a un esquema
condicional.
b) Se reduce a un esquema conjuntivo.
c) Es contradictorio.
d) Es verdadero si la Historia es una ciencia.
e) Es verdadero si la Historia es poltica.
11.Indicar el valor de verdad de las siguientes
proposiciones y negarlas simblicamente.
c)
(

(
p q
)
r
)

(
((
p q
)
r
)

s
)
d)
(
p r
)

(
q s
)
e)
(
p
(
q
(
r p
))
)

(
q s
)
04.Construya las tablas de verdad para las
siguientes expresiones lgicas:
a)
(
p q
)
b)
(
p q
)
c)
(
p
(
q r
))

(
q r
)

(
p r
)
d)
(
((
( p q ) r
)
( p q )
)
r
)
e) (
p q
)

(
p q
)

(
p q
)

(
p q
)
05.Formaliza las siguientes proposiciones:
a) Hace fro siempre que, apague la luz pero
no cierre la puerta.
b) La suma de los ngulos internos de un
+

, x
2
1
+

/ x
2

tringulo es 180, al igual que la suma de los ngulos internos de un cuadriltero es

a) x
b) x

2x + 13
0
12x + 13
0
360.
c) Es falso que si juego y me divierto, entonces
ingresar a la carrera pblica magisterial.
d) Es incompatible que la Qumica y la Fsica
12.Sea
A
{1; 2;3
}
, determinar el valor de
verdad
estudien la energa, a menos que ni la
de cada una de las siguientes proposiciones,
as como indicar sus negaciones.
Lgica ni la Fsica estudien la materia.
14
q) ( r s )
r q)
q1
]

( q r )
s1
]
q
1
]
p q
( r
r )1
]
q

( p

q )
q
1
]

( p

q )
r
1
]

( s

s )
,y ,( y
) ( x
/ ( 1) (
x
,
x

x x
/ x + 2 5
]

x , x
2
>
x
1
]
, x < 0
]

[
x / x x
]
/ x
06.La proposicin: Si hay humedad, entonces las
plantas crecen, es equivalente a:
a) Las plantas crecen y hay humedad.
b) Si las plantas no crecen, no hay humedad.
c) No hay humedad y las plantas crecen.
d) Las plantas no crecen y hay humedad.
e) Todas las anteriores.
07.De la falsedad de: (
p ,
deducir el valor de verdad de los esquemas:
a) (
p q
)
q
b)

(
c) ( p r
)

( p q
)

08.Simplificar:
a)

b)
1. Venero B., J. Armando (2004). Matemtica
Bsica. Ediciones GEMAR, Lima Per.
2. Venero B., J. Armando (2004). Introduccin al
Anlisis Matemtico. Ediciones GEMAR, Lima
Per.
3. Moth, Kart J. (1987). Introduccin a la Lgica.
Grupo Editorial Iberoamericana.Mxico D.F.
4. Asociacin Fondo de Investigadores y Editores
(2006). lgebra y principios del anlisis Tomo I
y II. Segunda Edicin, Lumbreras editores
S.R.L., Lima Per.
5. Asociacin Fondo de Investigadores y Editores
(2006). Aritmtica: Anlisis del nmero y sus
aplicaciones. Segunda Edicin, Lumbreras
editores S.R.L., Lima Per.
c)

( p q
)
( p q
)1
]

( p r
)
09.Cuntas F y cuntas V tiene la matriz del
esquema despus
de simplificarlo?
10.Indicar el valor de verdad de:
a) x
b) x
2
c) x
)

0
)
xy xy > 0
d)
[
x
e)
[
x
f) x
A AC CT TI IV VI ID DA AD DE ES S D DE E EX EXT TE EN NS SI I N N
Investigue sobre la aplicacin de la Lgica difusa y
los circuitos lgicos en el Modelamiento e
interpretacin de situaciones de nuestra vida
diaria.
V VI. I. R RE EF FE ER RE EN NC CI IA AS S BIB BIBL LIO IOG GR RA AF FI IC CA AS S
15
SISTEMAS NUMRICOS
Una vez le preguntaron a
Einstein, Cul es la velocidad
del sonido? Y ste respondi:
No lo s, procuro no cargar mi
memoria con datos que puedo
encontrar en cualquier manual,
ya que el gran valor de la
educacin superior no consiste
en atiborrarse de datos, sino
en preparar el cerebro a
pensar por su propia cuenta y
as llegar a conocer algo que no
figure en los libros
A. Einstein.
CONTENIDOS APRENDIZAJES ESPERADOS INDICADORES
Relaciones entre los
sistemas numricos: N,
Z, Q y R
Inters simple y
compuesto
Demuestra axiomas y teoremas
sobre nmeros reales.
Identifica y aplica axiomas y
teoremas de nmeros reales
Resuelve situaciones problemticas entorno
aplicando los axiomas y teoremas de los
nmeros reales.
Resuelve e interpreta problemas financieros
aplicando las ecuaciones de inters simple y
compuesto.
16


OOpopppo
n
d d
in iiiiiiiiiii
S SI ITU TUA ACI CI N N P PR RO OB BL LE EM M T TI IC CA A
Analiza la propuesta de formacin del sistema de
nmeros reales y fundamente la necesidad de
ampliar cada conjunto numrico con argumentos
vlidos y confiables, y si es posible con ejemplos
de la vida cotidiana.
Ubicacin de en la recta numrica
Los nmeros irracionales no son numerables, es
decir, entre cualquier par de irracionales existen
infinitos nmeros irracionales.
Varios de los nmeros irracionales se ubican
geomtricamente del siguiente modo:
Operacin de
Sustracci
- Operacin de
2
Operacin de
1
divisin con cifras
divisin parcial.
ecimales
iferentes e
determinadas.
2
-1 0 1
2
- Representacin de una
parte de la unidad.
- Operacin de divisin con
cifras decimales
peridicos
Observa que el nmero irracional 2 resulta ser
la hipotenusa del tringulo rectngulo cuyos
catetos miden 1. Haciendo centro en 0, se traza un
I
arco cuyo radio coincide con la longitud de la
Hipotenusa. La interseccin del arco con la recta
numrica permite ubicar en ella a los nmeros
D DE ES SA AR RR ROLL OLLO O D DE EL L C CO ON NT TE ENIDO NIDO T TE E RICO RICO
CI CIE EN NT T F FICO ICO
En el siglo V A. C., los griegos pitagricos,
buscando la longitud de la diagonal de un
cuadrado de lado uno, descubrieron otra clase de
nmeros distintos a los naturales y a los
irracionales 2 y 2
CONJUNTO DE LOS NMEROS REALES ( )
Es el conjunto de los nmeros racionales e
irracionales.
Es decir:
GRAFICA
fraccionarios, les pareci tan poco razonable lo Q
R
que obtuvieron que le llamaron irracional. Z
N
I
Las races que no pueden expresarse
exactamente mediante nmeros racionales
representan nmeros irracionales y reciben el
nombre de radicales. Por ejemplo: 3; 5; 11 ,

son radicales.
CONJUNTO DE NMEROS IRRACIONALES
A los nmeros decimales cuya parte decimal es
infinita no peridica, tales como:
LA RECTA NUMRICA REAL
Es aquella recta geomtrica donde existe una
correspondencia biunvoca (uno a uno) entre los
puntos de la recta y el conjunto de los nmeros
reales.
(+) POSIT IVOS
2 1,41421356 2...,
(pi)
3,141592653 5.. . , se les
denomina Nmeros Irracionales. Todos los


5
-2
2
-1 -
1
0
2

1
1 2
5
3
+

nmeros irracionales formal el Conjunto de los

Nmeros Irracionales.
Los ms clebres nmeros irracionales son
identificados mediante smbolos. Algunos de estos
son:
Pi:
3,141592653 5...
Nmero Neperiano: e
2,718281 8...
-3 -
2 2 2 2
(-) NEGAT IVOS
Se observa que la representacin de los nmeros
irracionales en la recta numrica, determina la
completitud, es decir, que a cada nmero real le
corresponde uno y slo un punto de la recta y
cada punto de la recta es conjunto es continuo, es
Nmero ureo:
1
+
2
5

1,61803398...
decir, no existe ningn vaco entre sus elementos.
17
y 0000000000000000
SISTEMA DE NMEROS REALES
Es el conjunto provisto de dos operaciones:
adicin (+) y multiplicacin ( ) y una relacin de
orden (<) que se lee menor que y que
satisface
los siguientes axiomas:
Definicin de la Divisin
x
x y

1
;x, y
y
1. Si x, y entonces (
x + y
)
(Cerradura
Teoremas fundamentales en
1. Unicidad del 0 y 1.
en la adicin).
2. Si x + y x +
z
entonces y z ; x, y, z
2. Si x, y , entonces x + y y +
x
3. Unicidad de los elementos simtrico y
(Conmutatividad).
recproco.
3. Si x, y, z , entonces
4.
(
x
)
x;x
(
x + y
)
+ z x +
(
y
+ z
)
adicin).
(Asociatividad en la
5. (
1
)
x x;x
4. Existe 0 de manera que
cualquier x (Neutro
aditivo).
x + 0 x
para
6. x
(
y
)

(
x
)
y xy;x, y
7. x
(
y z
)
xy xz;x, y, z
5. Para cada x existe un elemento x tal
8. Si x 0 xy xz entonces y z
que
x +
(
x
)
0 (Inverso
aditivo).
9. Si xy 0
entonces
x 0 y 0
6. Si
x, y , entonces xy (Cerradura en
la multiplicacin).
Demostraciones en
7. Si
x, y , entonces xy yx
(Conmutatividad en la multiplicacin). Teorema (Unicidad del 0)
8. Si x, y, z , entonces (
xy
)
z x
(
yz
)
Probar que existe un nico elemento neutro
aditivo.
(Asociatividad en la multiplicacin).
9. Existe 1 de manera que x 1 para
Prueba
Sea 0 otro nmero real que tiene la propiedad del
cualquier x (Neutro multiplicativo).
10.Para cada x existe un elemento x

0. Entonces:
0'+ 0 0 + 0' 0 0 0'
tal que
x

1
x 1 (Inverso
multiplicativo).
Teorema:
x

x
+

(
y
)

;

x, y

11.Si
x, y, z , entonces x
(
y + z
)
xy +
xz
Prueba
(Distributividad de la multiplicacin en la
adicin).
Tomando a x y b x +
(
y
)
, probaremos
12.Si
x, y , entonces se cumple slo una de
que a b .
Si a

a
+
y
estas: (Tricotoma)
(i) x < y
(ii) x > y (iii) x
y
Por otro lado b x +
(
y
)
13.Si
x, y, z , x < y y y < z entonces x < z
Sumando y a ambos miembros obtenemos:
(Transitividad).
b + y x +
(
y
)
+ y
14.Si x, y, z y x < y , entonces x + z < y + z
Como y +
(
y
)

0 b + y x
(Monotona en la adicin)
15.Si
x, y, z ; x < y y 0 < z , entonces xz < yz
De donde: b + y x a + y a b
(Monotona en la multiplicacin).
Axioma del supremo (Axioma de la menor cita
Teorema:
(
x
)
x;x
Prueba
superior)
Si E es un conjunto acotado superiormente
Sean: x + ( x) 0 ( x) +
(
( x) )
0
en , entonces E tiene supremo en .
Definicin de la Sustraccin
x y x +
(
y
) ;x, y
Entonces: (
x)
+
(
(
x))
x + (
x)
De donde:

(
x
)
x
18
, x 0
, y 000

Teorema:
Prueba
x + x 2x;x

Teorema: x
1

1
x
;x
Sean: x x
1
Prueba
Entonces:
De donde:
Teorema:
Prueba
x + x x 1 + x 1 x
(
1 + 1
) x
2 2 x
x + x 2x
x 0 0;x
x

1

(

x

1
)
1
(

x

1
)

x _
,
(
x

1
)
( x
)

x
x 0 x 0 + 0 x 0 +
( x
+ ( x))

( x 0 + x
)
+
(
x
)

( x 0 + x 1
)
+
(
x
)
x
(
0 + 1
)
+
(
x
)
x 1 +
(
x
)
x +
(
x
)

0

1
x
Teorema:
( xy
)

1
x

1
y

1
;x, y
Prueba
( xy )

1
(
x

1
y

1
)

(
xx

1
) (
yy

1
)

1 _

1
_

(
1
) (
1
)
Teorema: x
(
1
) x;x
Prueba

1
( xy
) ( xy
)

1

1
x ,

y
,
Basta demostrar que:
x + ( 1) x
0
en vista que
Por la unicidad del inverso multiplicativo,
xy

1
y

1
(
1
)
x
y x son inversos aditivos de x .
concluimos que:
( )
En efecto
x +
(
1
) x 1 x +
(
1
) x

(
1 +
(
1
) )
x
0 x
0
Por lo tanto, por la unicidad del inverso aditivo, se
concluye que: x
(
1
) x
Teorema:
(
x
) (
y
) x y;x, y
AXIOMAS DE ORDEN
Aqu, se establece una ordenacin entre los
nmeros reales, la cual nos permite decidir si un
nmero real es mayor que otro.
Definiciones
1. Un nmero a se llama positivo si y slo si
a > 0.
2. Un nmero a se llama negativo si y slo si
a < 0.
Prueba
( x) ( y )

( 1) x
1
]

( 1)
y
1
]
( 1)
x
((
1
)
y
)
3. a > b
( a b
)
es positivo: ( a b > 0 )
4. a < b
( a b
)
es negativo: ( a b < 0 )

(
1
)

(
1
) x1
]

y
(
1
)

(
x
)
1
]

y

(
1
) (
x
)
1
]

y
5. a b a > b a b
6. a < b < c a < b b < c
1 1
xy
7. Si a y b tienen el mismo signo y a < b >
a b
En consecuencia:
Teorema:
Prueba
x
( y z
) xy xz;x, y, z
Si ab
>
0

a
<
x
<
b

1
<

1
<

1
b x a
x
( y z
)
x

y +
(
z
)
1
]

xy + x
(
z
)
xy +
(

(
xz
) )
xy xz
Nota: Una desigualdad PODEMOS INVERTIR,
slo cuando los extremos son positivos o
cuando son negativos.
19
, a 000000000
En consecuencia: Si un extremo es negativo y
el otro es positivo, entonces la desigualdad no
se puede invertir.
Nota: (Interseccin)
Debemos leer: El valor absoluto de x es igual a
x, (al mismo nmero) si x es positivo o
cero. Pero es igual a x si x es negativo .
Ejemplos:
3 3 , pues 3 > 0
(Unin)
5 (5) 5 , pues - 5 < 0
Teorema:
a < c b < d a + b < c + d;a,b, c, d

2 3 ( 2 3) = 3 2 , pues ( 2 3) < 0
Prueba
TEOREMAS FUNDAMENTALES
a < c a + b < b + c
b
<
d

b
+
c
<
c
+
d
1. x 0; x
De donde: a + b < c +
d
Ejemplo: 2x 3 0
Teorema:
a < b a > b;a,b
Esta desigualdad siempre se cumple en los
reales.
Prueba
2. x x ; x
a < b b a > 0
(
b a
)
+
(
b
)
> 0 +
(
b
)
Ejemplo: 2x + 8

2x 8
a +
(
b +
(
b
))

> b
3. xy

x y ;
x x
; x, y
a + 0 > b
a > b
y y
Ejemplo:
* x (x 1) x . x 1
Teorema:
*
2

2
a < b c < 0 ac > bc;a,b, c
Prueba
a < b c > 0 ac < bc ac > bc
x x x
4. x
2
x ; x
Ejemplo:
Teorema:
a
2
>
0;

* 3
2
3 3
2
Prueba
a 0 a > 0 a < 0
* (
2
) 2 (2) 2
i. Si a > 0 a a < 0
a
5. x
2
x
2
x
2
; x
De donde: a
2
> 0
Ejemplo:
ii. Si a
<
0
(
a
)
> 0
* x 1
2
(x 1)
2
(
a
) (
a
) > 0
(
a
)
* ( x +
3)
2
(x + 3)
2
De donde: a
2
> 0
OTRAS PROPIEDADES
VALOR ABSOLUTO
1. x 0 x 0
2. x y x y x y
El valor absoluto de un nmero real x, es un
3. x y y 0 [x y x y]
nmero no negativo, denotado por x y definido
4. Sean: x , y , entonces:
por:

x
'
x ; si x
0
x y

( y 0) ( y x y)
x

(
x

y
)

(
x

y
)1
]

x ; si x <
0 x < y

( y > 0)
( y < x < y)
20
: x + y
/ n x}
+++++++++++++++
x > y

( x > y) ( x <
y)
A AC CT TI IV VI ID DA AD DE ES S D DE E A AP PL LI IC CA ACI CI N N
5. Sean: x , y , entonces:
Estimado colega,
x

x <
x >
y
(
x + y
) (
x y
)

0
y ( x + y) ( x y)
0 y ( x + y) ( x y)
< 0
y ( x + y) ( x y) >
0
considerando la parte terica
desarrollada, resuelva cada
una de los tems propuestos a
continuacin
6. x , y
triangular)
x + y , (Desigualdad
01. a, b , demostrar que: ab
a
+
b
.
2
MXIMO ENTERO
Dado un nmero real x, se llama el MXIMO
ENTERO DEL NMERO REAL x, al nmero
entero denotado por x y que es el MAYOR DE
TODOS LO ENTEROS QUE SON MENORES O
IGUALES AL NMERO REAL x.
02. a, b, c , demostrar que:
a
2
+ b
2
+ c
2
ab + ac + bc .
03.Demostrar que:
a + b
Si a < b entonces a < < b;a, b
2
04.Si
x + y + z 0, demuestre que:
x mx M
x
mx
{
n
x
3
+ y
3
+ z
3
3xyz.
PROPIEDAD FUNDAMENTAL

(2004)
3

(1003)
3

(1001)
3
_
Sea x

, arbitrario; y sea n

, entonces:
05.Calcule: L

2004

1003

1001

,
x n n x < n +1; n
06.Sabiendo que x, y, z satisfaciendo xyz 1 ,
PROPIEDADES DEL MXIMO ENTERO
calcule el valor de la expresin:
1. El mximo entero x siempre es un nmero
entero tal que:
A

1
1 + x +
xy
+
1
1 + y +
yz
+
1
.
1 + z + xz
x n x

n; n +1 ; n
07.Si x 2;1
]
, A qu intervalo pertenece la
2. Para todos real x:
expresin
x
2
+ 2x + 2 ?
x x
<
x +1
3. Para todos real x:
08.Si
x
2
+ x + 1 0 , calcule el valor numrico de:
x x ;

, n
, n
, n
, n
, n

0 x x < 1
L

x
+
1
_
2

+


x
2
+
1
_
2

+
...
+


x
27
+
1
_
2

4. x
x x
x
, x
2
,

x
27
,
5. x
6. x + n

x + n; x

09.Si 2
a
5
b
10 , cunto vale
1
+

1
?
a b
7. x
8. x
< n x < n; x
n x n; x

10.Encontrar y (en trminos de x) de tal manera

9. x
10. x
> n x n +1; x

n x < n +1; x

que 2
y
16
x
+
1
+
2
4x + 4
.
11. x y x

y ;x, y
11.Luz escribi una fraccin irreducible. Jos
escribi otra fraccin. Para elegir el numerador,
le sum 11 al numerador de Luz y para elegir el
denominador, multiplic el denominador de Luz
21
+

; b
+
(
a / ( 1) a

, a < b
+++
2 3 100
2 4
]
por 2 y al resultado le sumo 3. Sabiendo que la
fraccin de Luz es igual al doble de la de Jos,
Qu fraccin pens Luz?
03.Si a, b tal que a + b 1, demostrar que:
ab
1
4
12.Si
x
2
+ 8x 2 0 , determinar el valor
de:
04.Qu tipo de nmero es el producto de un
x
4
+ 8x
3
+ 16x +
10
nmero racional por un irracional? Hay algn
caso excepcional?
13.Si P
(
x
)

1
2
x + 1
, calcular el valor de:
05.La suma de un nmero racional y otro
irracional, Cmo es?
P
(
2
)

+
P
(
3
)

+
...
+
P
(
100
)

+
P
1 _
+
P
1 _
+
...
+
P
1 _

, , ,
14.Tengo ms de 27 chapitas, de las cuales regalo
la mitad de las que no regalo y luego de las que
me quedan pierdo 5 chapitas. Cuntas
chapitas me quedan dado que son menos de
17?
06.Demuestre que:
3
54 30 3 +
3
54 + 30 3 es un nmero
natural.
07.Determinar la verdad o falsedad en:
I. x

[
1
;3
]

x 4

1
;
3
1
15.Lus compra naranjas, la mitad a 5 por 6 soles y
x 5
1
la otra mitad a 6 por 7 soles. Vende los
3
del
5
II. x
[
1; 2
]

x
+
7

[
3; 4
]
x + 1
nmero a 3 por 5 soles y las dems a 4 por 7
III.
x
2
4;9 ( x + 1) 2; 1 U 3;4
soles Cuntas naranjas habr vendido, si se
sabe que gan 930 soles?
C CO OM MP PR RO OB BA AC CI IO ON N D DE E S SAB ABE ER RE ES S
01.Si a , determinar el
valor de verdad de cada unade las
siguientes
Respuesta VVF
08.Si: a; b; c son tres nmeros distintos y
satisfacen las ecuaciones:
a
3
+
pa + q 0

'
b
3
+
pb + q 0
proposiciones:
1 1

3

c
Calcule: a + b + c.
+ pc + q 0,
a) <
b a
b) b
(
b a
) > 0
b
3
2
c) b < 0
a
d) a
2
< b
2
02.Determinar el valor de verdad de las
proposiciones:
a) 0)
b) a, b a
2
< b
2
c) a > b b + c a + c,c
c 0 :::
A AC CT TI IVI VID DA AD DE ES S D DE E EX EXT TE EN NS SI I N N
R RE EF FE ER RE EN NC CI IA AS S BIB BIBL LI IO OGR GRA AF FI IC CA AS S
Bibliografa
1. Venero B., J. Armando (2004). Matemtica Bsica.
Ediciones GEMAR, Lima Per.
2. Venero B., J. Armando (2004). Introduccin al
Anlisis Matemtico. Ediciones GEMAR, Lima
Per.
3. Asociacin Fondo de Investigadores y Editores
(2006). lgebra y principios del anlisis Tomo I y II.
Segunda Edicin, Lumbreras editores S.R.L., Lima
Per.
d) a,b b < a bc < ac
e) Si a < b c > 0 ac < bc
f) a > b b + c < a + c;c
g) a < b a < 2b;a,b
22