Академический Документы
Профессиональный Документы
Культура Документы
1.2 Proposiciones
Una proposicin es una unidad semntica que, o solo es verdadera o solo es falsa.
Los elementos fundamentales de la lgica son las proposiciones. Por ello, las oraciones
que no son falsas ni verdaderas, las que son falsas y verdaderas al mismo tiempo, o las
que demuestran algn tipo de imprecisin (carecen de sentido), no son objeto de estudio
de la lgica.
Ejemplos:
5 es un nmero primo.
-17+38=21.
Las oraciones anteriormente expuestas son posiciones, ya que son verdaderas o falsas.
Valor de verdad.
Usualmente al valor de verdadero se lo asocia con: 1, V,T, True; mientras que el valor
falso se lo asocia con: 0, F, False.
Tabla de verdad
Una tabla de verdad es una representacin de posibles valores de verdad que podra
tomar una proposicin.
As tablas de verdad sirven para mostrar los valores, las relaciones y los resultados
posibles al realizar operaciones lgicas.
a b
a 1 1
1 1 0
0 0 1
0 0 La cantidad de combinaciones (filas de la tabla de verdad)
depende de la cantidad de proposiciones presentes en la expresin lgica.
Negacin.
a a
1 0
0 1
La negacin se presenta con los trminos gramaticales: "no", "ni", "no es verdad que",
"no es cierto que".
Si Se tiene la proposicin
La negacin de a es:
La negacin de a es:
Conjuncin.
, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de
verdad:
a b a b
1 1 1
1 0 0
0 1 0
0 0 0
La proposicin resultante ser verdadera solamente cuando el valor de verdad de
ambas proposiciones es verdadero. La conjuncin se presenta con los trminos
gramaticales: "y", "pero", "mas", y signos de puntuacin como: la coma, el punto, y el
punto y coma.
a: Trabajo mucho.
Disyuncin exclusiva
Sean a y b proposiciones, la disyuncin entre a y b, representada simblicamente por
a b a b
1 1 0
1 0 1
0 1 1
0 0 0
a: Estoy en Quito
b: Estoy en Guayaquil
CONDICIONAL
Sean a y b proposiciones, la condicional entre a y b, representada simblicamente por
a b , es una nueva proposicin, cuyo valor de verdad est dado por la siguiente
tabla de verdad:
a b ab
1 1 1
1 0 0
0 1 1
0 0 1
La proposicin resultante ser falsa solamente cuando el valor de verdad del
antecedente es verdadero y el del consecuente es falso.
BICONDICIONAL
Sean a y b proposiciones, la bicondicional entre a y b, representada simblicamente por
a b , es una nueva proposicin, cuyo valor de verdad est dado por la siguiente
tabla de verdad:
a b ab
1 1 1
1 0 0
0 1 0
0 0 1
( p q )
( p q ) ( p q )
( p q ) ( q r )
( p q ) ( q r )
EJERCICIOS DE APLICACIN
b) Qu hora es?
c: Elizabeth se va de vacaciones
d: Elizabeth trabaja
e: Elizabeth no come
i) a [ b ( c d ) ]
ii) c [ ( a d ) ( b e ) ]
b) m ( n p )
c) ( n p ) m
d) m ( n p )
e) ( n p ) m
a. [ p ( q r ) ] [ ( p r ) ( q r ) ]
b. {[ p ( q r ) ] q } p
c. ( p q ) ( p r )
1) Por extensin o enumeracin: los elementos son encerrados entre llaves y separados
por comas. Es decir, el conjunto se describe listando todos sus elementos entre llaves.
3) Diagramas de Venn: son regiones cerradas que sirven para visualizar el contenido de
un conjunto o las relaciones entre conjuntos.
Ejemplo.
Dada la descripcin verbal el conjunto de las letras vocales, expresarlo por extensin,
comprensin y por diagrama de Venn.
Solucin.
Ejemplo:
Subconjuntos
A B x [ ( x A ) ( x B ) ]
A B [ ( A B ) ( A=B ) ]
Conjunto potencia.
Dado un conjunto A, su conjunto potencia es aquel que est formado por todos los
subconjuntos posibles de A. el smbolo que se utiliza para este conjunto es P ( A ) .
P ( A )={ B/B A }
N ( P( A ) )
La cardinalidad del conjunto potencia de Ase denota como y es igual a
N (A)
2
P(B)={;{f};{g};{h};{i}:{f,g};{f,h};{f,i};{g,h};{g,i};{h,i};{f,g,h};{f,h,i};{g, h, i};{f,
g, i};B}
A=B [( A B ) ( B A ) ]
La unin entre los conjuntos A y B es un nuevo conjunto formado por los elementos que
pertenecen al conjunto A o al conjunto B. se denota por ( A B )
( A B )={ x ( x A ) ( x B ) }
( A B )={ x ( x A ) ( x B ) }
La diferencia entre los conjuntos A y B es un nuevo conjunto formado por los elementos
que pertenecen al conjunto A, pero no pertenecen al conjunto B. se denota por
( AB )
( AB ) ={ x ( x A ) ( x B ) }
La diferencia simtrica entre los conjuntos A y B es un nuevo conjunto formado por los
elementos que pertenecen o al conjunto A o al conjunto B. se denota por
( A B )=( AB ) ( B A )
( A B )= {x [ ( x A ) ( x B ) ] [ ( x B ) ( x A ) ] }
Complementacin de conjuntos.
A C = { x ( x ) ( x A ) }
N ( A B )=N ( A )+ N ( B )N ( A B )
N ( AB )=N ( A ) N ( A B )
N ( A C )=N ( )N ( A )
Ejemplo.
Se encuest a 100 personas sobre sus preferencias en relacin a dos programas (no
excluyentes) municipales contra la delincuencia. Los programas recibieron los
nombres y .
Los resultados fueron los siguientes:
65 no prefieren el programa
45 no prefieren el programa
a+ c=50
Los nmeros naturales son los que desde el principio de los tiempos se han utilizado
para contar. En la mayora de pases han adoptado los nmeros arbigos, llamados as
porque fueron los rabes quienes los introdujeron en Europa, pero fue en la India donde
se inventaron.
Nmeros enteros ( Z )
Cuando aparece la necesidad de distinguir unos valores de otros a partir de una posicin
de referencia es cuando aparecen los nmeros negativos. Por ejemplo, cuando desde el
nivel 0 (nivel del mar) queremos diferenciar por encima del nivel del mar o por debajo
del mar (en las profundidades). O en el caso de las temperaturas, positivas o bajo cero.
As podemos estar a 500m de altitud, +500 , o bucear a 40m de profundidad, , 40
Para denotar los nmeros negativos aadimos un signo menos delante del nmero.
En definitiva, al conjunto formado por los enteros negativos, el nmero cero y los
enteros positivos (o naturales) lo llamamos conjunto de los nmeros enteros.
Una propiedad importante de los nmeros enteros es que son cerrados respecto a las
operaciones de adicin, multiplicacin y sustraccin, es decir, la suma, la resta y la
multiplicacin de dos nmeros enteros da otro nmero entero. Ntese que el cociente de
dos enteros, por ejemplo 3 y 7, no necesariamente es un entero. As, la operacin
divisin no es cerrada respecto a los nmeros enteros.
Nmeros racionales ( Q )
Los nmeros racionales son los nmeros que resultan de la razn (divisin) entre dos
nmeros enteros. Se denota el conjunto de los nmeros racionales como Q , as que:
Q= { qp / p , q Z}
10
=5
El resultado de un nmero racional puede ser un entero 2 o bien un decimal
3
=1.5
2 , positivo o negativo. Adems, entre los decimales puede ser de dos tipos, con
8
=1.60
un nmero limitado de cifras que llamaremos decimal exacto 5 , o bien con
10
=3.333333333
un nmero ilimitado de cifras, que llamaremos decimal peridico 3 .
N Z Q
Nmeros irracionales ( )
Hemos visto que cualquier nmero racional se puede expresar como un nmero entero,
un decimal exacto o un decimal peridico.
Ahora bien, no todos los nmeros decimales son exactos o peridicos, y por tanto, no
todos los nmeros decimales pueden ser expresados como una fraccin de dos enteros.
Estos nmeros decimales que no son exactos ni peridicos se caracterizan por tener
infinitas cifras decimales no peridicas, es decir, que no se acaban nunca y no tienen un
patrn de repeticin.
Nmeros reales ( R )
El conjunto formado por los nmeros racionales y los nmeros irracionales se denomina
conjunto de los nmeros reales y se denota como R
Tanto los nmeros racionales como los nmeros irracionales son nmeros reales.
Resulta as de manera natural una correspondencia entre los puntos de la recta y los
nmeros reales, es decir, que cada punto de la recta representa un nico nmero real y a
cada nmero real le corresponde un nico punto de la recta. Llamamos a esta recta la
recta real. En la siguiente imagen se puede ver un ejemplo:
24/18
24:18
4/3
4:3
Cada uno de los valores de una razn tiene un nombre. El valor que est del lado
izquierdo de la relacin, se le llama antecedente, y al valor del lado derecho se le
llama consecuente.
En nuestro ejemplo del saln de clases, podemos comparar la razn que tenemos, de 4
nias por cada 3 nios, y podremos calcular cuntos nios hay en un saln en relacin al
nmero de nias o viceversa. Para esto, en primer lugar escribiremos la proporcin que
ya conocemos:
4:3
Y despus la cantidad total, por ejemplo la del mismo saln, recordando que debemos
respetar el orden del antecedente y del consecuente. En nuestro ejemplo, el antecedente
ser el nmero de nias, y el consecuente el nmero de nios.
4:3=24:18
3X24=72
4 X 18 = 72
6:4=
Siguiendo el mismo orden, del otro lado de la igualdad tendremos como antecedente
nuevamente el nmero de trabajadores, y como consecuente los das que tardarn.
Tendremos algo como lo siguiente:
6:4=?:3
6:4=?:2
6:4 = ?:1
6x4=24
24/3=8
24/2=12
24 / 1 = 24
6:4=8:3
6:4=12:2
6:4 = 24:1
Con lo que podemos calcular que para producir los 8 sillones en tres das, necesitamos 8
trabajadores; para fabricarlos en dos das, necesitamos 12 trabajadores, y para hacerlos
en 1 da, necesitamos 24 trabajadores.
2.3 Intervalos
Los intervalos son subconjuntos de los nmeros reales que se pueden representar
grficamente en la recta numrica por un trazo o una semirrecta.
Existen intervalos abiertos, en los que no se incluyen los extremos; cerrados en los que
se incluyen los extremos, y por ltimo aquellos en que se combinan ambos.
Para representarlos se utiliza una circunferencia vaca en el extremo, si este no se
incluye, o rellena si se incluye. (educarChile, 2007)
La simbologa que se utiliza en los casos abiertos (que no incluyen al extremo) son el
signo < o >; y para los casos cerrados (que incluyen al extremo) son el signo
(mayor o igual, o menor o igual).
Por otra parte, los intervalos se pueden representar en forma de conjunto o con
corchetes:
Ejemplo:
Todos los reales comprendidos entre a y b, sin incluir a, ni b.
Todos los reales mayores que a, sin incluir a.
Todos los reales entre m y n, incluyendo a m y no incluyendo a
n.
Observa el esquema:
2.4 Ecuaciones
Las ecuaciones
son
2.5 Inecuaciones
Las inecuaciones
son desigualdades
de expresiones
algebraicas en las que hay, al menos, una variable cuyo valor numrico desconocemos y
al que llamamos incgnita.
Nombre Smbolo
Del mismo modo en que se hace la diferencia entre igualdad y ecuacin, una inecuacin
que es vlida para todas las variables se llama inecuacin incondicional y las que son
vlidas solo para algunos valores de las variables se conocen como inecuaciones
condicionales. Los valores que verifican la desigualdad, son sus soluciones.
x3 x<6+ 2
2 x <4
4
x> =2
2
2
a x + bx+ c 0
a x 2+ bx+ c 0
a x 2+ bx+ c> 0
2 x 2x <3
2 x 2x 3<0
( x+1 )( 2 x3 ) <0
x+ 1< 0 2 x3< 0
Signos de x+ 1 - + +
Signos de - - +
2 x 3
Intervalos (,1 )
(1, 32 ) ( 32 ,+ )
Signo resultante + - +
La solucin son los valores de x para los cuales el producto de los factores es negativo;
Nota importante: Despus de comparar con cero se obtiene una Funcin cuadrtica y
por eso es que se buscan sus ceros y se hace el anlisis de los signos de dicha funcin en
esos Intervalos, ya que la funcin cuadrtica representa una Parbola que puede abrir
hacia arriba o hacia abajo segn el signo de a.
x2 6x + 8 > 0
x2 6x + 8 = 0
P(0) = 02 6 0 + 8 > 0
P(3) = 32 6 3 + 8 = 17 18 < 0
P(5) = 52 6 5 + 8 = 33 30 > 0
S = (-, 2) (4, )
x2 + 2x +1 0
x2 + 2x +1 = 0
(x + 1)2 0
Solucin
2 2
x + 2x +1 0 (x + 1) 0
x2 + 2x +1 > 0 (x + 1)2 > 0
x2 + 2x +1 0 (x + 1)2 0 x=1
x2 + 2x +1 < 0 (x + 1)2 < 0
x2 + x +1 > 0
x2 + x +1 = 0
x2 + x +1 0
x2 + x +1 > 0
x2 + x +1 0
x2 + x +1 < 0
Las expresiones del tipo: a lo ms, cuanto mucho, como mximo, como
mnimo, se traducen con la relacin
Ejemplo 1:
Jenny quiere invertir $50000. Ella puede escoger al banco A que ofrece un inters anual
del 8%, o con un mayor riesgo, escoger al banco B que ofrece un inters anual del 10%.
Que cantidad mnima deber invertir en el banco B, de modo que reciba una
rentabilidad anual total de al menos $4400?
Solucin:
Rentabilidad del banco B (al 10%) + rentabilidad en banco A (al 8%) 4400
0.02x 4400
X 20000
Ejemplo 2:
20 t
c=
t 2+ 4
Solucin:
20 t
>4
t 2 +4
20 t> 4 t 2+16
2
4 t + 20t16 >0
t 2 5 t+ 4<0
( t 1 )( t 4 )< 0
Los factores de la ltima desigualdad son cero cuando t=1 y t=4. Por lo tanto el nivel
teraputico mnimo se rebasa si:
1<t< 4
Si a 0 , entonces |a|=a
Propiedades fundamentales.
|a| 0
|a|=0 a=0
|ab|=|a||b|
|a+ b|=|a|+|b|
|ab|=||ab|| , si b 0
|a| b , a b a b
|a| b ,b a b