Portafolio Matematica
Portafolio Matematica
Portafolio Matematica
PROYECTO FINAL
MARTINGALA
LÓGICA MATEMÁTICA
SEMESTRE
PRIMERO “A”
HOJA DE VIDA
NACIONALIDAD: Ecuatoriana
ESTUDIOS PRIMARIOS:
ESTUDIOS SECUNDARIOS:
Carolina Cepeda
1804392882
INTRODUCCIÓN
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas
y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en
la filosofía, matemáticas, computación, física. En la filosofía para determinar si un
razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones,
sin embargo la lógica permite saber el significado correcto. En las matemáticos para
demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en
investigaciones. En la computación para revisar programas. En general la lógica se
aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento
lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que
realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona
desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede
pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes
no pintó la parte alta porque se mancharía lo que ya tiene pintado, también
dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha
a izquierda según el caso, todo esto es la aplicación de la lógica.
La lógica es pues muy importante; ya que permite resolver incluso problemas a los que
nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y
apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos
innovaciones a los ya existentes o simplemente utilización de los mismos.
En este trabajo se trata además de presentar las explicaciones con ejemplos que le sean
familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones
formales por el método directo y el método por contradicción. Ya que la mayoría de
los libros comerciales únicamente se quedan en explicación y demostración de reglas
de inferencia.
Es importante mencionar que en las demostraciones no hay un solo camino para llegar
al resultado. El camino puede ser más largo o más corto dependiendo de las reglas de
inferencia y tautologías que el alumno seleccione, pero definitivamente deberá llegar al
resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar
bien. Esto permite que el estudiante tenga confianza en la aplicación de reglas y
fórmulas.
LÓGICA MATEMÁTICA
Conceptualización
Lógica y Lingüística
Simbolización
Proposiciones
Conectivos Lógicos
Proposiciones Simples
Proposiciones Compuestas
Tablas de verdad
Leyes lógicas
Leyes de algebra de proposiciones
Cuantificadores
Representación Gráfica
Formas para distinguir un conjunto
Conjuntos Finitos
Conjuntos Especiales
Relaciones entre conjuntos
Operaciones entre conjuntos
Algebra de Conjuntos
Conceptualización
Clasificación: Naturales, enteros, racionales, irracionales, fraccionarios.
Propiedades: Suma, diferencia, producto, cociente, potenciación, radicación.
Logaritmos Propiedades
Ecuaciones Logarítmicas
Conceptualización
MATERIA
MATEMATICAS
CAPÍTULO I. PRINCIPIOS DE LÓGICA
Conceptualización
Lógica y lingüística
IMPORTANCIA DE LA LÓGICA
Aunque todo hombre tiene una lógica natural, requiere sin embargo, el
conocimiento de la lógica científica, pues la mente humana cae fácilmente en el
error y necesidad de una ayuda para evitarlo.
La mente humana es como un caos que necesita reducirse al orden, si quiere ser
eficaz en el estudio y en el trabajo organizador.
Los dos primeros conjuntos contienen definiciones pro lo que cabe analizar el
significado de esta palabra y sus características
DEFINICIÓN
LEYES DE LA DEFINICIÓN
AXIOMA
En una afirmación que sin utilizar razonamientos complicados, se acepta como
verdadera, es decir que no ofrece duda alguna.
No debemos admitir un axioma aislado, sino todo un conjunto de axiomas que reflejen
correctamente las propiedades realmente existentes.
CONJUNTO DE AXIOMAS
OPERADORES LÓGICOS
1. JUICIO
Es un pensamiento en el cual se afirma o se niega algo.
2. ENUNCIADO
Es la expresión verbal o escrita del juico.
Ejemplo 1:
SON ENUNCIADOS NO SON ENUNCIADOS
X+4=2 Camina!!!
2 +4 = 6
3. RAZONAMIENTO
Consiste en la diferencia de un juicio obtenido de otro u otros a los que se les llama premisas.
4. PROPOSICIÓN
Es un enunciado que forma parte de un razonamiento
Ejemplo 2:
<X+4=6> es un enunciado
5. VALOR DE VERDAD
Una preposición es verdadera o falsa, y decimos que su valor de verdad o certeza es verdadera
(v) o falsa (f) respectivamente.
CONSIDERAMOS LA PROPOSICIÓN:
1+1=2
No podemos determinar su valor de verdad pues, nos falta una información adicional; podemos
decir únicamente que puede ser verdadera o falsa.
Y, no, ni, o, o
Si, entonces, si y solo si
PROPOSICIÓN
Una proposición es una unidad semántica que, o sólo es verdadera o sólo es falsa.
Los elementos fundamentales de la lógica son las proposiciones.
Por ello, las oraciones que no son falsas ni verdaderas, o las que demuestran algún tipo de
imprecisión (carece de sentido).
5 es un número primo.
-17+38=21
Todos los números enteros son positivos.
Vicente Rocafuerte fue presidente del Ecuador.
Las oraciones anteriores expuestas son proposiciones, ya que son verdaderas o falsas.
LÓGICA Y LINGÜÍSTICA
Una proposición está representada por las letras del alfabeto en minúscula.
Ejemplo:
p, q, s, t, a, b,… Etc.
Para que una proposición lingüística sea considerada como una proposición debe cumplir con
los siguientes requisitos:
1. Ser oración
2. Ser oración aseverativa
3. Ser o bien verdadera o bien falsa
¿QUÉ ES LA LÓGICA?
Ciencia formal que estudia los principios de demostración y la inferencia válida.
1. Conjuntista
2. Axiomas
CLASES DE SIGNOS
1. Del lenguaje corriente p, q, a, b, c, ¿?, ¡!
2. De conexión lógica ┐, ↔, →, ˄˅
3. De relación =, ≠
4. De cuantificación Ǝ, Ʉ
5. De operación +, -, ×, ÷
6. De agrupación o puntuación (), [], {}
CLASES DE PROPOSCIONES
CONECTORES LÓGICOS
CONECTORES
LÓGICOS
Negación ┐ (no)
Conjunción ˄ (y)
Disyunción ˅ (o)
Implicación → (entonces)
Equivalencia ↔ (si y solo si)
NEGACIÓN ˥ (no)
La negación es una proposición p, es representada por ˥ (no).
Se lee:
Sea a una proposición, la negación de a, representada simbólicamente por ˥a, es una nueva
proposición, cuyo valor de verdad está dado por la siguiente tabla de verdad:
CONJUNCIÓN ˄
La conjunción de dos proposiciones, p y q, se representa: p˄q
Se lee:
“p y q”
Se lee:
“ni p ni q”
DISYUNCIÓN V (O)
La disyunción de dos proposiciones, p y q, se representa por: pVq.
Es falsa únicamente cuando las dos proposiciones que la conforman son falsas.
Se lee:
“p O q”
DISYUNCIÓN EXCLUSIVA V
Se representa por V
CONDICIONAL → ( SOLO SI )
Sean p y q preposiciones, la condicional entre a y b, representada simbólicamente por p→q, es
una nueva proposición, cuyo valor de verdad está dado por la siguiente tabla de verdad:
BICONDICIONAL ↔ ( SI Y SOLO SI )
Sean p y q proposiciones, la bicondicional entre p y q, representada simbólicamente por p↔q,
es una nueva proposición, cuyo valor de verdad está dado por la siguiente tabla de verdad:
ORDEN DE OPERADORES
REGLAS DE ORDEN
1. (p˄q) ˄ (p→q)
p ˄ q ˄ p → Q
V V V V V V V
V F F F V F F
F F V F F V V
f F f F F V F
6. pVq → ˥ q
R= (pVq) → ˥ q
7. Si tengo p ˄ q → ˥ q
R= p ˄ (q → ˥ q)
8. Si tengo ˥ p → q ˄ r
R= ˥ [p → (q ˄ r)]p → q → ˥q → r
R= [(p → q) → ˥q] → r
9. pVq ˄ p˄q
R= [(pVq) ˄ p] ˄q
F F F F F V F
CONJUNCIÓN DISYUNCIÓN
(p˄q)≡ (q˄p) Conmutativa (pvq) ≡ (qvp) Conmutativa
[(p˄q)˄r] ≡ (p˄(q˄r) Asociativa [(pvq)vr] ≡ [pv(qvr)] Asociativa
(p˄p) ≡ p Idempotencia (pvp) ≡ p Idempotencia
(p˄v) ≡ p Identidad (pvf) ≡ p Identidad
(p˄v) ≡ f Absorción (pv1) ≡ 1 Absorción
DEMOSTRACIÓN CONJUNCIÓN
CONMUTATIVA
(p ˄ q) ≡ (q ˄ p)
V V V V V V
V F F F F V
F F V V F F
F F F F F F
ASOCIATIVA
[(p ˄ q) ˄ r] ≡ [p ˄ (q ˄ r)]
V V V V V V V V V V
V V V F F V F V F F
V F F F V V F F F V
V F F F F V F F F F
F F V F V F F V V V
F F V F F F F V F F
F F F F V F F F F V
F F F F F F F F F F
IDEMPOTENCIA
(p ˄ p) ≡ p
V V V V
F F F F
IDENTIDAD
(p ˄ 1) ≡ p
V V V V
F F F F
ABSORCIÓN
(p ˄ 0) ≡ 0
V F F F
F F F F
DEMOSTRACIÓN DISYUNCIÓN
CONMUTATIVA
(p V q) ≡ (q V p)
V V V V V V
V V F F V V
F V V V V F
F F F F F F
ASOCIATIVA
[(p V q) V r] ≡ [p V (q V r)]
V V V V V V V V V V
V V V V F V V V V F
V V F V V V V F V V
V V F V F V V F F F
F V V V V F V V V V
F V V V F F V V V F
F F F V V F V F V V
F F F F F F F F F F
IDEMPOTENCIA
(p V p) ≡ p
V V V V
F F F F
IDENTIDAD
(p V 0) ≡ p
V V F V
F F F F
ABSORCIÓN
(p V 1) ≡ 1
V V V V
F V V V
˥0 ≡ 1
NEGACIÓN
˥1 ≡ 0
˥ (˥p) ≡ p DOBLE NEGACIÓN O INVOLUTIVA
pv (q˄r) ≡ (pvq) ˄ (p v r)
DISTRIBUTIVAS
p˄ (q˄r) ≡ (pvq) ˄ (p ˄ r)
˥ (p ˄ q) ≡ (˥p v ˥q)
DE MORGAN
˥ (p v q) ≡ (˥p ˄ ˥q)
(p v ˥p) ≡ 1 TERCERO EXCLUIDO
(p ˄ ˥p) ≡ 0 CONTRADICCIÓN
( p → q) ≡ (˥p → ˥q) CONTRAPOSITIVA O
CONTRARRECÍPROCA
DEMOSTRACIÓN
NEGACIÓN
˥ Falso ≡ V ˥ Verdadero ≡ F
V≡V F≡F
DOBLE NEGACIÓN
˥ (˥p ≡ P
)
V F V
F V F
DISTRIBUTIVA
- pv (q˄r) ≡ (pvq) ˄ (p v r)
p v (q ˄ r) ≡ (p v q) ˄ (p v r)
V V V V V V V V V V V V
V V V F F V V V V V V F
V V F F V V V F V V V V
V V F F F V V F V V V F
F V V V V F V V V F V V
F F V F F F V V F F F F
F F F F V F F F F F V V
F F F F F F F F F F F F
- p˄ (q˄r) ≡ (pvq) ˄ (p ˄ r)
p V (q ˄ r) ≡ (p ˄ q) V (p ˄ r)
V V V V V V V V V V V V
V V V V F V V V V V F F
V V F V V V F F V V V V
V F F F F V F F F V F F
F F V V V F F V F F F V
F F V V F F F V F F F F
F F F V V F F F F F F V
F F F F F F F F F F F F
DE MORGAN
- ˥ (p ˄ q) ≡ (˥p v ˥q)
˥ (p ˄ q) ≡ (˥ p v ˥ q)
F V V V F V V F V
V V F F F V F V F
V F F V V F F F V
V F F F V F F V F
- ˥ (p v q) ≡ (˥p ˄ ˥q)
˥ (p v q) ≡ (˥ p ˄ ˥ q)
F V V V F V F F V
F V V F F V F V F
F F V V V F F F V
V F F F V F V V F
TERCERO EXCLUIDO
- (p v ˥p) ≡ 1
(p V p) ≡ 1
V V F V
F V V V
CONTRADICCIÓN
- (p ˄ ˥p) ≡ 0
(p ˄ ˥ p) ≡ 0
V F F V F
F F V F F
CONTRAPOSITIVA O CONTRARRECÍPROCA
- ( p → q) ≡ (˥p → ˥q)
(p → q) ≡ (˥ p → ˥ q)
V V V F V V F V
V F F V F F F V
F V V F V V V F
F V F V F V V F
IMPLICACIÓN
- ( p → q) ≡ (˥p → ˥q)
V V V ≡ F V V V
V F F F V F F
F V V V F V V
F V F V F V F
IMPLICACIÓN
- (˥ p → q) ≡ (˥p v ˥q)
F V V V ≡ V V V
F V V F V V F
V F V V F V V
V F F F F F F
IMPLICACIÓN
- ˥( p → ˥q) ≡ (p ˄ q)
V V F F V ≡ V V V
F V V V F V F F
F F V F V F F V
F F V V F F F F
IMPLICACIÓN
- [ ( p → r) ˄ (q → r)] ≡ [ (p v q) →r]
V V V V V V V ≡ V V V V V
V F F F V F F V V V F F
V V V V F V V V V F V V
V F F F F V F V V F F F
F V V V V V V F V V V V
F V F F V F F F V V F F
F V V V F V V F F F V V
F V F V F V F F F F V F
IMPLICACIÓN
- [ ( p → r) ˄ (p → r)] ≡ [ p→ (q ˄ r) ]
V V V V V V V ≡ V V V V V
V V V F V F F V F V F F
V F F F V V V V F F F V
V F F F V F F V F F F F
F V V V F V V F V V V V
F V V V F V F F V V F F
F V F V F V V F V F F V
F V F V F V F F V F F F
EXPORTACIÓN
- [ ( p ˄ q) →r] ≡ [ p→ (q ˄ r) ]
V V V V V ≡ V V V V V
V V V F F V F V F F
V F F V V V V F V V
V F F V F V V F V F
F F V V V F V V V V
F F V V F F V V F F
F F F V V F V F V V
F F F V F F V F V F
REDUCCIÓN AL ABSURDO
- (p → q) ≡ [ (q ˄ ˥q) ] → 0]
V V V ≡ V F F V V F
V F F V V V F F F
F V V F F F V V F
F V F F F V F V F
EQUIVALENCIA
- (p ↔ q) ≡ [(q ↔ p)
V V V ≡ V V V
V F F F F F
F F V V F F
F V F F V F
TRIVIAL
- p →p
V V V
F V F
ADICIÓN
- p → (p v q)
V V V V V
V V V F
V
F V F V V
F V F F F
SIMPLIFICACIÓN
- (p ˄ q) → p
V V V V V
V F F V V
F F V V F
F F F V F
MODUS PONENDO PONENS / SUPOSICIÓN DEL ANTECEDENTE
- [(p → q) ˄ p] ⇒ p
V V V V V V V
V F F F V V F
F V V F F V V
F V F F F V F
- [(p → q) ˄ ˥q] → ˥p
V V V F F V V F V
V F F F V F V F V
F V V F F V V V F
F V F V V F V V F
SLLOGISMO DISYUNTIVO
- [( p v q) ˄ ˥p] ⇒ q
V V V F F V V F
V F F F V F V F
F V V F F V V V
F V F V V F V V
DILEMAS CONSTRUCTIVOS
V V V V V V V V V V V V V V V
V V V F V F F V V V V F V F F
V V V V F V V V V F F V V V V
V V V V F V F V V F F F V F F
V F F F V V V V V V V F F F V
V F F F V F F V V V V V F F F
V F F F F V V V V F F V V F V
V F F F F V F V V F F V V F F
F V V V V V V V F F V V V V V
F V V F V F F V F F V V V F F
F V V V F V V V F F F V V F V
F V V V F V F V F F F V V F F
F V F V V V V V F F V V V F V
F V F F V F F V F F V V V F F
F V F V F V V V F F F V V F V
F V F V F V F V F F F V V F F
- [( p → q) ˄ (r→ s)] → [( p v r) → (q v s)]
V V V V V V V V V V V V V V V
V V V F V F F V V V V F V F F
V V V V F V V V V F F V V V V
V V V V F V F V V F F F V F F
V F F F V V V V V V V F F F V
V F F F V F F V V V V V F F F
V F F F F V V V V F F V V F V
V F F F F V F V V F F V V F F
F V V V V V V V F F V V V V V
F V V F V F F V F F V V V F F
F V V V F V V V F F F V V F V
F V V V F V F V F F F V V F F
F V F V V V V V F F V V V F V
F V F F V F F V F F V V V F F
F V F V F V V V F F F V V F V
F V F V F V F V F F F V V F F
- [( p → q) ˄ (q ↔ r)] → (q↔ r)
V V V V V V V V V V V V
V V V F V F F V V V F F
V F F F V V V V V F F V
V F F F V F F V V F F F
F V V V F V V F V V V V
F V V V F V F F V V F F
F V F V F V V F V F F V
F V F V F V F F V F F F
- [(p ↔ q) ˄ (q ↔ r)] → (q ↔ r)
V V V V V V V V V V V V
V V V F V F F V V V F F
V F F F V V V V V F F V
V F F F V F F V V F F F
F V V V F V V F V V V V
F V V V F V F F V V F F
F V F V F V V F V F F V
F V F V F V F F V F F F
FORMA PROPORCIONAL
A: [(p ˄ q) → r]
B: [p → (q → r)
(A↔B)
- [( p ˄ q) → r ] ↔ [p → (q → r) ]
V V V V V V V V V V V
V V V F V V F V V V F
V F F F V V V V V F F
V F F F V V F V V F F
F V V V F V V F V V V
F V V V F V F F V V F
F V F V F V V F V F F
F V F V F V F F V F F
A: [(p ↔ q) v r
B: (˥r)
C: (s v t)
(A v B) ↔ 7c
- {[(p ↔ q) ⊻ r ] v (˥ r) ] } ↔ ˥ (s v t)
V V V V V V V V V V V V V
V V V F V V F V V V F V F
V F F F V V V V V F F F V
V V V V V V V V V V V V F
V V V F V V F V V V F V V
V F F F V V V V V F F F F
V F F F V V F V V F F F V
V F F F V V F V V F F F F
V V V V V V V V V V V V V
V V V F V V F V V V F V F
V F F F V V V V V F F F V
V V V V V V V V V V V V F
V V V F V V F V V V F V V
V F F F V V V V V F F F F
V F F F V V F V V F F F V
V F F F V V F V V F F F F
F V V V F V V F V V V V V
F V V V F V F F V V F V F
F V F V F V V F V F F F V
F V V V F V V F V V V V F
F V V V F V F F V V F V V
F V F V F V V F V F F F F
F V F V F V F F V F F F V
F V V V F V V F V V V V V
F V V V F V F F V V F V F
F V F V F V V F V F F F V
F V V V F V V F V V V V F
F V V V F V F F V V F V V
F V F V F V V F V F F F F
F V F V F V F F V F F F V
F V F V F V F F V F F F F
F V F V F V F F V F F F F
CUANTIFICADORES
∀ ∃
Todo Existe, Existencia
(∀x) (Px→Qx)
1+0=0
2+0=0
7(∀x) (Px)
Leer
SIMBOLICE
- Para cada entero existe un único entero tal que al sumarlos les de cero
(ꓯ x) (∃, y) p (x + y = 0)
SEGUNDO PARCIAL
CUANTIFICADORES
∀ ∃
Todo Existe
Todos Existencia
Algún
EJEMPLOS
NEGACIÓN
∃x(x número real) x+7 ≠10
X X+7≠10
1 1+7≠10 verdadero
2 2+7≠10 Verdadero
3 3+7≠10 Falso
4 4+7≠10 Verdadero
X X>0
1 1>0
2 2>0
3 3>0
x=2
X X>0
2 2>0
Determine el valor de la siguiente proposición, niéguelo
x-2=7 X+2=1
X=7+2 X=1-2
X=9 X=-1
PROPOSICIONES COMPUESTAS
∀x ⋲R (x-7=5) R= Falso
12-5=5
5=5
8-2≠6
∃x ( x 2=x)
- Para todo número real existe otro que sumado cero “0”
- Existe un número real que multiplicado por todo número real sea cero “0”
∀x (x ≠ x) ∃x(x=x)
∀y (y=2) ∃y (y≠2)
∃x(x-x=2) ∀x (x-x≠2)
SIMBOLOS
/ Tal qué
: Tal qué
i Siendo
€ Pertenece o es elemento de
€ No pertenece o no es elemento de
= Igual
= Diferente de
> Mayor qué
≥ Mayor igual qué
< Menor qué
≤ Menor igual que
˄ I (y)
˅ O
→ Implica
↔ Equivalente
# Número (s)
IR Real
I Irracional
IN Natural
D Dígito
Z Entero
Z+ Entero positivo
Z- Entero negativo
V→ Vector nulo
A→ Vector de A
i Imaginario
Q Racional
∢ Fraccionario
∟ Ángulo
H Perpendicular
ay Paralelo
ax Derivado
F(x) Función
Dom Dominio
S Integral
2x Par
2x+1 Impar
(n+1) Consecutivo
≅ Contingente
∷ En consecuencia
⊃ Contiene
⊅ No Contiene
⊂ Está incluido
⊄ No está incluido
∟ Múltiplo de
∝ Divisor de
∞ Alfa
℧ Infinito
ℬ Tata
O Omega
b Beta
b Gama
pr Primo
cm Compuesto
AB Segmento de B
lim Límite de una
x→0 Variable
II Valor Absoluto
(a.b) Par ordenado
A:[] Matriz de A
∆ Incremento
∇ Decremento
A∆B Diferencia simétrico entre A y B
a
Números Racionales.- Puede expresarse en forma de fracción (Quebrado)
b
Son aquellos que pueden dividirse por sí mismos y para la unidad y convertirse en un
número entero
TEORÍA DE CONJUNTOS
- CONJUNTOS:
Reunión de varios elementos
Característica en común
Grupo
Clase
Conjunto
Conglomerad
Agrupación o
Montón
Un conjunto es la agrupación, montón, conglomerado de cosas u objetos que tienen algo
en común.
ELEMENTOS:
Ejemplo:
NOTACIÓN:
Nombres de los conjuntos deben estar dados por letras mayúsculas A, B,C.
Elementos conjuntos (letras mayúsculas: a, b, c, d…)
RELACIÓN DE PERTENENCIA:
A = {l, n, m, i, j, v, s, d, o }
L,G,A - Pertenece
Entero € A x
DETERMINACIÓN DE UN CONJUNTO
EXTENSION:
Con extensión
Va a enunciar la propiedad en común de las mismas.
Ejemplo:
- Los estudiantes de N I C B
- Los animales mamíferos
- El alfabeto del idioma castellano.
CONJUNTOS FINITOS
Ejemplo:
A = {a, e, i, o, u}
B=
CONJUNTOS INFINITOS
Ejemplo:
A = {X/X es un gramo de arena del mar}
CONJUNTO UNITARIO
Ejemplo
A= 1
B=
C=
CONJUNTO VACÍO
Signo:
Ejemplo:
A={ }
Ejemplo:
A = {a, e, i, o, u}
V V V
a e i o a e i o u a e i o u
u
a e i
o u
SUBCONJUNTOS
A = {m, n}
A es un subconjunto
B = {m, n, r, s}
de b
RELACIÓN DE INCLUSIÓN
U = Universo
UNIÓN = U
AUB
Todo A + Todo B
INTERSECCIÓN
DIFERENCIA = /- (A-B)
DIFERENCIA = / - (B-A)
Complemento A” ; Ac ; A
COMPLEMENTO DE LA UNIÓN
C
B A
CARDINALIDAD DE UN CONJUNTO
Número de elementos diferentes que posee el conjunto.
EJERCICIOS
1. En un aula hay un cierto número de alumnos que hemos de determinar. Se sabe que cada
uno de los alumnos presentes en el aula, al menos uno de las tres asignaturas siguientes:
matemática, química, física. Pues se pide que levanten las manos:
- Matemática y lo hacen 48
- Física y lo hacen 45
- Química y lo hacen 49
- Matemática y física, y lo hacen 28
- Matemática y química, lo hacen 26
- Física y química y lo hacen 28
- Las 3 asignaturas, lo hacen 18
a) ¿Cuántos alumnos hay en el aula?
b) ¿Cuántos estudian matemática y física pero no química?
c) ¿Cuántos estudian nada más que matemática o física o ambas?
d) ¿cuentos estudian nada más que química?
U=
(MUFUQ)
M F
n(MUFUQ)= M+F+Q
n(MUFUQ)= n(M)+n(F)+n(Q)-n(MF)
12 10 7 -n(FQ)-n(MQ)+n(MFQ)
18 n(MUFUQ)= n(M)+n(F)+n(Q)-n(M∩F)
8 10
-n(F∩Q)-n(M∩Q)+n(M∩F∩Q)
n(MUFUQ)= 48+45+49-28-26-28+18
13
n(MUFUQ)= 78
Q
a) 12+8+13+10+18+10+7=78
b) 12+13+8=33
c) 12+10+7=29
d) 13
2. CONMUTATIVA
AUB=BUA
A∩B=B∩A
3. ASOCIATIVA
A U (B U C) = (A U B) U C
A ∩ (B ∩ C) = (A ∩ B) ∩ C
4. DISTRIBUTIVA
A U (B ∩ C) = (A U B) ∩ (A U C)
A ∩ (B U C) = (A ∩ B) U (A ∩ C)
5. IDENTIDAD
AUØ=A
A∩Ø=Ø
AUƱ=Ʊ
A∩Ʊ=A
6. COMPLEMENTO
A U Ac = Ʊ
A ∩ Ac = Ø
( A¿¿ c)c ¿ = A
Ʊc = Ø
Øc = Ʊ
7. MORGAN
( A U B)C = Ac ∩B c
( A ∩ B)C = Ac U B c
8. DIFERENCIA
A
= A ∩B C
B
NOTACIÓN EXPONENCIAL
LEYES DE LOS EXPONENTES
DEFINICIÓN DE LA RAÍZ n-ésima
PROPIEDADES
1. √n ab=√n a √n b
a n
2.
√
n
m n
b
=√ a
3. mn
√ √ a= √ a
n
4. √n an =a n =a
RADICALES
Ya sabemos que 2 significa que n es número entero.
1
m
√ a=a m
√ 8+ √ 2= √( 2)3 + √ ( 2 )= 2√ 2+ √ 2=3 √ 2
PRODUCTO DE RADICALES
6 6
√3 3 × √2 2=√ 32 × √ 23
COCIENTE DE RADICALES
3
√ 2 = 6 (2) = √6 8
√
√3 3 (3)2 √6 9
FUNCIONES DE LOGARITMOS
log a x= y a y =x
1 1
log 2 ()
8
=−3 2−3 =
8
PROPIEDAD RAZÓN
Se debe elevar a la potencia O para obtener 1
log a 1=0
Se debe elevar a la potencia 1 para obtenerla
log a a=1
x
Se debe elevar a la potencia x para obtener a x
log a a =x
log a x Es la potencia a la cual se debe elevar para
a log x =x
a
obtener.
PROPIEDADES DE LOGARITMO
EJERCICIOS
EJERCICIOS
1. Si p: él es estudiante
q: él está en clase
r: él está en la biblioteca
a) P→ (q V r)
Si el estudiante, él está en clases o él está en la biblioteca
b) ˥ (p v q) ˄ ˥ r
No es verdad que él es estudiante o él está en clases, y no es verdad
que él está en la biblioteca.
2. (p V q) → (˥q)
(p v q) → (˥ q)
V V V F F V
V V F V V F
F V V F F V
F f F v v F
1. (p → q) →r
(p → q) → R
V V V V V
V V V F F
V F F V V
V F F V F
F V V V V
F V V F F
F V F V V
F V F F F
c) ˥(p V r) ˄ p
˥ (p V r) ˄ p
F V V V V V
F V V F V V
F F V V F F
V F F F F F
d) (q V r) ˄ (q V p)
(q V r) ˄ (q V p)
V V V V V V V
V V V V V V F
V V F V V V V
V V F V V V F
F V V V F V V
F V V F F F F
F F F F F V V
F F F F F F F
e) ˥[(q V r) ˄ p]
˥ [(q V r) ˄ p]
F V V V V V
V V V V F F
F V V F V V
V V V F F F
F F V V V V
V F V V F F
V F F F F V
V F F F F F
3. 4+5 si y solo si 3+2=5 o 4+2=6
p ↔ (q V r)
4. 3+2=5 o 4+2=6, y si 3+2=6 entonces 3+2=5
(p V q) ˄ (r → p)
5. 4+5=9 o 3+2=5 pero no ambas
˥ (p V q)
6. Ni 4+5=9 o 3+2=6, ni 4+5=9 y 4+2=6
(p V t) ↓ (p ˄ r)
7. 3+2=5 o 4+2=6, y si 3+2=6, entonces 3+2=5
(q V r) ˄ (t → r)
V V V V V V V
V V V V F V V
V V F V V V F
V V F V F V F
F V V F V F V
F V V V F V V
F F F F V F F
F F F F F V F
p V ˥p
p V ˥p
Tautología
V V F
f V V
[(p ˄ q) → (r V ˥p)]
[( ˄ q) → (r V ˥ p)]
p
V V V F V V F V
V V V V F F F V
V F F F V V F V Contingencia
V F F F F F F V
F F V F V V V F
F F V F F V V F
F F f F V V V F
F F F F F V V F
p ˄ ˥p
P ˄ ˥p
V F F Contradicción
F F V
EJERCICIOS
- [∀ x ⋲ {1, 2, 3, 4,5}]
( x 2>10)
12 > 10 = 1 > 10 x
22 > 10 = 4 > 10 x
32 > 10 = 9 > 10 x
4 2 > 10 = 16 > 10 x R= Falsa
52 > 10 = 25 > 10 x
- [∃ x ⋲ {1,2,3,4,5} ( x 2>10)]
1>10
4>10
R= Verdadero
9>10
16>10
25>10
- [∀ x ⋲ {1,3,0}] (X≥0)
x≥0
1≥0
R= Verdadero
3≥0
0≥0
EJERCICIOS
- Existen algunos valores de x, tales que
∃x, x 2+5x)=0
x 2+4x+4= x 2+4x+4
- Existe un número real que multiplicado por otro número real da cero.
∃x ∈IR, ∀y ∈IR (x-y=0) Verdad
EJERCICIOS:
A= {Aries, géminis, tauro, acuario, piscis, leo, sagitario, virgo, capricornio, libra,
cáncer, escorpión.}
Las estudiantes de N I B C
B = {x/x un estudiante de N I B C}
EJERCICIOS:
1. A= {3,4,5,6,7}
B={6,7,8,9}
A B A B
6 6
34 8
34 8
7 7
5 9
5 9
Todo A y Todo B Todo lo común
AUB={3,4,5,6,7,8,9} A∩B={6,7}
DIFERENCIA=/-
1. A= {3,4,5,6,7}
B={6,7,8,9}
A-B B-A
A B A B
6 6
34 8
34 8
7 7
5 9
5 9
A-B={3,4,5}
A` B`
A B A B
6 6
A`={8,9} 3 4 B`={3,4,5} 8
34 8
7 7
(AUB) 5 9
5 9
(A∩B)
A B
A B
34 8 34 8
5 9 5 9
6 6
7 7
2. A={1,2,3,4}
B={2,3,5,6}
C={3,4,5,6,7}
AUBUC
A B
AUB={1,2,3,4,5,6} (AUC)-B={1,4,7}
AUC={1,2,3,4,6,7} (BUC)-A={5,6,7}
2 5
1 BUC={2,3,5,6,4,7}
3
5 A∩B={3,4}
3
B∩C={3,6}
6
4 A-B={1,4}
A-C={1,2}
7
1 U={1,2,3,4,5,6,7}
(A∆B)`={1,5,6,4}
C
(AUB)-C={1,2,5}
16 son electricistas
25 son plomeros
A B
u=32
4 32-29=3
1 13
2
a B b
{
c d
A= {, 2, 3, 4, 5, 6, 7, 8}
1 5 7 9
B= {1, 2, 3, 4, 5,}
2 2 2 2
A B
6 1 1
2
3 2
7 5
5 9
8 7,2
2 2
2 5 7 9
AUB= {1, , 2 , ,3 , , 4 , ,5 }
3 2 2 2
B= {xEIN= x 21=8}
A B
-2
2
a {a}
c {b}
b {d}
5. En una empresa hay 130 trabajadores de los cuales 50 poseen experiencia, 40 son
profesionales, 15 poseen experiencia y son profesionales. Determinar:
a) ¿Cuántos trabajadores son solo profesionales? 25
b) ¿Cuántos trabajadores son solo experiencia? 35
c) ¿Cuántos trabajadores tienen experiencia y son profesionales? 15
d) ¿Cuántos trabajadores no poseen ni experiencia ni son profesionales? 55
U=130
E P
25 15
35
55
6. En una escuela de nivelación para la universidad hay 100 estudiantes de los cuales 50 están en
la clase de matemática, 40 están en la clase de física y asisten a geometría 30.
- 10 alumnos están en matemática y física
- 15 alumnos están en física y geometría
- 12 alumnos están en matemática y geometría
- 8 estudian las 3 al mismo tiempo
Determinar: unión, intersección, diferencia y complemento de los mismos.
U=100
E P
20
10 15
55
2. En una escuela de nivelación para la universidad hay 100 estudiantes de los cuales 50 están en
la clase de matemática, 40 están en la clase de física y asisten a geometría 30.
- 10 alumnos están en matemática y física
- 15 alumnos están en física y geometría
- 12 alumnos están en matemática y geometría
- 8 estudian las 3 al mismo tiempo
Determinar: unión, intersección, diferencia y complemento de los mismos.
U=100
M F
36 2 23
8
4 7
11
G
1) Una empresa de la industria del automóvil requiere ingenieros titulados para cubrir las vacantes.
Los aspirantes deben ser: ingenieros mecánicos, eléctricos, químicos.
Loa ingenieros mecánicos han de ser 11, los eléctricos han de ser 12 y los químicos 10. Algunos
puestos deben ser ocupados por ingenieros con doble titulación.
a) 5 por ingenieros mecánicos y eléctricos
b) 4 por ingenieros mecánicos y químicos
c) 4 por ingenieros eléctricos y químicos
La empresa requiere para áreas muy concretas con triple titulación por los aspirantes. Se
pregunta. ¿Cuántos se presentan con triple titulación?
U= 22
4)
n (DUCUM) = n (D) + n (C) + n (M) – n (D∩C) –
D C
n (D∩M) – n (C∩M) + n (D∩C∩M)
n(DUCUM) = 391 + 230 + 545 – 98 – 88 – 152 + X
287 16 62 1000= 1166 – 338 + X
82 172 = X
6 70
M
3) En el aula de 60 estudiantes, el profesor pide que levanten la mano los que poseen el libro de
matemática y levantan la mano 50, los que posean los libros de matemática y lengua, levantan
15. Se pregunta:
a) ¿Quiénes solo poseen el libro de lengua? = 10
M L
15 10
25
35
4) Una encuesta sobre 200 personas sobre la utilización de los siguientes detergentes: albino –
blancura – claridad.
126 consumían claridad
124 no consumían albino
36 no consumían ni albino ni blancura
170 consumían al menos uno de las 3 marcas
60 consumían 3 productos
50 no consumían blancura
Se pregunta:
a) ¿Cuántos consumían solo blancura? = 28
b) ¿Cuántos consumían solo albino y blancura? = 16
c) ¿Cuántos consumían solo albino? = 0
U = 200
(AUBUC) = 170
A B
U
0 16 28 200 – 170 = 30
40
20 60
200 – 30 – 28 – 126 =16
6 C + B = 124
C
EJERCICIOS:
1. Dados los conjuntos A-Z y B={XEZ, X=en}
B={-∞,2,4,6,8,∞-}
A={-∞,-2,-1,0,1,2,3,∞}
9 69
A={ ,− } x mal x 2−5 x❑+ 4=0
25 50
x=4 x=1
5
a) A={xEQ x 2=5} B= {Xe Q x+2 =
2
A={2,23}
1
B={ }
2
1
b) {XEIR x 3+ x=0 B = { XEIR x 2 ≥ 0} x=
2
7.
¿−b ± √ b2 −4 ac
x=
2a
¿−1 ± √ 1−4
x=
2
¿−1 ± 1,7
x=
2
9
x=0.36=
25
X=-1 - 1,7
−69
X= 1,38 =
50
EJEMPLOS:
5
1 1
a) ()2
=
32
b) (−3)4 =81
c) −3 4=−81
0
4 40
d) ()7
= 0 =1
7
3
−1 −1
−3
e) (−2 ) = ( )
2
=
8
3
1
4
f) y . y = y
−7 4−7
=y =−3
y ( )
c 9 9−5 4
g) =c =c
c5
h) ¿
5
x x5
i) ()2
=
32
3
j) ( 2 a3 b2 ) ( 3 a b 4 ) =( 2a 3 b 2 )( 27 a3 b12) =54 a 6 b 14
3 4
x y2 x x3 y8 x4 x7 y8 x7 y5
k) ( ) ( ) ( )(
y z
= 3
y z4
=
)y3 z4
= 4
z
6 s t −4 3 −2 3 s3
l) =3 s t =
2 s−2 t 2 t2
1
m) √3 −8=−8 3
n) √ ¿ ¿
o) √3 x 4= √3 x . x 3=x √3 x
p) √4 81 x 8 y 4 =3 x 2 y
1
q) 4 2 =√2 4=2
−1
1 1 1
r) 125 3 = 3
=3 =
125 √ 125 5
1 1
s) 3 4
= 3
√x x √x
1 7 1 7 17
t) a 2 a 3 =a 2 + 3 =a 6
2 7
5 5 2 7 3 6
a a + −
5 5 5 5
u) 3
=a =a
5
a
3 3 9
( )( ) 4 4 4 1 11
2x y 8x 4 2
v) 1
= y x =8 x 4 y3
3
−1
2
y
y x
1 1 5
w) (2 √ x ¿ ( 3 √3 x ) =2 x 2 3 x 2 =6 x 6 =6 √6 x 5
2
∗√ 3
x) 2 √ 3 2 3
= = √
√3 √3 3
EJERCICIOS:
a)
7
√ X 4 14 X 8 14 8 14 −3 14 5
b) 14 3 =
c)
√X √ X3
= √ X × √X = √ X
ANEXOS
NÚMEROS
COMPLEJOS
BIBLIOGRAFÍA