ANALISIS BASADO EN PROBLEMAS

TEORIA DE CONJUNTOS

TABLAS DE VERDAD

INTEGRANTES:

LINETH BUSTAMANTE

DOCENTE:

ARIEL FIGUEROA

CARTAGENA

MARZO 2019

UNIVERSIDAD DEL SINÚ

ESCUELA DE INGENERIA INDUSTRIAL

 TABLA DE CONTENIDO

Portada ……………………………………………………................... 1

Tabla de contenido…………………………………………………….. 2

Introducción ……………………………………………………………. 3

Objetivos generales …………………………… …………………….. 4

Objetivos específicos…………………………………………………. 4

Decepción del problema……………………………………………… 5

Marco teórico………………………………………………………….. 6

Análisis y resultados ………………………………………………… 7

Conclusión …………………………………………………………….. 8

Bibliografía …………………………………………………………… 9
 INTRODUCCIÓN

Es importante la teoría de conjunto ya que a partir de la cual se pueden definir los siguientes
conceptos: par ordenado, relación, función, partición, orden, los números naturales, los
enteros, los racionales, los reales, los complejos, la estructura de grupo, anillo, cuerpo,
espacio vectorial, … La lista es muy, muy larga. Una enorme importancia que, sin embargo,
sólo afecta a matemáticos, lógicos y, en menor medida, a todos aquellos que se dedican a
tareas de programación informática.

Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus valores de verdad.
Nos dice si una fórmula es satisfacible. Si un razonamiento es válido o no. Constituye un
procedimiento de decisión que en un número finito de pasos nos dice si una fórmula es una
tautología o no. Toda tabla de verdad consta de dos tipos de columnas: las columnas de la
izquierda (llamadas de referencia) en donde se pondrán todas las posibilidades de verdad y
falsedad de las letras o variables proposicionales, y las columnas de la derecha que contienen
los valores de verdad de las funciones presentes en la fórmula.

Este análisis basado en problemas de la vida real ayuda Comprender y aplicar la teoría de
conjunto junto con tablas de verdades para la solución de problemas, teniendo en cuenta las
propiedades y elementos.
 OBJETIVOS GENERALES

Proporcionar los elementos básicos y conceptos de la lógica matemática, con los temas de
teoría de conjuntos y tablas de verdad, necesarios para el estudio más profundo de los
fundamentos de las matemáticas y aplicarlos a la vida real.

OBJETIVOS ESPECÍFICOS

 Distinguir los diferentes tipos de razonamiento usados como el tema de las tablas de
verdad y teoría de los conjuntos
 Enunciará las principales reglas de inferencia lógica.
 Podrá distinguir entre razonamientos válidos y razonamientos inválidos.
 Podrá distinguir los tipos de demostraciones utilizados en matemáticas.
 Dará ejemplos de formalizaciones lógicas en las matemáticas.
 Comprenderá la importancia de la lógica simbólica en el estudio de los fundamentos
de las matemáticas.
DESCRIPCIÓN DEL PROBLEMA

1.1. Todos los empleados de la universidad del sinu, son graduados universitarios, algunos
son especialistas universitarios, por lo tanto, algunos son empleados y especialistas.

1.2. Si el aumento de las multas de tránsito fuera suficiente para reducir los niveles de
infracciones la lista de multas iría bajando, pero es un hecho que el lugar de ir bajando, las
multas de tránsito van creciendo.

MARCO TEÓRICO

Noción intuitiva de conjunto

Un conjunto es la reunión en un todo de objetos bien definidos y diferenciables entre si, que
se llaman elementos de este. Si a es un elemento del conjunto A se denota con la relación de
pertenencia a Î A.
En caso contrario, si a no es un elemento de A se denota aÏ A.

Ejemplos de conjuntos:

 Æ : el conjunto vacío, que carece de elementos.

 N: el conjunto de los números naturales.
 Z: el conjunto de los números enteros.
 Q : el conjunto de los números racionales.
 R: el conjunto de los números reales.
 C: el conjunto de los números complejos.

Se puede definir un conjunto:

 por extensión, enumerando todos y cada uno de sus elementos.

 por comprensión, diciendo cuál es la propiedad que los caracteriza.

Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se define por
extensión, o su propiedad característica, si se define por comprensión. Por ejemplo:

A:= {1,2,3, ... ,n}

 B:= {pÎ Z | p es par}

Se dice que A está contenido en B (también que A es un subconjunto de B o que A es una

parte de B), y se denota A Í B, si todo elemento de A lo es también de B, es decir,
a Î A Þ a Î B.

Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultáneamente A Í B y

B Í A; esto equivale a decir que tienen los mismos elementos (o también la misma propiedad
característica).

Para cualquier conjunto A se verifica que ÆÍ A y A ÍA; B Í A es un subconjunto propio de

A si A ¹ Æ y B ¹ A.

El conjunto formado por todos los subconjuntos de uno dado A se llama partes de A, y se
denota à (A). Entonces, la relación B Í A es equivalente a decir B Îà (A). Ejemplos:

Si A = {a,b} entonces à (A) = {Æ ,{a},{b},A}.

Si a Î A entonces {a} ÎÃ (A).

Cuando en determinado contexto se consideran siempre conjuntos que son partes de uno dado
U, se suele considerar a dicho U como conjunto universal o de referencia.

Operaciones entre conjuntos

Dados dos conjuntos A y B, se llama diferencia al conjunto A - B := {a Î A | a Ï B}.

Asimismo, se llama diferencia simétrica entre A y B al conjunto A D B := (A - B) È (B - A).

Si A Î Ã (U), a la diferencia U - A se le llama complementario de A respecto de U,

y se denota abreviadamente por A' (U se supone fijado de antemano).

Es fácil ver que si A y B son subconjuntos cualesquiera de U se verifica:

 Æ'=U.
 U'=Æ.
 (A')' = A .
 A Í B Û B' Í A' .
 Si A = { x Î U | p(x) es una proposición verdadera} entonces A' = { x Î U
| p(x) es una proposición falsa}.
 Se llama unión de dos conjuntos A y B al conjunto formado por objetos que son elementos
de A o de B, es decir: A È B := { x | x Î A Ú x Î B}.

Se llama intersección de dos conjuntos A y B al conjunto formado por objetos que son
elementos de A y de B, es decir: A Ç B: = {x | x Î A Ù x Î B}.

Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fácil ver que A - B

= A Ç B'. En este caso, la llamadas operaciones booleanas(unión e intersección) verifican
las siguientes propiedades:

PROPIEDADES UNION INTERSECCION

1.- Idempotencia AÈA=A AÇA=A
2.- Conmutativa AÈB=BÈA AÇB=BÇA
3.- Asociativa A È (B È C) = (A È B ) È C A Ç (B Ç C) = (A Ç B ) Ç C
4.- Absorción A È (A Ç B) = A A Ç (A È B) = A
5.- Distributiva A È (B Ç C ) = ( A È B ) Ç ( A È C ) A Ç (B È C) = ( A Ç B ) È ( A Ç C )
6.- Complementariedad A È A' = U A Ç A' = Æ

Relación entre la teoría de conjuntos y la lógica proporcional

Existe una relación muy estrecha entre la Teoría de Conjuntos y la Lógica

Proposicional. Para mostrar dicha relación, denotemos por letras mayúsculas A, B ... los
conjuntos y por las correspondientes minúsculas a, b ... sus propiedades características (es
decir, la proposición lógica que caracteriza a los elementos de cada conjunto); entonces se
tiene la siguiente correspondencia:

conjuntos A Í B A = B A È B A Ç B A' A - B ADB

proposiciones aÞb aÛb aÚb aÙb a' a Ù b' a Ú b

Proporciones con cuantificadores

Los símbolos " (cuantificador universal) y $(cuantificador existencial) se utilizan en

Matemáticas para enunciar proposiciones lógicas relativas a objetos matemáticos. Sea A un
conjunto y p(x) una proposición o propiedad que hace referencia a un elemento x.

(1) Cuantificador universal: La expresión

" x Î A Þ p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la proposición

{x Î A: p(x) } = A

(2) Cuantificador existencial: La expresión

$ x Î A | p(x)

La negación de cualquiera de las dos proposiciones anteriores se realiza negando la

proposición p(x) y cambiando el cuantificador universal por el cuantificador existencial, o
viceversa. Así, la negación de la proposición "" x Î A Þ p(x)" es "$ x Î A | p(x)' ", mientras
que la negación de "$ x Î A | p(x)" es "" x Î A Þ p(x)' "

Lógica proposicional

Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de verdad
(1) o falsedad (0). Dada una proposición p, se define la negación de p como la
proposición p' que es verdadera cuando pes falsa y que es falsa cuando p es verdadera. Se lee
"no p". A partir de una o varias proposiciones elementales se pueden efectuar
diversas operaciones lógicas para construir nuevas proposiciones; en este caso, se necesita
conocer su valor de verdad o falsedad en función de los valores de las proposiciones de que
se componen, lo cual se realiza a través de las tablas de verdad de dichas operaciones. :

p p'
1 0
0 1

A continuación se describen las principales operaciones lógicas entre dos proposiciones p,q y
sus tablas de verdad:

Conjunción: es aquella proposición que es verdadera cuando p y q son verdaderas, y falsa en

cualquier otro caso. Se escribe p Ù q, y se lee "p y q".

p q pÙq
1 1 1
1 0 0
0 1 0
0 0 0
Disyunción: es aquella proposición que es verdadera cuando al menos una de las dos p o q
es verdadera, y falsa en caso contrario. Se escribe p Ú q, y se lee "p o q".

p q pÚq
1 1 1
1 0 1
0 1 1
0 0 0

Disyunción exclusiva: es aquella proposición que es verdadera cuando una y sólo una de las
dos p o q es verdadera, y falsa en cualquier otro caso. Se escribe p Ú q, y se lee "p o q pero
no ambas". Se usa muy poco.

p q pÚq
1 1 0
1 0 1
0 1 1
0 0 0

Condicional: es aquella proposición que es falsa únicamente cuando la condición suficiente p

es verdadera y la condición necesaria q es falsa. Se escribe p Þ q, y se lee "si p entonces q".

p q pÞq
1 1 1
1 0 0
0 1 1
0 0 1

Una proposición se dice que es una tautología si su valor de verdad es

siempre 1independientemente de los valores de las proposiciones que lo componen; por
ejemplo: p Ú p'.

Una proposición se dice que es una contradicción si su valor de verdad es

siempre 0independientemente de los valores de las proposiciones que lo componen; por
ejemplo: p Ù p'.
Una paradoja es una proposición a la que no se le puede asignar ningún valor de verdad;
suelen estar relacionadas con incorrecciones en el lenguaje lógico. Por ejemplo: p="la
proposición p es falsa".

Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de verdad en función

de las proposiciones elementales que lo componen; esta definición equivale a decir que la
proposición p Û q es una tautología. Por ejemplo, las proposiciones.

ANÁLISIS Y RESULTADOS

TEORÍA DE CONJUNTOS.

A: Todos los trabajadores son graduados y especialistas.

I: Algunos de los trabajadores son graduados universitarios.

C: Algunos universitarios son grandes especialistas.

A A, I B

TABLA DE VALORES

P: el aumento de las multas multas de tránsito.

Conector lógico: Suficiente (entonces).

Q: Disminuye los niveles de multas de tránsito.

Conector lógico: (entonces).

Y: El índice de multas de tránsito disminuye

Conector lógico: pero (conjunto).

Z: El número de multas de tránsito aumentan en símbolos.

 TABLA DE LA VERDAD

DISYUCION CONJUNCION CONDICIONAL BICONDICIONALDISYUCION EXCLUISVA

P Q POQ PYQ P-Q P=Q P &Q
V V V V V V F
V F V F F F V
F V V F V F V
F F F F V V F

P Q POQ PYQ P-Q P=Q P &Q

V V V V V V F
V F V F F F V
F V V F V F V
F F F F V V F

1. (p) en la potenciación, existe el exponente elevado a cero. (q) cuando esta propiedad
se da la respuesta es 9.
2. (p)existen 4 tipos de expresiones algebraicas. (q)los binomios están compuestos por
3 términos.
3. (p) signos diferentes se suman y se coloca el signo del menor. (q) multiplicar signos
diferentes da una respuesta negativa.
4. (p)en las fracciones, si tenemos factores comunes en numerador y denominador se
pueden cancelar por el principio fundamental de las fracciones. (q)la suma de
fracciones se hace de forma lineal, numerador por numerador y denominador por
denominador.
5. (p) en la suma de expresiones algebraicas, los términos con coeficiente igual y
exponentes diferentes se suman. (q) en la multiplicación de expresiones algebraicas
los exponentes de coeficiente igual se suman.
6. (p)la raíz cuadrada de 9 es 3. (q) la raíz cuadrada de 3 es 1.
7. (p) la raíz de cualquier grado de una raíz se obtiene multiplicando los índices de
ambas raíces. (q) no se pueden multiplicar radicales con el mismo índice.

8. (p)la raíz cubica exacta de 216 es 6. (q) la raíz cuadrada cubica exacta de 125 es 4
 CONCLUSIÓN

La idea principal de este trabajo es aprender el concepto de teoría de conjuntos y tablas de

verdad, la forma en que se pueden formar proposiciones compuestas usando los conectores
lógicos, representar enunciados por medio de simbología lógica, conocer los conceptos de
tautología, equivalencia lógica, regla de inferencia. Realizar demostraciones de teoremas por
medio del método directo y contradicción. Pero con problemas que sean familiares e
interesantes. Se trata de que en cada uno de los subtemas participe proponiendo sus propios
ejemplo y que sobre todo al final de la unidad se tenga habilidad, confianza e iniciativa para
inferir posibles soluciones.
 BIBLIOGRÁFIA.

UNICAUCA.EDU.CO, matemáticas eventos lógico material: Elementos Lógica

Textos Biblioteca, Libro_008 Logica_Matematica.htm.

WMATEM, EIS, UVA ESMATPAG, contenidos conjuntos: marco conjuntos.