Documente Academic
Documente Profesional
Documente Cultură
eps
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE
ENTRE DOS
CONJUNTOS
UN EJEMPLO SOBRE EL NÚMERO DE
NO VACÍOS FUNCIONES QUE PUEDEN DEFINIRSE
ENTRE DOS CONJUNTOS NO VACÍOS
Universidad Surcolombiana
24 de enero de 2017
includegraphics[width=paperwidth]USCO.eps
Definición:
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE Una función f es una regla que asigna un único elemento de un
ENTRE DOS
CONJUNTOS conjunto B a cada elemento de un conjunto A. Dicho de otra
NO VACÍOS
manera, una función f es una relación entre dos conjuntos X
e Y tal que
i) Dominio de f es X .
ii) Si xf y y xf z , entonces y = z . Esto es, si (x, y) ∈ f , y
,(x, z) ∈ f entonces y = z
Observación: Si A = ∅ y B 6= ∅, existe la función vacía. Si
A 6= ∅ y B = ∅, no existe función alguna.
includegraphics[width=paperwidth]USCO.eps
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE Sea S 6= ∅. Una operación binaria u operación en S es una
ENTRE DOS
CONJUNTOS función de S X S en S , esto es:
NO VACÍOS
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE Es claro que si A tiene n elementos con n ≥ 1, es decir, si
ENTRE DOS
CONJUNTOS C(A) = n, entonces C(AxA) = n2 . Luego, por el ejemplo 2,
NO VACÍOS
poniendo X = AxA e Y = A, entonces podrían denirse
includegraphics[width=paperwidth]USCO.eps
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE
ENTRE DOS
CONJUNTOS
NO VACÍOS
includegraphics[width=paperwidth]USCO.eps
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE
ENTRE DOS
CONJUNTOS
NO VACÍOS
includegraphics[width=paperwidth]USCO.eps
UN EJEMPLO
SOBRE EL
NÚMERO DE Podemos vericar que los resultados encontrados arriba
FUNCIONES
QUE PUEDEN corresponden a las tablas de verdad de la Lógica Vivalente o
DEFINIRSE
ENTRE DOS Lógica Aristotélica para dos proposiciones p y q . En efecto, los
CONJUNTOS
NO VACÍOS resultados de las tablas de composición listadas anteriormente
dan lugar a las siguientes tablas de verdad:
includegraphics[width=paperwidth]USCO.eps
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE
ENTRE DOS
CONJUNTOS
NO VACÍOS
includegraphics[width=paperwidth]USCO.eps
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE
ENTRE DOS
CONJUNTOS
NO VACÍOS
includegraphics[width=paperwidth]USCO.eps
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN
DEFINIRSE
ENTRE DOS
CONJUNTOS
NO VACÍOS
3. (p ∧ q) ⇒ p; (p ∧ q) ⇒ q Leyes de simplicación.
includegraphics[width=paperwidth]USCO.eps
UN EJEMPLO
SOBRE EL
NÚMERO DE
FUNCIONES 4. p ⇒ (p ∨ q) Ley de adicción
QUE PUEDEN
DEFINIRSE
ENTRE DOS
CONJUNTOS 5. [(p ⇒ q) ∧ (r ⇒ q)] ⇔ [(p ∨ r) ⇒ q] Prueba de caos
NO VACÍOS
6. [(p ∨ q) ∧ + p] ⇒ q
Ley del absurdo
7. [(p ⇒ q) ∧ (p ⇒+ q)] ⇒+ p
8. (p∨ + p) ⇒ q
UN EJEMPLO
SOBRE EL 11. + (p ∧ q) ⇔ (+ p∨ + q)
NÚMERO DE
FUNCIONES
Leyes De Morgan
QUE PUEDEN 12. + (p ∨ q) ⇔ (+ p∧ + q)
DEFINIRSE
ENTRE DOS
CONJUNTOS
NO VACÍOS
13. (p ∧ q) ⇔ (q ∧ p)
Leyes conmutativas
14. (p ∨ q) ⇔ (q ∨ p)
15. [p ∧ (q ∧ r)] ⇔ [(p ∧ q) ∧ r]
Leyes asociativas
16. [p ∨ (q ∨ r)] ⇔ [(p ∨ q) ∨ r]
17. ((p ∧ (q ∨ r)) ⇔ (p ∧ q) ∨ (p ∧ r))
Leyes distributivas
18. ((p ∨ (q ∧ r)) ⇔ (p ∨ q) ∧ (p ∨ r))
includegraphics[width=paperwidth]USCO.eps
22. (p ⇒ a ∨ b) ⇔ (+ b ⇒ (p ⇒ a))
24. (p ⇒ q) ∧ (p ⇒ r) ⇔ (p ⇒ q ∧ r)
UN EJEMPLO
SOBRE EL
NÚMERO DE
Referencias
FUNCIONES 1 Fraleig J. B. Fraleigh, Álgebra Abstracta Primer Curso,
QUE PUEDEN
DEFINIRSE Addison Wesley Iberoamericana, (1988).
ENTRE DOS
CONJUNTOS
NO VACÍOS 2 Herstein I. N. Herstein, Álgebra Moderna, México: Trillas,
(1980).
3 Jose J.M. Muñoz, Introducción a la Lógica y la Teoría de
Conjuntos, Universidad Nacional de Colombia, (2002).
UN EJEMPLO
SOBRE EL
NÚMERO DE 7 Puddu S. Puddu, Combinatoria, Obtenido de
FUNCIONES
QUE PUEDEN http://cms.dm.uba.ar/academico/materias/
DEFINIRSE
ENTRE DOS 2docuat2015/algebra_I/Combinatoria-Puddu.pdf,
CONJUNTOS
NO VACÍOS (2015).