Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LGICA PROPOSICIONAL
Lgica matemtica: la lgica es una de las ramas de la matemtica que se encarga de estudiar el
razonamiento humano basndose en expresiones para formar luego demostraciones.
Enunciado: Es una expresin del pensamiento humano transmitido mediante forma textual, visual,
artstico, sonoro etc.
Valor de verdad: El valor de verdad se utiliza para denotar si algo es verdadero o falso, sin importar
las circunstancias, por lo tanto, el valor de verdad de un enunciado puede ser nicamente Verdadero
o Falso
Proposicin: Es un enunciado en el cual se afirma o se niega alguna cosa, a la cual se le puede asignar
un valor de verdad. Toda proposicin es una oracin hablando lingsticamente, pero debe ser una
oracin en la cual se de una afirmacin o una negacin y pueda drsele un valor de verdad
Ejemplos
Expresin
La luna es un satlite de la tierra
Mara es una chica linda
El escritorio es de madera
Guatemala es un pas de Centroamrica
Forma
proposicin
Enunciado
Enunciado
Proposicin
Proposiciones abiertas: Las proposiciones abiertas son aquellas en las cuales el sujeto es una
variable, es decir que puede ocuparse por cualquier elemento, existiendo un vaco en el valor de
verdad hasta que la variable sea sustituida.
En la primera proposicin, el smbolo puede ser reemplazado por cualquier palabra que
pueda darle un valor de verdad a la proposicin.
En la segunda proposicin, el smbolo podr ser reemplazado por todo elemento que haga que la
proposicin tenga un valor de verdad.
Proposiciones Simples: Las proposiciones simples son aquellas que estn formadas nicamente por
un sujeto y un predicado.
Conjuncin.
Disyuncin incluyente.
Disyuncin excluyente.
Implicacin.
Doble Implicacin.
Existe otro elemento que no puede ser llamado conectivo lgico, pues no enlaza a dos
proposiciones, este es la negacin, se encarga nicamente de cambiar el valor de verdad de una
proposicin.
Ejemplo
Sean: p y q dos proposiciones simples tales que:
Una tabla en donde puede apreciarse el uso de cada conectivo lgico al enlazar las proposiciones
dadas es entonces:
Nombre del
conectivo
Conjuncin
Forma
escrita
Y
Forma
simblica
Disyuncin
incluyente
Disyuncin
excluyente
Implicacin
SiEnt
onces
Doble
implicacin
S y solo
s
**negacin
No - Ni
Forma escrita en
proposicin
Guatemala es un pas de
Centroamrica y la luna
es un satlite de la tierra.
Guatemala es un pas de
Centroamrica o la luna
es un satlite de la tierra.
Guatemala es un pas de
Centroamrica o la luna
es un satlite de la tierra.
Si Guatemala es un pas
de Centroamrica
entonces la luna es un
satlite de la tierra.
Guatemala es un pas de
Centroamrica s y solo s
la luna es un satlite de la
tierra.
Guatemala no es un pas
de Centroamrica.
Forma
simblica
pq
Forma correcta
de lectura
La conjuncin de
dos
proposiciones.
La Disyuncin
incluyente de dos
proposiciones.
La Disyuncin
excluyente de
dos
proposiciones.
La implicacin
de dos
proposiciones
La doble
implicacin de
dos
proposiciones.
La negacin de
una proposicin
Est claro que se tiene la conjuncin de dos proposiciones, pero la pregunta es Qu valor de verdad
tendr toda la proposicin?, al construir una tabla en los cuales se visualice los valores de verdad de
la proposicin, note que:
La luna es un satlite de la tierra
Y
?
Observe que cada uno de las proposiciones tiene un valor de verdad propio, pero hay un elemento
que carece de valor de verdad para esta proposicin compuesta, ste es el conectivo, dado que
este elemento es el encargado de enlazar dos proposiciones ser el encargado de dar el valor concreto
de dos proposiciones, as entonces se presenta a continuacin el valor de verdad de cada conectivo
lgico:
Sean: p y q dos proposiciones simples, entonces si las proposiciones se enlazan con los conectivos
lgicos se tiene que el valor de verdad de la proposicin ser:
Proposiciones
V
V
V
F
F
V
F
F
V
F
F
F
V
V
V
F
Conectivo lgico
F
V
V
F
V
V
F
V
V
F
F
V
F
F
V
V
De
acuerdo
a
la
tabla
anterior,
la
por
proposiciones verdaderas entonces toda la proposicin ser verdadera.
proposicin
ser ambas
Note muy bien que se han utilizado todas las posibles combinaciones de las proposiciones
dadas, esto es muy importante, pues deben tomarse siempre todas las posibles combinaciones de las
proposiciones dadas.
Ejemplo:
1. Construya una simbologa para la proposicin compuesta y determine el valor de verdad que
posee:
a. Pablo es un personaje Bblico y los pinginos habitan en el polo norte
Para determinar el valor de verdad de esta proposicin es necesario saber el valor de verdad
de las proposiciones simples que la forman: Pablo es un personaje Bblico tiene un valor de verdad
VERDADERO y los pinginos habitan en el polo norte tiene un valor de verdad FALSO, por lo
tanto de la informacin anterior se sabe que la implicacin de dos proposiciones es falsa nicamente
cuando la primera proposicin es verdadera y la segunda es falsa, por lo tanto la proposicin
compuesta dada es FALSA.
Tabla de Verdad: una tabla de verdad es una tabla que se realiza en una proposicin compuesta en
la cual se muestran todos los posibles valores de verdad de las proposiciones simples que la forman
y de los conectivos lgicos que las enlazan, esta es muy til cuando se desconoce cules son las
proposiciones simples que le dan origen, esta recibe el nombre de estructura lgica, toda estructura
lgica es una proposicin compuesta en la cual las proposiciones simples que le dan origen son
desconocidas, por ejemplo:
1
1
0
0
1
0
1
0
Observe que los valores de son 2 falsos y 2 verdaderos, mientras que los de son uno de
cada valor, esta informacin se traslada a la estructura lgica:
(
1
1
0
0
1
0
1
0
0
0
1
1
Los valores de fueron cambiados por ser una negacin, ahora se enlaza el conectivo doble
implicacin:
(
1
1
0
0
1
0
0
1
1
0
1
0
0
0
1
1
Este resultado en conjunto con la de la negacin de p se utiliza para llenar la columna de la conjuncin:
(
1
1
0
0
1
0
0
1
1
0
1
0
0 0
0 0
0 1
1 1
1
1
0
0
1
0
1
0
0
0
0
1
De esto entonces se construir una tabla con 8 filas con cada proposicin simple con los
siguientes valores de verdad:
m
1
1
1
1
0
0
0
0
n
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
Se puede ver por columna que los valores de se toman 4 falsos y 4 verdaderos, mientras
que los de se toman 2 verdaderos, 2 falsos, 2 verdaderos y 2 falsos y los de se toma uno verdadero
y uno falso alternando los valores.
Esta informacin se traslada inmediatamente a la estructura lgica de la siguiente manera:
(
0
0
0
0
1
1
1
1
1
1
0
0
1
1
0
0
0
0
1
0
0
1
1
1
0
0
1
0
0
1
1
1
0
0
0
0
1
1
1
1
1
1
1
1
1
1
0
0
1
1
0
0
1
1
0
0
0 0 0
1 0 0
0 0 1
1 1 1
0 0 0
1 0 0
0 0 1
1 1 1
0
0
0
0
1
1
1
1
1
1
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
1
0
1
1
0
1
0 0 0
1 0 0
0 0 1
1 1 1
0 0 0
1 0 0
0 0 1
1 1 1
De esta manera se puede visualizar todos los valores de verdad de la estructura lgica, la cual
se observa que ser falso en dos circunstancias (observe la fila 4 y 7), y ser cuando m sea verdadera
y n y r falsas o cuando m y n sean falsas y r sea verdadera.
La ltima parte es presentar un resumen de la tabla de verdad, en la cual estn los valores de
verdad de las proposiciones simples y los valores de verdad del ltimo conectivo que se trabaj:
1 1
1 1
1 0
1 0
0 1
0 1
0 0
0 0
1
0
1
0
1
0
1
0
1
1
1
0
1
1
0
1
Caractersticas de las tablas de verdad: una tabla de verdad es un arreglo para visualizar todos los
valores de verdad de una estructura lgica, existen tres diversas formas en las que estas se presentan,
estas son:
1. Tautologa.
2. Contradiccin.
3. Contingencia.
Tautologa: la tautologa de una tabla de verdad se obtiene cuando todos los valores de verdad de
una estructura lgica son verdaderos.
Ejemplo:
Determine si la estructura lgica siguiente es tautologa:
( ( m n ) r ) ( ~ r ( ~ m ~ n ) )
Realizando la tabla de verdad para esta tenemos que:
( (
1
1
1
1
0
0
0
0
1
1
1
1
1
1
0
0
)
1
1
1
0
0
1
0
0
1
1
1
0
0
1
0
1
) ) ( ( )
1
1
0 1
0 0 0
0
1
1 0
0 0 0
1
1
0 1
0 0 1
0
1
1 0
0 0 1
1
1
0 1
1 0 0
1
1 0
1 0 0
0
1
1
0 1
1 1 1
0
1
1 1
1 1 1
~ r ( ~ n m )
( m )
0 1
0 0 1
1
0
0
1
1
1
1
1
0
0
1
1
0
0
0
1
1
1
0
1
0
0
1
0
1
0
1
0
0
0
0
1
1
1
1
1
1
1
0
0
1
0
0
1
1
0
0
1
1
0
1
0
0
0
1
0
0
1
0
1
0
1
0
resumen 2
r n m
1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 1
0 1 1 0
0 1 0 0
0 0 1 1
0 0 0 0
Al hacer una inspeccin minuciosa se observa que las proposiciones son lgicamente
equivalentes, pues para cada valor de las estructuras lgicas los valores de verdad de las proposiciones
que las forman son iguales.
Otra forma de poder afirmar que dos estructuras son lgicamente equivalentes es enlazando
ambas proposiciones mediante el conectivo lgico Doble implicacin si hacerlo se obtiene una
tautologa entonces se afirmar que las tablas de verdad son lgicamente equivalentes, por ejemplo:
Determine si las siguientes estructuras lgicas, son lgicamente equivalentes, enlazndolas con una
doble implicacin:
( ~ m n ) r
~ r ( ~ n m )
1
1
0
0
1
1
1
1
) ( )
1
1 1
1
0
1
1
1
0 0
1
0
0
1 1
1
1
0
1 0
1
1 1
1
0
1
1
1
0 0
1
0
0
1 1
1
1
0
0 0
( ) )
1
0 0 1
0
0 0 1
1
1 1 1
1
1 1 1
1
0 0 0
0
0 0 0
1
1 0 0
0
1 0 0
Observe el conectivo lgico doble implicacin enlazando ambas estructuras lgicas, observe
tambin el uso de los signos de agrupacin extra que se agreg para que la nueva estructura lgica
tenga coherencia.
Determinar los valores de verdad de las proposiciones simples en cada circunstancia que
la estructura lgica es verdadera.
ii) Para cada circunstancia hacer que las proposiciones simples sean verdaderas (si son falsas
usar la negacin) y unirlas mediante conjunciones, formando as proposiciones
compuestas.
iii) Enlazar cada proposicin compuesta del paso anterior con disyunciones incluyentes
(usando signos de agrupacin).
iv) Determine la tabla de verdad de la estructura lgica obtenida anteriormente para
corroborar el resultado.
b) Si los valores menos repetidos son los falsos, entonces se elige el camino de la falsedad.
i)
Determinar los valores de verdad de las proposiciones simples en cada circunstancia que
la estructura lgica es falsa.
ii) Para cada circunstancia hacer que las proposiciones simples sean falsas (si son falsas usar
la negacin) y unirlas mediante disyunciones incluyentes, formando as proposiciones
compuestas.
iii) Enlazar cada proposicin compuesta del paso anterior con conjunciones (usando signos
de agrupacin)
iv) Determine la tabla de verdad de la estructura lgica obtenida anteriormente para
corroborar el resultado.
Ejemplo:
p
1
1
1
1
0
0
0
0
Resumen
q
r
1
1
1
0
0
1
0
0
1
1
1
0
0
1
0
0
1
1
1
1
1
0
1
0
2) Los valores menos repetidos son los falsos, stos se muestran resaltados en el resumen
anterior.
3) Como los valores menos repetidos son los falsos entonces se elige el camino de la falsedad
b. Falsedad:
i. La estructura lgica es falsa en las circunstancias siguientes:
ii. Se debe hacer que cada proposicin simple sea falsa, para esto entonces se
tendr que negar las que sean verdaderas:
Note muy bien que solo se tuvo la necesidad de negar una proposicin, ahora
se debe enlazar cada proposicin simple con una disyuncin incluyente:
iii. Cada proposicin anterior se enlaza con conjuncin, entonces se tiene que
p
q
r
1
1
1
1
1
1
0
1
1
La agrupacin que se hace puede ser de distinto modo, no necesariamente debe ser as
0
0
1
1
0
0
1
0
1
0
1
0
1
1
1
0
1
0
Observe que tiene los mismos valores de verdad que los valores de verdad de la estructura lgica
original, por lo tanto si es lgicamente equivalente.
Circuitos lgicos: los circuitos lgicos son elementos en los cuales las estructuras lgicas tienen
mucha aplicacin; se puede generar una analoga entre los elementos de un circuito elctrico y una
estructura lgica para construir modelos de estas ltimas, mediante la siguiente condicin:
1. El paso de corriente en un circuito elctrico se define mediante el valor de verdad de una
estructura lgica: si pasa corriente entonces la estructura lgica es verdadera si no pasa
corriente entonces la estructura lgica es falsa
2. El valor de verdad de una estructura lgica depende del valor de verdad de las proposiciones
que la forma, en un circuito elctrico el paso de corriente depende de que interruptores
permitan o no el paso de la corriente: cada proposicin de una estructura lgica ser
representado como un interruptor en un circuito elctrico
3. En un circuito lgico se podrn utilizar nicamente los circuitos paralelo y serie para su
construccin utilizando las analogas de: circuito en paralelo representar una disyuncin
incluyente y circuito en serie representar una conjuncin
Circuito en paralelo-disyuncin incluyente:
p
Figura 1
Disyuncin Incluyente
proposicin
valor de verdad
p
q
verdadera verdadera
verdadera
verdadera
falsa
verdadera
falsa
verdadera
verdadera
2
En circuitos elctricos se dice que un interruptor est abierto si este se encuentra impidiendo el paso de
corriente, es decir el interruptor est apagado
abierto
no
falsa
falsa
falsa
Figura 2
El circuito en serie es un circuito elctrico en el cual se encuentran dos interruptores como se
muestra en la figura 2, en esta se observa que ambos interruptores estn abiertos y el paso de corriente
del punto A al punto B ser posible Ssi ambos elementos estn cerrados, de lo contrario no pasar
corriente, vea la siguiente analoga:
Circuito Serie
interruptor
paso de corriente
p
q
cerrado Cerrado
Si
cerrado
abierto
No
abierto
cerrado
No
abierto
abierto
No
Conjuncin
proposicin
valor de verdad
p
q
verdadera verdadera
Verdadera
verdadera
falsa
Falsa
falsa
verdadera
Falsa
falsa
falsa
Falsa
Se construye la proposicin usando la disyuncin incluyente con las proposiciones simples, pero
haciendo que tengan valor de verdad falso:
El circuito lgico ser entonces un circuito en paralelo (pues es una disyuncin incluyente) este ser:
Ejemplo:
Construya un circuito lgico para la siguiente estructura lgica:
p ( q ~r )
1 0
1 0 0
1 1
1 1 1
1 1
0 1 0
1 1
0 1 1
0 1
1 0 0
0 0
1 1 1
0 0
0 1 0
0 0
0 1 1
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
0
1
1
1
1
0
0
0
El resumen se muestra a la par de la tabla de verdad, obsrvese que se tiene 4 valores verdaderos y 4
valores falsos, si se elige trabajar con las verdaderas, entonces las condiciones son:
Se obtiene un valor de verdad verdadero si:
Para cada fila se construye una proposicin, haciendo que cada proposicin simple sea
VERDADERA
Se construye ahora una estructura lgica enlazando cada proposicin anterior con una disyuncin
incluyente:
Debido a que el ltimo conectivo que se utiliz para enlazar las proposiciones fueron las disyunciones,
entonces el circuito ser un circuito en paralelo contando con 4 ramas:
En cada rama del circuito en paralelo se utilizan entonces las proposiciones en serie (esto porque
estn enlazados con la conjuncin):
De esta forma se tiene el circuito elctrico terminado, observe claramente que cada interruptor est
representado por la proposicin simple que est en la estructura lgicamente equivalente.
TAREA DE LA SECCIN 1
Conceptos y definiciones
1-5 Escriba una V o una F si la siguiente expresin es verdadera o falsa respectivamente, de ser falsa,
escriba la definicin correcta:
1. Una proposicin es una oracin que puede ser verdadera o falsa sin importar las
circunstancias
2. Una tautologa es aquella estructura lgica que es falsa ante cualquier circunstancia.
3. Una tabla de verdad es una forma clara para visualizar algunos valores de verdad de las
proposiciones simples que la forman.
4. Los conectivos lgicos tienen por objetivo enlazar dos proposiciones simple y dar un valor
de verdad definitivo.
5. La negacin es un conectivo lgico.
6-10 Complete los espacios en blanco para que la oracin tenga sentido y coherencia:
6. En la conjuncin de dos proposiciones, si la primera proposicin es verdadera y la segunda
proposicin es falsa, entonces la conjuncin es ________________.
7. En la implicacin de dos proposiciones cuando la primera proposicin es_______________
y la segunda proposicin es _________________ entonces la implicacin es falsa.
8. ________________es aquella expresin que carece de un valor de verdad nico porque
depende de circunstancias o gustos.
9. x es un medio de transporte de dos ruedas es una proposicin ______________ en donde
el elemento ______ representa lo que debe ser sustituido para que sea una proposicin
___________.
10. Un _____________ ______________ es la representacin fsica de una estructura lgica.
Ejercicios
11-15 Determine cules de los siguientes enunciados son proposiciones, si los son, determine
el valor de verdad de cada una de ellas.
11. La casa es azul.
12. Los gatos son mamferos.
13. Cobn es un Departamento de Guatemala.
14. Los osos polares habitan en el polo sur.
15. Isaac Newton invent la gravedad.
16-20 Determine cual o cuales son los elementos que hacen cierta las siguientes
proposiciones abiertas (si son varios mencione al menos 3)
16. X es vivparo.
17. X present la teora de la relatividad.
18. X desarrollo y present el clculo diferencial e integral.
19. X es departamento de Guatemala que colinda con Honduras.
20. X es una fruta ctrica.
26-30 Para cada una de las siguientes proposiciones compuesta mencione cuales son las
proposiciones simples que le dan origen, el valor de verdad de cada proposicin simple, el
nombre del conectivo lgico que las enlaza y el valor de verdad que tiene el conectivo:
26. Si el calor es un tipo de energa entonces Phi es el nmero de oro.
27.
28. Las vacas son rumiantes o las iguanas reptan.
29. La Fsica es la ciencia que se encarga de estudiar los fenmenos de la naturaleza si y
solo si la trigonometra estudia lo relacionado a los tringulos.
30. La escala de Mercalli mide la energa liberada en un sismo la escala de Richter mide
la energa liberada en un sismo.
31-34 Construya la tabla de verdad de cada una de las siguientes estructuras lgicas y defina
si es tautologa, negacin o contradiccin.
31.
32.
33.
34.
35-37 Determine si las estructuras lgicas dadas son lgicamente equivalente.
35.
36.
37.
38-40 Determine una estructura lgicamente equivalente a las siguientes estructuras lgicas:
38.
39.
40.
CONJUNTOS
Conjunto: un conjunto es la reunin de objetos que cumplen con condiciones especficas.
Elemento de un conjunto: es la parte ms simple de la que est compuesto un conjunto. Ejemplo:
Si un elemento no cumple con las caractersticas del conjunto, se afirma que el elemento no pertenece
al conjunto, simblicamente se puede escribir como:
Relacin de contencin de dos conjuntos: Dos conjuntos estn en relacin de contencin si uno de
estos contiene los mismos elementos y ms que el otro conjunto, por ejemplo suponga que se tiene
los conjuntos y , donde describe al conjunto de las vocales del alfabeto castellano y describe
al conjunto de la letras del alfabeto castellano; est claro que los elementos del conjunto tambin
estn en el conjunto , entonces se afirma que est contenido en 3, simblicamente una relacin
de contencin entre dos conjuntos se representa con el smbolo que se lee contenido en, por lo
tanto la forma simblica de la afirmacin anterior es:
De igual forma si un conjunto no tiene todos los elementos de otro conjunto se afirma que un conjunto
no est contenido en otro, por ejemplo, sea C el conjunto de las vocales tildadas, est claro que las
vocales tildadas no estn contenidas en el alfabeto castellano, entonces:
3
Es comn tambin escuchar que se afirma que A es subconjunto de B, dado que A es una pequea parte del
conjunto B
Conjuntos no ordenados: Los conjuntos no ordenados son agrupaciones de elementos que pueden
representarse de distinta forma, sin embargo para ser un conjunto no ordenado debe cumplir las
siguientes condiciones:
o Elementos agrupados entre llaves.
o Elementos separados por comas.
o El orden de los elementos no es importante.
o Los elementos no pueden repetirse.
o 1 o ms elementos.
4 formas de representar un conjunto: Los conjuntos no ordenados pueden representarse de 4 formas
distintas, estas son:
Forma Enumerativa: Forma en la cual el conjunto no ordenado muestra la totalidad de los elementos
enumerndolos. Ejemplo:
Forma descriptiva: Forma del conjunto no ordenado en la cual se da una descripcin de los
elementos que lo conforman, haciendo uso de las proposiciones abiertas.
La forma correcta de la lectura del conjunto anterior es: el conjunto A es un conjunto no ordenado
que contiene elementos x de tal forma que x es planeta del sistema solar.
D
d
^
s
E
h
D
:
Forma nominal: Este tipo de representacin de conjuntos est dada de acuerdo, existen nombres que
se les asign a cierto tipo de conjuntos (generalmente numricos), al reconocer el smbolo se sabe
que representa a un conjunto.
Cambio en la representacin de un conjunto: En algunas ocasiones la forma de escritura de un
conjunto no ordenado se debe llevar a otra forma, ya sea por comodidad, facilidad o manejo, por tal
razn es importante que se pueda cambiar la representacin:
Ejemplos:
Traslade los siguientes conjuntos de forma descriptica a forma enumerativa o de forma enumerativa
a forma descriptiva segn sea el caso:
50.
51.
52.
4
Observe muy bien que las tres deben cumplirse para que el elemento x forme parte del
conjunto, entonces se enlaza con una conjuncin, y entonces el conjunto de forma descriptiva
es:
b. Los
elementos
que
hacen
cierta
la
proposicin
abierta
son: Huehuetenango, San
Marcos, Santa Cruz del Quich, Quetzaltenango, Solol, Totonicapan, Retalhuleu, Cobn,
Salam, Guatemala, Antigua Guatemala, Chimaltenango, Mazatenango, Escuintla, Flores,
Puerto Barrios, Guastatoya, Jalapa, Zacapa, Chiquimula, Cuilapa, Jutiapa.
Entonces el conjunto en forma enumerativa es:
Los conjuntos numricos: Los conjuntos numricos son conjuntos que conformados por elementos
que representan cantidades; estn divididos en varios grupos, estos son:
1. Conjunto de los nmeros Dgitos.
2. Conjunto de los nmeros Naturales.
3. Conjunto de los nmeros Enteros.
4. Conjunto de los nmeros racionales.
5. Conjunto de los nmeros irracionales.
6. Conjunto de los nmeros Reales.
7. Conjunto de los nmeros imaginarios.
8. Conjunto de los nmeros complejos.
Los conjuntos estn numerados del ms simple hasta el ms extenso, dentro de la matemtica que se
manejar se trabajar siempre dentro del conjunto de los nmeros reales, presentndose ms alguna
vez los nmeros imaginarios y los complejos, pero nunca se trabajaran completamente.
5
Los puntos suspensivos se utilizan para indicar que hay muchos ms elementos que cumplen con la condicin.
Conjunto de los nmeros Naturales(): Este conjunto es el conjunto que muestra los smbolos que
utilizamos para denotar cantidades existentes, al momento de contar elementos siempre iniciamos
con el nmero uno y puede extenderse hasta el infinito, es decir, hasta cantidades muy grandes, este
conjunto de forma enumerativa se representa:
Conjunto de los nmeros enteros(: El conjunto de los nmeros enteres es el conjunto que cuenta
con las cifras que utilizamos comnmente para contar y para denotar ausencia de cantidad, es decir,
contempla a los nmeros negativos y positivos, en forma enumerativa se representa:
Conjuntos de los nmeros racionales(): el conjunto de los nmeros racionales es un conjunto que
no puede representarse de forma enumerativa, esta se representa nicamente en forma descriptiva, y
es la relacin de dos enteros:
Lo anterior puede describirse afirmando que los nmeros racionales son la relacin existente
entre todos los nmeros enteros, pero el denominador no debe ser cero, con esto se puede imaginar
que se tendr un nmero infinito de resultados. Los nmeros racionales pueden representarse en
forma de fraccin, definida como la relacin de los nmeros, pero tambin puede representarse en
forma de nmero decimal, cumpliendo una caracterstica particular, observe los siguientes nmeros
racionales, en forma fraccionaria y su equivalente en forma decimal:
Esta caracterstica es que los nmeros racionales representados en forma decimal tiene una
parte que se repite, a esta parte se le conoce como periodo, de tal forma todos los nmeros decimales
que tengan un periodo decimal, son nmeros racionales.
6
La numeracin actual es un sistema que se conoce con el nombre de: sistema decimal posicional de
numeracin
Esta cantidad no puede existir dentro de los nmeros reales, pues es necesario encontrar una
cantidad que al multiplicarse por s mismo de una cifra negativa, por lo tanto los grandes matemticos
definieron la cantidad imaginaria, para el caso particular, se asume que el resultado es 3, pero un 3,
imaginario, definindose de la siguiente manera:
Conjunto de los nmeros complejos (): El conjunto numrico ms grande se denomina conjunto
de los nmeros complejos, se conoce como la unin de los nmeros Reales y los nmeros Imaginarios.
Dentro de este campo numrico se desarrolla una gran rama de la matemtica encargada de aplicar
los nmeros complejos, dentro de las cuales se puede mencionar a la Hidrulica, Flujo Magntico,
Circuitos electrnicos, Campos vectoriales y otras que son de mucha importancia en distintas ramas
de la ingeniera.
Conjunto vaco: El conjunto vaco es un conjunto que tiene una cardinalidad 0, es decir, que carece
de elementos, para su escritura se puede utilizar:
Es importante resaltar que se debe utilizar nicamente uno de ellos, y no una combinacin de ambos,
la escritura del conjunto vaco de la forma no es una denotacin correcta.
Operaciones con conjuntos: las operaciones con conjuntos son procesos que reducen dos conjuntos
a un solo conjunto o un conjunto a otro conjunto, bajo ciertas condiciones, las operaciones con
conjuntos son:
1. Unin
2. Interseccin
3. Diferencia
4. Diferencia Simtrica
5. Complemento
6. Conjunto Potencia
7. Producto Cartesiano
La forma descriptiva de la unin de dos conjuntos define que la unin contendr todos los elementos
de A y todos los elementos de B, y dado que son conjuntos no ordenados, los elementos no pueden
repetirse.
Ejemplo:
Sea:
La forma descriptiva de la interseccin de dos conjuntos define que la interseccin contendr todos
los elementos en comn de A y B, porque la proposicin abierta ser verdadera nicamente si cada
elemento pertenezca a ambos conjuntos.
Ejemplo:
Sea:
La forma descriptiva de la diferencia de dos conjuntos define que la diferencia contendr todos los
elementos del conjunto A que no estn en el conjunto B, porque la proposicin abierta ser verdadera
nicamente si el elemento pertenece al primero, pero no pertenece al segundo conjunto.
Ejemplo:
Sea:
La forma descriptiva de la diferencia simtrica de dos conjuntos define que la diferencia simtrica
contendr todos los elementos en que no son comunes a y B. Se puede afirmar que la diferencia
simtrica toma los elementos que la interseccin de los conjuntos no toma.
Ejemplo:
Sea:
Est claro que este conjunto est contenido en , por lo tanto es posible afirmar que el
conjunto universo es , entonces . Sin embargo el conjunto A tambin puede ser un
subconjunto de, de, de o incluso de, por lo tanto el conjunto Universo debe ser
plenamente identificado, pues de lo contrario se tomar al conjunto mximo que se pueda
construir.
De esto entonces el conjunto producto cartesiano ser un conjunto que estar formado con parejas
ordenadas como elementos.
Ejemplo:
Sea:
7.
8.
Solucin:
Al utilizar la definicin como en los ejemplos anteriores las primeras 6 operaciones tienen como
resultado:
1.
2.
3.
4.
5.
6.
Para realizar los siguientes ejercicios estos se realizarn mediante una secuencia, realizando
primeramente las operaciones que se encuentra ms internamente en los signos de agrupacin:
7.
8.
Operaciones con conjuntos de forma grfica: La forma grfica es un mtodo rpido de determinar
el resultado de las operaciones con conjuntos, utilizando los diagramas de Venn, para ello, se muestra
la forma grfica de las operaciones bsicas entre conjuntos. Suponga que se tiene 2 conjuntos, que
tienen algunos elementos en comn, entonces los diagramas se pueden representar como:
Representacin grfica de la unin de dos conjuntos: Los elementos contenidos en la unin de los
conjuntos sern todos aquellos que queden coloreados, para este caso:
Ejemplo:
Resuelva utilizando diagramas de Venn las siguientes operaciones, con los conjuntos dados:
Solucin:
Primeramente se traza los conjuntos dados en diagramas de Venn:
Ejemplo:
Resuelva utilizando diagramas de Venn las siguientes operaciones, con los conjuntos dados:
Aplicaciones de las operaciones con conjuntos: Los conjuntos tienen muchas aplicaciones dentro
de la matemtica, entre ellas estn las tcnicas de conteo, en los cuales se aplican los diagramas de
ven para su solucin.
Ejemplo:
Al pasar una encuesta sobre preferencia en tres medios de transporte (motocicleta, bicicleta y
automvil), la informacin es la siguiente:
Solamente motocicleta: 5
Motocicleta: 38
No le gusta el automvil: 9
Motocicleta y bicicleta, pero no automvil: 3
Motocicleta y automvil pero no bicicleta: 20
No les gusta la bicicleta: 72
Ninguna de las tres cosas: 1
No les gusta la motocicleta: 61
Determine lo siguiente:
1. Cuantas personas fueron entrevistadas?
2. Cuantas personas les gusta solamente la bicicleta?
3. Cuntas personas les gusta solamente el automvil?
4. Cuntas personas les gustan las tres cosas?
5. Cuntas personas les gusta la bicicleta y el automvil pero no la motocicleta?
Solucin:
Ejercicios:
20-27 Mencione el error de cada uno de los siguientes conjuntos no ordenados, seguidamente escriba
la forma correcta:
20.
21.
22.
23.
24.
25.
26.
27.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40-51 A cada elemento siguiente asgnele el menor conjunto numrico al que puede
pertenecer, justifique:
40. 0
44. -12
48. (2.66666.)/3
41. 0.33333.
45. -12/4
49. -1000000
42. 2/3
46. 8
50.
43.
47.
51.
52-56 Reescriba cada cifra como un nmero racional:
52.
53.
54.
55.
56.
Determine el resultado de las siguientes operaciones asumiendo que el conjunto universo es
el conjunto de los nmeros dgitos:
57.
58.
59.
60.
61.
62.
63.
64.
65.
66-70 Se tienen los siguientes conjuntos:
Utilizando las definiciones de operaciones con conjuntos determine el resultado de:
66.
67.
68.
69.
70.
71. En una comunidad Guatemalteca, se ha realizado una encuesta sobre el consumo de
dos productos de limpieza que llamaremos A y B, se ha utilizado una muestra de 500
personas. De la encuesta se sabe que 138 personas utilizan A pero no B, 206 personas
consumen A y B y 44 personas no consumen A y tampoco B, determine lo siguiente:
a. La cantidad de personas que utilizan A.
b. La cantidad de personas que utilizan B.
c. Cuantas personas utilizan B pero no A
d. Cuantas personas utilizan al menos un producto.
72. En un colegio se tienen 3 secciones (A, B y C) para tomar un curso de msica para
200 estudiantes, sin embargo este curso se ha convertido en un caos, pues ha sido un
total xito que muchos alumnos entran ms de una vez al curso, se sabe la siguiente
informacin: 85 personas ingresan a la seccin B, 103 personas ingresan a la seccin
C, 10 personas ingresan a la seccin A y C, pero no a la B, 13 personas ingresan a la
seccin A y C, 18 personas ingresan a la seccin B y C, 5 personas ingresan a la
seccin A y B, pero no a la C. Determine lo siguiente:
a. La cantidad de personas que no ingresan a ninguna seccin
b. La cantidad de personas que ingresan a las tres secciones
c. La cantidad de personas que ingresan a la seccin A, pero no a la B ni C.
d. La Cantidad de personas que no ingresan a la seccin A
e. La cantidad de personas que ingresan a al menos una seccin.
73. En una pequea empresa cuenta con 300 trabajadores entre hombres y mujeres,
algunos recibieron una capacitacin para mejorar los procesos dentro de la empresa,
entre ellos algunos estn casados, ayude usted a determinar lo que se le pide si se sabe
que: 1880 son hombres, 1600 son personas casadas, 380 recibieron capacitacin, 150
recibieron la capacitacin y estn casados, 120 personas de las que recibieron
capacitacin son hombres casados, en total se tienen 1260 hombres casados y 260
hombres recibieron capacitacin
a. Qu cantidad de mujeres no casadas trabajan en la empresa?
b. Qu cantidad de mujeres capacitadas trabajan en la empresa?
c. Qu cantidad de mujeres capacitadas y casadas trabajan en la empresa?
d. Qu cantidad total de mujeres trabajan en la empresa?
74. Durante el mes de abril, una empresa ha fabricado diariamente productos del tipo A
o del tipo B (o ambos), excepto 4 domingos durante los cuales no ha fabricado nada.
Sabiendo que 15 das del mes ha fabricado A, y 20 das ha fabricado B, a) cuntos
das del mes ha fabricado ambos productos? b) cuntos das del mes ha fabricado
slo productos del tipo A? c) cuntos das del mes ha fabricado slo productos del
tipo B?
PROBLEMAS PARA PENSAR:
75. De diez amigos seis de ellos desean pasar sus vacaciones y deciden, cada dos, utilizar
diferentes medios de transporte; sabemos que Alejandro no utiliza el coche ya que
este acompaa a Benito que no va en avin. Andrs viaja en avin. Si Carlos no va
acompaado de Daro ni hace uso del avin; puedes decirnos en qu medio de
transporte llega a su destino Toms.
76. Cecilia, Diego, Fabio, Gloria y Mario tienen diferentes cantidades de dinero.
Ni Gloria ni Cecilia tienen tanto dinero como Fabio. Tanto Cecilia como Diego
tienen ms dinero que Mario. Gloria tiene ms dinero que Mario, pero menos
que Cecilia. quin tiene la menor cantidad de dinero?
77. En un condominio V.I.P hay 5 casas de cinco colores diferentes y en cada una de ellas vive
una persona de una nacionalidad diferente. Cada uno de los dueos bebe una bebida diferente,
fuma una marca de cigarrillos diferente y tiene una mascota diferente. La nica informacin
que se tiene es la siguiente:
a. El britnico vive en la casa roja.
b. El sueco tiene un perro.
c. El dans toma t.
d. La casa verde est a la izquierda de la blanca.
e. El dueo de la casa verde toma caf.
f. La persona que fuma Pall Mall tiene un pjaro.
g. El dueo de la casa amarilla fuma Dunhill.
h. El que vive en la casa del centro toma leche.
i. El noruego vive en la primera casa.
j. La persona que fuma Brends vive junto a la que tiene un gato.
k. La persona que tiene un caballo vive junto a la que fuma Dunhill.
l. El que fuma Bluemasters bebe cerveza.
m. El alemn fuma prince.
n. El noruego vive junto a la casa azul.
o. El que fuma Brends tiene un vecino que toma agua.
p. Quin es el dueo del pececito?
GEOMETRA ELEMENTAL
Geometra: es la rama de la matemtica encargada del clculo de toda figura en un plano o en el
espacio
El punto: el punto es la figura geomtrica ms simple que existe, esta figura existente, carece de
longitud.
La lnea: La lnea es la figura compuesta por una sucesin de puntos, esta puede ser lnea recta
(rectilnea) o lnea curva (curvilnea):
El rea: El rea es la cantidad de superficie de cualquier figura plana, generalmente formada por
una serie de lneas rectas o curvilneas cerradas:
En las figuras anteriores se muestra que segmentos de lnea generaron distintas superficies cerradas,
la cantidad de superficie encerrada se denota rea, siempre con dimensionales de longitud al cuadrado
[ ], pudiendo utilizar, como longitud los cm, m, pulg, pie, km, Hectreas, cuerdas, varas, etc. en
general cualquier dimensional de longitud.
Permetro: el permetro es la longitud total de una lnea que encierra un rea, en las figuras de
reas, el permetro ser la suma de los segmentos de lnea que encierran la superficie.
Formulas bsicas para reas, Permetros, Volmenes y reas superficiales
Nombre
Cuadrado
rea
Rectngulo
Trapecio
Triangulo cualquiera
Tringulo equiltero
Polgono regular
Circulo
Elipse
Segmento circular
Ejemplo 1:
Ejemplo 2:
Determine el rea de la regin sombreada
ngulos: Los ngulos son las medidas que definen la abertura entre dos lneas que parten de un
mismo punto en comn llamado vrtice. Existen distintas formas de medir los ngulos, sin embargo
las ms utilizadas son:
El grado sexagesimal: Medida angular que divide una circunferencia completa en 360 partes
iguales, llamados grados.
El grado Centesimal: Medida angular que divide una circunferencia completa en 400 partes
iguales, llamados grados.
El radian: Medida angular, la ms utilizada en las matemticas avanzadas, tiene la
caracterstica de dividir una circunferencia en partes iguales.
Existen ngulos que son de mucha utilidad, el cual ha hecho que se particularicen:
Tringulos: Un tringulo es una figura formada por tres segmentos de recta, que forman 3 vrtices,
cada uno conteniendo un ngulo cada uno. Si se llama a estos lados a, b y c, siendo c el lado ms
grande, entonces , es decir, que el lado de mayor longitud debe ser menor que la suma de
los otros dos lados, de lo contrario no existir triangulo. La rama de la matemtica encargada de todo
el estudio de los tringulos se denomina trigonometra.
Los tringulos estn divididos
geomtricamente en tringulos equilteros, issceles y escalenos, que son, los de tres lados iguales,
los de dos lados iguales y uno desigual y el de tres lados desiguales respectivamente, cada uno
subdividido en varias formas.
Tringulos rectngulos: Los tringulos rectngulos son los tringulos que poseen un ngulo
recto. Los tringulos rectngulos poseen un lado que posee mayor longitud, a este lado se le conoce
como Hipotenusa, mientras que los otros dos lados se denominan catetos
Hipotenusa
Cateto
Cateto
Las funciones trigonomtricas: las funciones trigonomtricas son los elementos matemticos
encargados de relacionar los lados y los ngulos de los tringulos. En el momento en que en un
tringulo se introduce los ngulos los catetos toman un nombre particular dependiendo del ngulo
que se trabaje, los catetos son llamados Cateto Opuesto y Cateto Adyacente, suponga que se tiene un
tringulo rectngulo de la siguiente manera con los ngulos mostrados:
Las funciones trigonomtricas dependen del ngulo de trabajo, las funciones son 6:
Seno
Coseno
Tangente
Cotangente
Secante
Cosecante
Cada una de ellas representa la relacin de dos lados de un tringulo siendo estas:
La funcin trigonomtrica de un ngulo queda definida como la relacin de dos lados de un tringulo,
de acuerdo a la ubicacin del ngulo.
Ejemplo 3:
Se tiene la siguiente relacin trigonomtrica, con esta informacin determine las siguientes funciones
trigonomtricas:
Al observar la relacin de la funcin trigonomtrica cotangente, se aprecia que los lados que se
involucran son los de Adyacente y opuesto, al notar los valores se puede deducir que:
Por lo tanto se necesita encontrar el siguiente lado del tringulo rectngulo, es decir, se requiere del
valor de la hipotenusa, para ello se utiliza el teorema de Pitgoras:
Si el valor de la hipotenusa es de 5, entonces ya se pueden determinar las siguientes funciones
trigonomtricas
Semejanza de tringulos: la semejanza de tringulos es una relacin que existe entre dos tringulos
que tiene un ngulo en comn, por ejemplo:
La figura anterior est formada por 2 tringulos, uno grande y uno pequeo, sin embargo ambos
comparten un vrtice, y por lo tanto el ngulo en este vrtice es el mismo, de esto entonces es correcto
afirmar que Si tienen un ngulo en comn, entonces las funciones trigonomtricas de este ngulo
deben ser las mismas para ambos tringulos. Observe la siguiente figura, est formada por 2
tringulos, uno inscrito en otro, cada una de las medidas est dada:
Tringulo pequeo
Ambos tringulos poseen los mismos valores para cada funcin trigonomtrica, lo cual en ocasiones
es til si se desea conocer algn lado desconocido de dos tringulos que se encu
entren en semejanza:
Ejemplo 4:
En la siguiente figura, determine el lado que se desconoce utilizando la semejanza de tringulos:
Una escalera se utiliza para subir a la ventana de un edificio, sin embargo el edificio est bordeado
por una cerca de 2.5 metros de alto a 3 metros de la base del edificio, si para poder llegar a la ventana,
Observe que el problema se resuelve al utilizar la semejanza de tringulos, note muy bien que se
tienen 2 tringulos, el menor posee lados 2.5 y 1.5 mientras que el tringulo mayor posee lados de h
y 4.5 metros(esto porque es la longitud total), si se utiliza la relacin trigonomtrica tangente,
entonces:
Entonces la altura h de la ventana es de 7.5 metros, para calcular la longitud de la escalera se utiliza
el teorema de Pitgoras:
La escalera tiene una longitud aproximada de 10.6 metros de longitud.
6. Para cada una de las siguientes funciones trigonomtricas, construya las otras 5
funciones y dibuje el triangulo que se genera utilizando instrumentos para hacerlo (no
aproxime los nmeros irracionales).
Esto significa que se desarrollaran todos los temas usando los nmeros Reales y basados nicamente
con las operaciones binarias7 producto (ms conocido con el termino de multiplicacin) y adicin
(suma).
Note muy bien que en el campo real de adicin y producto no se hace mencin de la operacin
diferencia (resta) y cociente (divisin), esto debido a que la diferencia est definida como la suma de
un numero positivo y un nmero negativo y un cociente est definido como el producto de un numero
entero con un numero racional.
7
8
Se denomina operacin binara, dado que se requiere de 2 elementos para poder utilizarla.
Smbolo que se lee en consecuencia o por lo tanto
El neutro para la suma denominado neutro aditivo es el 0 pues al sumar cualquier nmero
con este nunca se ver afectada la cantidad inicial. Por el otro lado, el neutro multiplicativo
es el 1 pues de la misma manera no afectara a otro nmero que se opere con el:
Propiedad de un simtrico: Propiedad que es muy til, pues afirma que para todo elemento que
pertenece al campo real existe otro elemento que al operarse juntos se obtendr el neutro de la
operacin.
El simtrico vara dependiendo del elemento que se est operando, en los siguientes ejemplos se
puede apreciar esto:
Por lo tanto se puede afirmar que el simtrico aditivo es nicamente el negativo del elemento utilizado
y el simtrico multiplicativo es el inverso del elemento utilizado.
Jerarqua de las operaciones: La jerarqua de las operaciones es el orden correcto en que deben
realizarse un conjunto de operaciones relacionadas entre s, es decir, supngase que se tiene la
siguiente operacin:
Se resalt los resultados obtenidos de los cocientes (obsrvese que se dej una fraccin, indicando el
resultado del cociente ), procediendo ahora a realizar los productos:
El nmero 1 se obtiene debido a que se est realizando el producto de un nmero con su simtrico,
dando como resultado el neutro multiplicativo. Ahora al realizar las operaciones de suma y resta se
obtiene el resultado final:
Esto indica que el numero 2 esta ocho veces como un sumando y el signo + esta 7 veces. De esta
misma manera, existe una forma simplificada de escribir un producto repetido, utilizando las
potencias. Una potencia indica la cantidad de veces que un nmero esta como factor, as en:
El numero 3 esta cinco veces como factor, y el signo se encuentra solamente cuatro veces. Para
denotar esto se utiliza la siguiente simbologa:
En sta el exponente (5) nos indica la cantidad de veces que la base (3) se encuentra como un factor.
Un error muy comn es afirmar que el exponente es la cantidad de veces que se va a multiplicar, algo
que es completamente equivoco.
Una potencia es en conjunto un exponente y base, no debe confundir el exponente con la palabra
potencia.
Base
Potencia
Exponente
Leyes de exponentes: Las leyes de exponentes son un conjunto de condiciones que se utilizan
para realizar operaciones con potencias de una manera sencilla. Estas pueden visualizarse en la
siguiente tabla:
No.
Ley
Descripcin
El producto de dos potencias
que tengan una misma base, da
como resultado otra potencia
que tiene como base, la base en
comn y como exponente la
suma de los exponentes de las
potencias dadas.
El cociente de dos potencias que
tengan una misma base, da
como resultado otra potencia
que tiene como base, la base en
comn y como exponente la
diferencia de los exponentes de
las potencias dadas
ejemplos
tengan un mismo exponente, da
exponente el exponente en
comn.
Una potencia que tenga como
base otra potencia, da como
resultado una potencia que tiene
como base la base original y
como el exponente el producto
de los exponentes dados.
Una potencia que tenga como
exponente
un
nmero
fraccionario da como resultado
una raz que tiene como ndice el
1.
2.
Ejemplo 2
Ejemplo 3
Utilice las leyes de exponentes para simplificar la siguiente operacin:
Simplificamos los trminos internos a los radicales:
Reescribiendo lo trminos en forma de potencia:
Ahora se trasladan los radicales a potencias:
Como los exponentes pueden distribuirse en a cada factor entonces se utiliza para simplificar la
operacin de la siguiente manera:
Racionalizacin: La matemtica es una herramienta que exige mucha precisin, sin embargo por
ser una herramienta muy bella tiene algo que siempre acompaa a la belleza, la vanidad.
En ocasiones es impropia la escritura de algunos trminos que se presentan, aun cuando el resultado
este correcto, presentando as la vanidad sealada, es por eso que existen mtodos para transformar
dicha respuesta sin modificar su valor, uno de estos recibe el nombre de racionalizacin.
La racionalizacin es un mtodo existente para transformar un trmino en otra que es equivalente,
por ejemplo se puede afirmar que:
La expresin anterior muestra una fraccin que tiene como denominador un radical, lo cual no es una
forma correcta de presentar un resultado, por tal razn se transforma y el radical resulta en el
numerador, para esto se realiza el siguiente proceso:
Ejemplo 4:
Racionalice la siguiente expresin:
Paso 1: Se multiplica la expresin por la unidad (sea que se multiplica por 1), pero la unidad se
utiliza de acuerdo a lo que se deba racionalizar:
En el paso anterior observe que el exponente y el ndice del radical tienen el mismo valor, por lo tanto
se pueden cancelar.
Ejemplo 5:
Racionalice la siguiente expresin:
Paso 1:
Paso 2:
Paso 3:
Nuevamente ntese muy bien que el exponente y el radical se cancelan, por tal razn el 3 puede
salir del radical, y adems se puede simplificar la expresin.
Ejemplo 6:
Racionalice la siguiente expresin:
Paso 1(realizando el mismo proceso que en los problemas anteriores para investigar que sucede):
Paso 2:
OBSRVESE con atencin que para este ejemplo no puede cancelarse el exponente con el ndice de
radical pues no tienen el mismo valor, por lo tanto el PASO 1 es incorrecto, para que el ndice se
pueda cancelar con el radical, el exponente de la potencia debe de ser 5 entonces el paso 1 debe
hacerse de la siguiente manera:
De esta forma el exponente final de la potencia tendr el valor de 5, que es lo que se requiere. Por lo
tanto es necesario visualizarse antes para saber que exponente es el que se requiere, para poder
cancelarlo con el radical: