includegraphics[width=paperwidth]USCO.

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

Mg. Mauricio Penagos

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 Vamos a resolver ahora la siguiente pregunta: ¾ Cuántas

SOBRE EL
NÚMERO DE funciones se pueden denir entre dos conjuntos no vacíos A y
FUNCIONES
QUE PUEDEN B?
DEFINIRSE
ENTRE DOS Ejemplo 1: Supongamos que A y B son conjuntos tales que
CONJUNTOS C(A) = n y C(B) = m, donde m, n ∈ Z+ . En tal caso veamos
NO VACÍOS
cuántas funciones f de A en B existen. Grácamente:
includegraphics[width=paperwidth]USCO.eps
Definición:

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

las operaciones binarias son también llamadas clausurativas o

leyes de composición interna.
includegraphics[width=paperwidth]USCO.eps

UN EJEMPLO Ejemplo 2: Sea A un conjunto y P(A) el conjunto potencia o

SOBRE EL
NÚMERO DE de partes de A. La unión “∪” entre conjuntos y la intersección
FUNCIONES
QUE PUEDEN “ ∩ ” entre conjuntos, son operaciones binarias en P(A).
DEFINIRSE
ENTRE DOS
CONJUNTOS
NO VACÍOS Consideremos ahora un conjunto nito A 6= ∅ y analicemos el
número de operaciones binarias o leyes de composición interna
que pueden denirse en A, es decir nos preguntamos ¾ Cuántas
operaciones existen en A? o ¾ Cuántas funciones se pueden
denir de A x A en A?, esto es
includegraphics[width=paperwidth]USCO.eps

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 Ejemplo 3: Si A = {0, 1} entonces es posible denir (22 )2 =

SOBRE EL
NÚMERO DE 24 = 16 operaciones en A. Estas operaciones son:
FUNCIONES
QUE PUEDEN
DEFINIRSE ∗ : {(0, 0), (0, 1), (1, 0), (1, 1)} −→ {0, 1}
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
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

A continuación se listan algunas tautologías, algunas con sus

respectivos nombres.

1. p∨ + p Ley del medio excluido.

2. [p ∧ (p ⇒ q)] ⇒ q Ley de separación.

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


9. p ⇔++ p(negación de p) Ley de doble negación

10. (p ⇒ q) ⇔ (+ q ⇒+ p) Ley de la contrarreciproca

includegraphics[width=paperwidth]USCO.eps

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

UN EJEMPLO 19. + (p∧ + p) Ley de la contradicción

SOBRE EL
NÚMERO DE
FUNCIONES
QUE PUEDEN 20. [(p∧ + q) ⇒ (r∧ + r) ⇔ (p ⇒ q)] Reducción al absurdo
DEFINIRSE
ENTRE DOS
CONJUNTOS
NO VACÍOS 21. ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r) Ley transitiva

22. (p ⇒ a ∨ b) ⇔ (+ b ⇒ (p ⇒ a))

23. (p ⇒ (q ⇒ r)) ⇔ (p ∧ q ⇒ r) Ley de la conmutación

24. (p ⇒ q) ∧ (p ⇒ r) ⇔ (p ⇒ q ∧ r)

25. [(r ∨ s) ∧ (r ⇒ s) ∧ (s ⇒ r)] ⇒ s

26. [q ∧ (+ p ⇒ q)] ⇒ q Ley del Modus Tollens

includegraphics[width=paperwidth]USCO.eps

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).

4 Ethan E.D. Bloch, Proofs and Fundamentals, 2nd. Edition,

Springer, (2011).
5 Escamilla A. Pinzón, Conjuntos y Estructuras, Harlan S.A
de C.V. México, (1973).
6 Courant R. Courant, ¾Qué es la Matematíca?, Aguilar,
(1979).
includegraphics[width=paperwidth]USCO.eps

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).

8 Puddus S. Puddu, Conjunto, Relaciones y Funciones,

Obtenido de
http://cms.dm.uba.ar/academico/materias/
2docuat2013/algebra_I/Conjuntos-Puddu.pdf,
(2013).

9 Pascual P.J. Iranzo, Apuntes de Lógica, Obtenido de

http://titan.inf-cr.uclm.es/www/pjulian/
teaching/sl_apLO.pdf, (1998).