Unidad 1

Proposición lógica: toda oración declarativa de la cual pueda decirse que es

verdadera o falsa, pero no ambas.

# Principios de la lógica
- De identidad: toda proposición es idéntica a sí misma y sólo a sí misma.
- De no contradicción: dadas dos proposiciones contradictorias entre sí, no
pueden ser ambas verdaderas.
- Del tercero excluido: dadas dos proposiciones contradictorias entre sí, no
pueden ser ambas falsas.

#Clasificación de proposiciones según su valor de verdad

- Tautología: proposición compuesta que siempre es verdadera, cualquiera
sean los valores de verdades de las proposiciones simples que la forman.
- Contradicción: proposición compuesta que siempre es falsa, cualesquiera
sean los valores de verdad de las proposiciones simples que lo forman.
- Contingencia: proposición compuesta que es verdadera o falsa, según los
valores de verdad de las proposiciones simples que la forman.

#Satisfacible: si existe alguna combinación de valores de verdad de las

proposiciones simples que la conforman, que la hagan verdadera.
# Implicación lógica: si para cualquier combinación de valores de verdad de las
proposiciones simples r1, r2, … y rn que hagan a P verdadera, resulta Q ser
también verdadera.

# Razonamiento deductivo: Dadas las proposiciones lógicas P1, P2, …, Pn llamadas

hipótesis o premisas, y una proposición Q denominada conclusión, llamaremos
razonamiento deductivo a la relación existente entre ellas.

➡ Un razonamiento válido recibe también el nombre de REGLA DE INFERENCIA

pues permite inferir la verdad de la conclusión desde la verdad de las premisas. De
un razonamiento inválido se dice que es una FALACIA.
Unidad 2

▶ Proposiciones lógicas: oraciones declarativas de las que puede determinarse su

valor de verdad, ya sea verdadero o falso.
x es un hombre
x ➡ objeto indeterminado (sujeto de la oración)
➡ tiene una propiedad (la de ser un hombre, el predicado)

Hasta especificar de qué objeto se trata, no puede confirmarse si el mismo posee o

no dicha propiedad.

▶ Función proposicional: toda oración declarativa que asigne una propiedad P (el
predicado) a objetos indeterminados x1, x2, …, xn y que se transforme en
proposición lógica al especificar esos objetos.

➡ Cuando una función proposicional se transforma en proposición lógica por la

asignación de valores específicos a cada variable interviniente, se dice que dicha
proposición se ha obtenido por especialización.

▶ Dominio o universo de discurso: Colección de objetos o valores que pueden

reemplazar las variables x1, x2, …, xn dándole sentido a la oración resultante,
transformándola en proposición lógica, ya sea verdadera o falsa.

➡ Colección U de objetos o valores que puedan reemplazar a los objetos

indeterminados para transformar la oración en proposición lógica.

▶ Cuantificadores y clases

Clase o categoría: colección de objetos de un universo de discurso que comparten

alguna propiedad o característica en común.
➡ Todos los objetos del dominio que convierten a P(x) en una proposición
verdadera, conforman una colección de elementos que tienen una característica en
común, la propiedad que enuncia en P.
➡ Si un objeto x posee la propiedad o característica que define una clase C,
diremos que es miembro o elemento de ella o que pertenece a ella. Se expresa:

“a pertenece a la clase C y b no pertenece a la clase C”

> Clase vacía: aquella clase que no posee ningún objeto como miembro; sea cual
sea el universo de discurso que se considere al hablar de clases y elementos, la
clase vacía es única. Se expresa con el símbolo: Ø
Cuantificadores universal y existencial ➡ cuantificación: transformar predicados en
proposiciones lógicas.

➡ Todo x posee la propiedad P, se escribe como ∀x: P(x) ➡ cuantificada

universalmente.
➡ Existe un x, que posee la propiedad P, se escribe como ヨx/P(x) ➡ cuantificada
existencialmente.
➡ El valor de verdad de la proposición cuantificada depende del dominio en el que
estemos trabajando, pero no de la variable x, por lo cual se dice que la variable x
está ligada o acotada por el cuantificador que le precede.

➡ Transformar una función proposicional en una proposición lógica mediante ➡

Especialización: asignando un valor específico del dominio a las variables de la
función proposicional.

Relaciones útiles entre predicados cuantificadores

1) Si un predicado cuantificado universalmente es verdadero, entonces el

mismo predicado cuantificado existencialmente es verdadero.
∀x: P(x) ⇒ ヨx/ P(x)
2) Negaciones de predicados cuantificados:
~[∀x: P(x)] ≣ ヨx/ ~P(x)
~[ヨx/ P(x)]≣ ∀x: ~P(x)
3) Sean dos predicados P(x) y Q(x) asociados a un mismo universo de discurso
U. Entonces se dice que:
a. P(x) implica lógicamente a Q(x), denotado P(x) ⇒ Q(x), si y sólo si, el
condicional simple P(a) ⇒ Q(a) es verdadero para cada elemento a de
dominio.
b. P(x) es lógicamente equivalente a Q(x), denotado P(x) ≡ Q(x) , si y sólo si, el
bicondicional P(a) ↔ Q(a) es verdadero para cada elemento a del dominio.
4) Pueden mezclarse cuantificadores de predicados de más de una variable,
pero teniendo cuidado.

▶ Proposiciones categóricas: establece una relación entre clases de objetos

(universales) o entre objetos y clases (particulares).
Forma de la proposición Nombre En símbolos
categórica

Todo miembro de A es Universal afirmativa ∀x: x∊A → x∊B

miembro de B

Ningún miembro de A es Universal negativa ∀x: x∊A → x∉B

miembro de B

Algunos miembros de A Particular afirmativa ヨx/ x∊A ៱ x∊B

son miembros de B

Algunos miembros de A Particular negativa ヨx/ x∊A ៱ x∉B

no son miembros de B

▶ Razonamiento deductivo con predicados cuantificados

➡ Para efectuar razonamientos deductivos con proposiciones categóricas se deben

agregar a la lógica dos nuevas reglas de interferencia:

Regla de especificación universal: Si ∀x: P(x) es una proposición verdadera en un

dominio D, entonces P(a) es verdadera para cada elemento de a de ese dominio.
Regla de generalización universal: Si P(x) es verdadera al reemplazar x con un
elemento c elegido de manera arbitraria (cualquiera tomado al azar) en el dominio
D, entonces la proposición ∀x: P(x) es una proposición verdadera en el dominio.

Unidad 3

▶ Inducción: vislumbrar nuevas verdades generales a partir de verdades particulares

conocidas, yendo de lo particular a lo general.

● Principio de inducción matemática: método de razonamiento para demostrar

la verdad o falsedad de ciertas proposiciones generales referidas a los
números naturales, haciendo uso de las propiedades que los números
naturales tienen por definición.

> Sucesión: lista ordenada de elementos, denominados términos de sucesión. Si

los elementos de la lista son números, entonces se dice que la sucesión es una
sucesión numérica.
➡ Secuencia de términos escritos uno a continuación del otro y separados por
comas.
➡ ak (“a subíndice k” o “a sub k”) Símbolo de un elemento de la sucesión y se lo
denomina un término de la sucesión. La k se denomina índice y señala la posición o
el orden del elemento en la secuencia.
➡ Las sucesiones pueden ser finitas o infinitas. Las infinitas suelen denominarse
con tres puntos finales (llamados puntos suspensivos o elipsis) que son la
abreviatura de “y así sucesivamente” a1, 12, a2, a3…

> Series

> Inducción matemática: técnica de demostración de proposiciones referidas a los

números naturales que se basa en las siguiente propiedades de su definición:
1) 0 es un número natural.
2) Si a es un número natural cualquiera, el número siguiente a+1 también es un
número natural.
3) Cualquier subconjunto no vacío de números naturales tiene un elemento
mínimo.
Propiedades axiomáticas para los números naturales ➡ se consideran verdades
evidentes que no requieren ser demostradas.

Teorema: Principio de inducción matemática

Una función proposicional F(n) referida a los números naturales es verdadera para
cualquier número natural n ≥ n0 si se satisfacen las siguientes dos condiciones:
➡ Base inductiva) la proposición F(n0) es verdadera para algún número natural n0.
➡ Paso inductivo) La veracidad de F(k) para cualquier número natural k ≥ n0 implica
lógicamente la verdad de F(k+1) para el número natural siguiente k+1.

➡ n0 es un número natural inicial para el cual la función proposicional F(x) se

transforma en una proposición lógica verdadera por especialización.
➡ La suposición de que F(k) es verdadera para algún número natural k mayor o
igual a n0 se denomina hipótesis inductiva.

▶ Método para la Demostracion por Induccion Matematica

Es necesario demostrar “Para todo número natural n ≥ n0 la propiedad F(n) es

verdadera.
1) Base inductiva: Demuestra que F(n) es verdadera para algún número natural
n0.
2) Paso inductivo: Demuestre para cualquier entero k n0, que si F(k) es
verdadera entonces F(k+1) es necesariamente verdadera.
3) Hipótesis inductiva: Suponga que F(k) es verdadera, (donde k es cualquier
entero elegido arbitrariamente, que cumpla k ≥ n0)
4) Demuestre que F(k+1) es verdadera usando en la demostración la Hipótesis
Inductiva.
▶ Justificación de la validez del método

Base inductiva ➡ logra demostrar que la proposición es cierta, tendremos:

F(n0) es verdadera
Paso inductivo ➡ Si F es cierta para cualquier k, entonces debe serlo para k+1

*Demostración directa: razonamiento en el cual se utilizan en secuencia lógica las

propiedades de los números naturales.

➡ Para demostrar la veracidad de una proposición por inducción matemática, las

dos condiciones (base y paso inductivos) deben verificarse, aun cuando la base
inductiva siempre parece muy sencilla demostrar frente a la demostración del paso
inductivo.

Unidad 4

Conjunto ➡ cualquier colección bien definida de objetos, los cuales reciben el

nombre de miembros o elementos del conjunto.
➡ “colección” ➡ se supone que un conjunto tiene varios elementos ya que no
tiene importancia el orden en el que se encuentren listados dentro del conjunto.
➡ “elementos distintos” ➡ no teniéndose en cuenta su repetición.
➡ “bien definida” ➡ fundamental en la definición intuitiva de conjunto. Un conjunto
está determinado o definido, si dado cualquier objeto x del universo puede
determinarse su pertenencia o no, al conjunto. La pertenencia de un elemento a un
conjunto será una proposición lógica.
➡ Se pueden escribir: como enumeración (o extensión) o por propiedad (defino que
propiedad cumple) - comprensión.

▶ Notación

> Pertenencia: un conjunto puede tener un número finito de elementos o un número

infinito de elementos.
Conjunto ➡ letras mayúsculas
Elementos ➡ letras minúsculas
“b ∉ A” ➡ el elemento b no pertenece al conjunto A.

> Determinación de un conjunto

Conjunto con número finito de elementos, puede determinarse o definirse

inequívocamente listando todos los elementos que lo componen. Con llaves ({}) y
separando sus elementos con coma o punto y coma.

> Conjuntos especiales

*Conjunto vacío Ø : aquel que no contiene elemento alguno.

*Conjunto unitario: aquel que posee un solo elemento.
*Conjunto universal: al cual pertenecen todos los elementos de los conjuntos bajo
estudio y se lo denomina U.

> Esquemas de Euler y diagramas de Venn

- Un rectángulo simboliza el conjunto universal (U).

- Cada elemento se representa con un (.) etiquetado con el elemento que
representa.
- Un conjunto se representa con una línea cerrada continua con un nombre,
encerrando a los elementos que contiene.

> Cardinalidad de un conjunto: cantidad de elementos que conforman un conjunto.

Se denota: |A|
➡ Se asigna como número 0 como cardinalidad del conjunto vacío: |Ø| = 0

▶ Relaciones entre conjuntos

> Igualdad de conjuntos: cuando dos conjuntos están formados por exactamente los
mismos elementos. A = B

➡ Dos representaciones o caracterizaciones del mismo conjunto.

➡ Todo conjunto es idéntico a sí mismo y sólo a sí mismo.

> Inclusión amplia: Si todo elemento de A es también elemento de B.

➡ A está incluido en B
➡ Cada elemento del primer conjunto es también elemento del segundo.

> Inclusión estricta: A está estrictamente incluido en B si todo elemento de A es

también elemento de B pero existe en B al menos un elemento que no pertenece a
A.

➡ Si ocurre que A ⊆ B, puede suceder que A ⊂ B o que A = B.

> Propiedades de las relaciones entre conjuntos

*De la igualdad:

➡ Propiedad reflexiva: todo conjunto es igual a sí mismo.

A=A

➡ Propiedad simétrica: si un conjunto es igual a otro, entonces este es igual al

primero.
A=B⇒B=A

➡ Propiedad transitiva: si un conjunto es igual a otro y este es igual a un tercero,

entonces el primero es igual al tercero.
(A = B ∧ B = C) ⇒ A = C

*De la inclusión: propiedades con carácter de teorema.

➡ Propiedad reflexiva: todo conjunto es subconjunto de sí mismo.

Hipótesis: sea A un conjunto cualquiera de un universal U
Tesis: A ⊆ A
Demostración: por definición de inclusión:

implicación que es verdadera para cualquier elemento del universal U.

➡ Propiedad transitiva: si un conjunto es subconjunto de otro y este es subconjunto

de un tercero, entonces el primero es subconjunto del tercero.
Hipótesis: sean A, B y C tres conjuntos definidos sobre el mismo universal U
tales que A ⊆ B y B ⊆ C.
 Tesis: A ⊆ C
Demostración: sea k un elemento cualquiera de A.

➡ Propiedad antisimétrica: si un conjunto es subconjunto de otro y este subconjunto

del primero, entonces los conjuntos son iguales.
Hipótesis: sean A y B dos conjuntos definidos sobre el universal U tales que
A ⊆ B y B ⊆ A.
Tesis: A = B
Demostración: por definición de igualdad de conjuntos

➡ Vacío siempre presente: el conjunto vacío está incluido en cualquier conjunto.

Hipótesis: Sea A cualquier conjunto.
Tesis: Ø⊆ A
Demostración: por definición de inclusión

➡ Unicidad del vacío: el conjunto vacío es único.

Hipótesis: Sea Ø el conjunto vacío.
Tesis: Ø es único.
Demostración: supongamos que existe otro conjunto vacío Ø’, debe
cumplirse que Ø⊆Ø por ser Ø el conjunto vacío y al mismo tiempo Ø’⊆Ø por ser Ø’
otro conjunto vacío.Son el mismo conjunto.

➡ Cardinalidad de conjuntos finitos incluidos uno en otro: si un conjunto finito está

incluido en otro también finito, entonces la cardinalidad del primero es menor o igual
a la cardinalidad del segundo.
Hipótesis: sean A y B dos conjuntos finitos definidos en U tales que A ⊆B
Tesis: |A| ≤ |B|
 :

▶ Operaciones: formas de crear nuevos conjuntos a partir de conjuntos conocidos.

> Complementación: conjunto formado por todos los elementos del conjunto
universal que no pertenecen al conjunto A. Se denomina: ∼A. Ā, A’ o A^c.

~A = {x/x∈U ∧ x∉A}
~A = {x/x∉A}

➡ El símbolo ~ refuerza la idea de negación de la proposición que establece la

pertenencia al conjunto (~(x∈A)

”el complemento de un conjunto A respecto de otro

cualquiera B”

> Dados dos conjuntos A y B, llamaremos complemento de A respecto de B al

conjunto de B - A (que leeremos B menos A o complemento de A relativo a B),
formado por todos los elementos de B que no pertenecen al conjunto A.

B - A = {x/x∈B ∧ x∉A}

> Intersección: conjunto formado por todos los elementos comunes de A y de B.

A ⋂ B = {x/x∈A ∧ x∈B}

➡ Dados dos conjuntos A y B con respecto a la intersección pueden presentarse

cuatro situaciones distintas.

a) Si los conjuntos no tienen elementos en común son disjuntos y su

intersección es el conjunto vacío.
b) Si los conjuntos tienen algunos elementos en común y otros no, su
intersección estará compuesta por los elementos ubicados en el área común
a ambos.
c) Si los conjuntos son iguales, entonces la intersección es el mismo conjunto A
o B.
d) Si uno de los conjuntos es subconjunto propio del otro, la intersección de
ellos es el subconjunto (el de menor cardinalidad).

> Unión: conjunto formado por todos los elementos comunes y no comunes de A y
de B.
A ሀ B = {x/x∊A ν x∊B}
➡ La operación es binaria ya que genera un nuevo conjunto a partir de dos
conjuntos dados.
➡ La unión cumple con la propiedad asociativa.

# Familia de conjuntos: conjuntos cuyos elementos son otros conjuntos. Conjunto de

conjuntos, clase de conjuntos o familia de conjuntos.
➡ Conjunto que tiene como componentes otros conjuntos.
Sea A = {{a}, {a, b}} un conjunto. Puede escribirse:
{a}∈A - b∉A - {b}⊈A - {{a, b}} ⊈A - a∉A - a∈{a} - {a, b}∈A

# Teoría de conjuntos

Concepto intuitivo de conjunto: colección bien definida de elementos.

➡ Hace referencia a varios objetos distintos sin un orden en específico.
➡ Se refiere a que la membresía de un elemento a un conjunto es una proposición
lógica.

Determinación o definición de un conjunto: determinar o definir un conjunto, es

especificar sin lugar a dudas cuáles son sus elementos. Esto puede hacerse de dos
formas:
• Por Extensión o Enumeración: se listan los elementos que forman parte del
conjunto, utilizando la siguiente notación: Nombre del conjunto = {elemento 1, …,
elemento n} Por ejemplo: V = {a, e, i, o, u} expresa que el conjunto V tiene los
elementos a, e, i, o y u.
• Por Comprensión: se especifican las propiedades que deben cumplir los
elementos para pertenecer al conjunto: Nombre del conjunto = {x / x tiene la
propiedad P} Por ejemplo: V = {x / x es una vocal española}; aquí la función
proposicional V(x):x es una vocal española será verdadera sólo para los elementos
del Dominio o Universo de Discurso que la conviertan en una proposición verdadera
– x / x se lee “x tal que x”.

Conjuntos Especiales:
• Algunos conjuntos no encajan en la definición intuitiva de conjunto, y por ello los
llamamos “especiales”:
Conjunto Vacío……: = {} es un conjunto sin elementos.
Conjunto Unitario.: A = {a} es un conjunto de un único elemento.
Conjunto Universal: U es el conjunto de todos los elementos bajo estudio.
Principio de dualidad ➡ Si T es un teorema del álgebra de conjuntos, entonces el
dual de T, denotado por T d , construido reemplazando los símbolos U, , , de T por
los símbolos , U, , , respectivamente, es también un teorema.

# Conjunto potencia: (familia de conjuntos de aplicación importante) Denotado como

P(A) o 2A, es la familia que tiene como elementos a todos los posibles subconjuntos
de A: P(A) = {X/ X ⊆ A}
➡ El problema de determinar P(A), osea conocer la pertenencia o no de un conjunto
X al conjunto potencia de A, se reduce a establecer si X está efectivamente incluido
en A.
➡ |P(A)| = 2^n (El cardinal del conjunto potencia siempre es 2 a la n, sino se cumple
entonces está mal identificado el conjunto)

# Partición de conjuntos: Dados los conjuntos no vacios A1, A2, A3, An, y un
conjunto B, llamaremos partición de B a la familia de conjuntos L = {A1, A2, A3,
An…} si se verifica que los conjuntos A son disjuntos de a pares y si para cada
elemento x de B, x pertenece a algún Ai con i = 1, 2, n… y no hay otros elementos
en los Ai.
➡ Las cantidades de particiones deben ser mayor o igual a 1.
➡ Conjuntos disjuntos de a pares ➡ la intersección entre dos subconjuntos
cualesquiera es vacío.
➡ Características: 1- el elemento vacío siempre es un elemento del conjunto
potencia.
2- los elementos son disjuntos entre sí.
3- la unión de ellos da el conjunto original.

➡ Si en los elementos partidos se repite un subelemento, entonces no es partición.

Ejemplo: L = {{1,2}, {2,3}, {4}}
# Par ordenado: dados dos objetos a y b, se denomina par ordenado al arreglo
ordenado de los mismos. Se dice que a es la primera componente del par ordenado
y que b es la segunda componente del par ordenado.
(a,b) = {{a}, {a,b}}

➡ (a,b) ≠ (b,a) a menos que se verifique a = b y basado en este hecho, se dice que
un par ordenado es igual a otro, si y sólo si, sus componentes correspondientes son
iguales.
(a,b) = (c,d) ↔ a = c ∧ b = d

# Producto cartesiano: conjunto cuyos elementos son todos los pares ordenados
que tienen como primera componente un elemento de A y como segunda
componente un elemento de B.

Propiedades: