clase del 16/5/11

Se trabajó el concepto de función, junto con sus tres tipos básicos: inyectiva, sobreyectiva y biyectiva.
Además vimos la "paradoja de Galileo" sobre la igualdad entre los cardinales de los naturales pares y los naturales.
La próxima clase tencremos una pequeña evaluación sobre Teoría de Conjuntos, luego comenzaremos con nuestro primer sistema lógico: Lógica Proposicional Clásica. Pero antes tendremos una pequeña introducción al concepto de sistema formal.