Conjuntos y Lógica Computacional

Curso
Herramientas de Lógica
Computacional
Teoría de Conjuntos
Concepto de Conjunto
Es una colección o agrupación de elementos, objetos, símbolos o
entidades bien definidas, que comparten entre si características y
propiedades semejantes.
Los conjuntos se identifican siempre con letras mayúsculas y a los

elementos o miembros de ese conjunto se le mete entre llaves, corchetes
o paréntesis [({,})], o representarlos en diagramas de Ven Euler
Ejemplo: D (a,b,c,d,e,f…,z)
Representación de Conjunto
-Por extensión: es decir nombrando cada uno de los elementos
Ejemplos:
S= {a, e, i, o, u} –
P={2, 4, 6, 8...}
A={gato, perro, canario, hamster…}
-Por Comprensión: Nombrando una propiedad, regla o característica

común de los elementos
Ejemplos:
S= {x/x es una vocal}
P= {x/x es un número par}
A= {x/x es un animal domestico}
Representación de Conjunto
-Representación grafica: Diagramas de Venn Euler
Clases de Conjunto
-Conjuntos Finitos: Tienen un numero limitado de elementos
-Conjuntos Infinitos: Los cuales Tienen un numero ilimitado de

elementos
Conjuntos Especiales:
-Conjunto Vacio: Lo que no tienen ningún elemento. { } ó 
-Conjunto universal: están conformado con todos los elementos que

se estén estudiando en el momento.
Conjuntos Especiales:
-Conjunto Vacio: Lo que no tienen ningún elemento. { } ó 
-Conjunto universal: están conformado con todos los elementos que

se estén estudiando en el momento.
Relación de Inclusión:
-Un Conjunto A esta contenido en un conjunto B, si todos lo s
elementos de conjunto A pertenecen al conjunto B se simboliza :
AB
-Ejemplo
A={a,c,d,g}
B={a,b,c,d,e,f,g,h}
AB
-Si algún elemento de A no esta en B, se dice que A no esta
contenido en B ó A no e s un subconjunto de B y se simboliza:
AB
Ejemplo A={a,c,d,}
B={a,b,c,e,f,g,h}
AB
Conjuntos disyuntos:
-Se dice cuando ninguno elemento de A esta en B
AB
-Ejemplo
A={5,4,8,9} B={1,2,3,7}
AB y BA
Subconjunto Propio:
-Se dice que es un subconjunto propio cuando A pertenece a B y
B pertenece a A se simboliza AB, se lee A es un subconjunto
propio de B o A es igual a B
Ejemplo:
Cardinal de un Conjunto:
-Se le llama cardinal de un conjunto al numero de elementos que
tiene un conjunto en si distintos. Se simboliza Card(A) o n(A)
-En Matemática hay muchos conjuntos que tienen cardinal

infinito como los Naturales (N), enteros (Z), Racionales (Q), los
Reales (R)
Determinación y clase de Conjuntos
B= {}
B=[]
n(B)= 0
vacio
Operaciones Entre
Conjuntos
Operaciones entre Conjuntos: Unión
AUB={1,2,3,4,5,6,7,8}
Operaciones entre Conjuntos: Intersección
Operaciones entre Conjuntos: Diferencia
A-B={1,2,4}
Operaciones entre Conjuntos: Diferencia simétrica
Operaciones entre Conjuntos: Conjunto Complemento
Ejemplo de operaciones con Conjunto
a. (AC)-B
b. (AB) C
c. (A-C)C
d. A(B-C)
e. (A  B)C
U= estudiantes de gestión deportiva=130
A= estudiantes que practican basquetbol=55
B= estudiantes que practican futbol=60
C= estudiantes que practican voleibol= 50
10 estudiantes practican los 3 deportes: ABC

18 estudiantes practican basquetbol y futbol: AB
20 estudiantes practican futbol y voleibol: BC
15 estudiantes practican voleibol y basquetbol: CA
=84
=8
=8
=79
=10
AB C (AUBUC)C (AB)C)C
(AUB)-(AB) AB  C
U: niños del colegio la esperanza
A: les gusta helados de arequipe=30
F: les gusta el helado de fresa=25
M: les gusta el helado de mora =20
12 – fresa y mora: FM
15 – arequipe y Fresa: AF
14 – Arequipe y Mora: AM
8- Mora, Fresa y Arequipe: MFA
8- ni mora, ni fresa, ni arequipe:
(AMF)c
U: niños del colegio la esperanza =50
A: les gusta helados de arequipe= 30
F: les gusta el helado de fresa= 25
M: les gusta el helado de mora=20
12 – fresa y mora: FM

15 – arequipe y Fresa: AF
14 – Arequipe y Mora: AM
8 - Mora, Fresa y Arequipe: MFA
8 - ni mora, ni fresa, ni arequipe
(AMF)c
=50
(MF)-A=4
= (AF)=15
(MU F)=33
(AUF)-(A F)=25
(MF A)=8
Teoría de Conjuntos U:
A=comercio internacional
B=administracion financiera
C=economia solidaria
A= le gusta el piano
B= les gusta la flauta
C= les gusta guitarra
Lógica de Predicados y Cuantificadores
Partimos de lo que es una proposición??
Proposición, es un enunciado que puede tener dos valores

absolutos Verdadero y Falso, donde nos referimos a un
sujeto concreto.
- Lógica computacional es una asignatura del programa
de sistemas de la universidad
- Pedro es primo de maría pero no amigo de José por
esta razón José no conoce a María.
- Los estudiantes que pertenecen a la asignatura de
lógica computacional ganaron la materia
Encontrar enunciados de este tipo:
- Algunas asignaturas pertenecen del programa de

sistemas de la universidad
- Cualquier persona tiene derecho a la vida
- Todos los seres vivos son mortales.
Así se definimos los predicados, son cuando los enunciados

ya parte de ser particular a general y puede ser cualquier
valor de ese grupo puede tomar particularidad es decir:
- Algunas asignaturas pertenecen del programa de

sistemas de la universidad.
- Lógica computacional pertenecen del programa de

sistemas de la universidad
U
U: Asignaturas de la universidad
A
A: Asignaturas del Programa de Sistemas
a: Lógica Computacional
•a
Donde (a) es una constante del conjunto.
Pero vamos a utilizar variables

representación genérica de cualquier
elemnto del conjunto, donde vamos a
representarlas con las letras minúsculas
(x,y,z…)
Ejemplo:
- Todas las asignaturas del pensum del programa de
sistemas son obligatorias:
P(x):x es una asignatura del pensum del programa de

sistemas.
Si definimos a:Lógica Computacional
P(a): lógica computacional es una asignatura del pensum

del programa de sistema.
Convirtiéndose en una proposición

Ejemplo:
P(x,y): x es padre de y
a: Pedro
b: Juan
P(a,b): Pedro es padre de Juan


sistemas.
DOMINIO: asignaturas del pensum del programa de

sistemas
DOMINIO DE VERDAD
Son los valores que hacen verdad los predicados, en este

caso las asignaturas del programa de sistemas.
Donde se puede tomar como dominio universal

todas las asignaturas de la UNIVERSIDAD

sistemas.
DOMINIO: asignaturas del pensum del programa de

sistemas
DOMINIO DE VERDAD
Son los valores que hacen verdad los predicados, en este

caso las asignaturas del programa de sistemas.
Donde se puede tomar como dominio universal

todas las asignaturas de la UNIVERSIDAD
Para hablar de los cuantificadores miremos estos ejemplos:

Datos de Contacto
Ing. Harold Jorge Olmos Miranda
Correo: holmos@poligran.edu.co
Teléfono: 3012813286
GRACIAS

Conjuntos y Lógica Computacional

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Conjuntos y Lógica Computacional

Cargado por

Copyright:

Formatos disponibles

Curso

Los conjuntos se identifican siempre con letras mayúsculas y a los

-Por Comprensión: Nombrando una propiedad, regla o característica

-Conjuntos Infinitos: Los cuales Tienen un numero ilimitado de

-Conjunto Vacio: Lo que no tienen ningún elemento. { } ó 

-Conjunto universal: están conformado con todos los elementos que

-Conjunto Vacio: Lo que no tienen ningún elemento. { } ó 

-Conjunto universal: están conformado con todos los elementos que

-En Matemática hay muchos conjuntos que tienen cardinal

10 estudiantes practican los 3 deportes: ABC

AB C (AUBUC)C (AB)C)C

12 – fresa y mora: FM

Partimos de lo que es una proposición??

Proposición, es un enunciado que puede tener dos valores

Encontrar enunciados de este tipo:

- Algunas asignaturas pertenecen del programa de

Así se definimos los predicados, son cuando los enunciados

- Algunas asignaturas pertenecen del programa de

- Lógica computacional pertenecen del programa de

Pero vamos a utilizar variables

P(x):x es una asignatura del pensum del programa de

Si definimos a:Lógica Computacional

P(a): lógica computacional es una asignatura del pensum

Convirtiéndose en una proposición

P(a,b): Pedro es padre de Juan

P(x):x es una asignatura del pensum del programa de

DOMINIO: asignaturas del pensum del programa de

Son los valores que hacen verdad los predicados, en este

Donde se puede tomar como dominio universal

P(x):x es una asignatura del pensum del programa de

DOMINIO: asignaturas del pensum del programa de

Son los valores que hacen verdad los predicados, en este

Donde se puede tomar como dominio universal

Para hablar de los cuantificadores miremos estos ejemplos:

Ing. Harold Jorge Olmos Miranda

También podría gustarte