UNIVERSIDAD DE CARTAGENA.

PROGRAMA: INGENIERIA DE SOFTWARE I .

ASIGNATURA. FUNDAMENTOS DE MATEMÁTICAS.

UNIDAD N°1: LÓGICA Y CONJUNTOS.

ACTIVIDAD DE APRENDIZAJE N°1.

NOMBRE: KELLY JOHANA DORADO YÁNEZ

1. Construir la tabla de verdad para la conjunción, disyunción, implicación,

doble implicación.

TABLA DE VERDAD DE CONJUNCIÓN

La conjunción es un operador, que actúa sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones son verdaderas,
y falso en cualquier otro caso. Es decir, es verdadera cuando ambas son
verdaderas.
A B AɅB
V V V
V F F
F V F
F F F

TABLA DE VERDAD DE LA DISYUNCIÓN

La disyunción es un operador lógico que actúa sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando una de las proposiciones
es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
A B AVB
V V V
V F V
F V V
F F F

TABLA DE VERDAD DE IMPLICACIÓN ( CONDICIONAL)

La implicación o condicional es un operador que opera sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de falso sólo cuando la primera proposición es verdadera y la segunda falsa,
y verdadero en cualquier otro caso.

A B A→B
V V V
V F F
F V V
F F V
 TABLA DE VERDAD DE DOBLE IMPLICACIÓN (BICONDICIONAL)

La doble implicación o bicondicional es un operador que funciona sobre dos

valores de verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el
mismo valor de verdad, y falso cuando sus valores de verdad diferente.

A B A↔B
V V V
V F F
F V F
F F V

2. Construir tres ejemplos de cada proposición compuesta y

asignar en cada caso su valor de verdad.

EJEMPLOS D CONJUNCIÓN

A). Kelly estudia y trabaja a la vez. 

B). Hoy hay fiesta y esta lloviendo.
C). La comida esta buen y a buen precio y con calidad.

EJEMPLO 1

 Kelly estudia y trabaja.

A).  p= Estudia

q= Y Trabaja

Número de combinaciones= 2
n

El 2 se refiere a los valores de verdad que puede asumir un proposición

que está dentro de las conexiones lógicas( verdadero o falso)  y n  se
refiere al número de proposiciones simples que conforman la proposición
de la que queremos construir la tabla. 

Numero de combinaciones 22=2x2= 4

La tabla de veradad tendra 4 filas o renglones.

p q pɅq
v v v
v f f
f v f
f f f

EJEMPLO 2

 B) Hoy hay fiesta y esta lloviendo.

p=Hoy hay fiesta

q= Y Esta lloviendo
22=4
p q pɅq
v v v
v f f
f v f
f f f

EJEMPLO 3

 C). La comida esta buen y a buen precio y con calidad.

23=8
p q pɅq
v v v
v f f
f v f
f f f
v v v
v f f
f v f
f f f

EJEMPLOS DE DISYUNCIÓN

A) Hoy es dia de fiesta o amaneció lloviendo o esta soleado.

B) Sere cantante o futbolista.
C) Me llamo kelly o soy Ingeniera

EJEMPLO 1

 A) Hoy es dia de fiesta o amaneció lloviendo o esta soleado.

23= 8

p q pV q
v v v
v f v
f v v
f f f
v v v
v f v
f v v
f f f

EJEMPLO 2

 B)Sere cantante o futbolista.

22=4

p q pVq
V V V
V F V
 F V V
F F F

EJEMPLO 3

 C) Me llamo kelly o soy Ingeniera

22=4
p q qVq
v v v
v f v
f v v
f f f

EJEMPLOS DE IMPLICACIÓN O CONDICIONAL

A) Si no llueve entonces iremos a la playa

B) Si estudio entonces aprobare la materia entonces me graduare.
C) Si gano la loteria entonces ire de viaje

EJEMPLO 1

 A) Si no llueve entonces iremos a la playa

22=4
p q p→q
v v v
v f f
f v v
f f v

EJEMPLO 2

 B)Si estudio entonces aprobare la materia entonces me graduare.

23=8

p q p→q
v v v
v f f
f v v
f f v
v v v
v f f
f v v
f f v

EJEMPLO 3

 C)Si gano la loteria entonces ire de viaje

22=4
 p q p→q
v v v
v f f
f v v
f f v

EJEMPLOS DE DOBLE IMPLICACION O BICONDICIONAL

A)Voy a poder entrar a la universidad sí y solo sí apruebo el curso de

ingreso.
B) Aprobarás el examen sí y solo sí estudias.
C) Podrás tomar sol sí y solo sí hay cielo despejado.

EJEMPLO 1

 A)Voy a poder entrar a la universidad sí y solo sí apruebo el curso de

ingreso.

23=8

p q p↔q
v v v
v f f
f v f
f f v
v v v
v f f
f v f
f f v

EJEMPLO 2

 B) Aprobarás el examen sí y solo sí estudias.

22=4

p q p↔q
v v v
v f f
f v f
f f v
EJEMPLO 2
 C) Podrás tomar sol sí y solo sí hay cielo despejado.

22=4

p q p↔q
v v v
v f f
f v f
f f v

3. A que se llama una Tautología.

Entre las proposicones compuestas existen unas muy importantes por ser siempre
verdades sin tener en cuenta el valor de verdad de las proposiciones que la
conforman; este tipo de proposiciones reciben el nombre de tautologías. En otras
palabras, se dice que una tautología es una propociones que es verdadera en
todos los casos.
Demostrar que la proposición (p v q) → ( ~q → p) es una tautología. Para verificar
la validez de esta proposición es necesario realizar la tabla de verdad y comprobar
que en la última columna solamente aparecen valores verdaderos.

EJEMPLO
La proposición (p v q) → ( ~q → p) es tautología

p q pvq ~q ~p→q (pvq) →(~q→p)

v v v f v v
v f v v v v
f v v f v v
f f f v f v

 A que se le llama contradicción

Una proposición compuesta que es falsa en todos los casos independientemente

de los valores de verdad de las proposiciones que la conforman se llama
contradicción.

EJEMPLO
¿Es (p Λ ~ q) Λ q una tautología?
La proposición (p Λ ~ q) Λ q es una contradicción

p q ~q pΛ~q (p Λ ~ q) Λ q
v v f f f
v f v v f
f v f f f
f f v f f
Esta proposición es una contradicción porque todos los valores en la última
columna son falsos.

Dos proposiciones compuestas se consideran lógicamente equivalentes, si tienen

los mismos valores de verdad para cada opción de su tabla de verdad, es decir, si
las columnas finales de las proposiciones compuestas son iguales;
simbólicamente p ↔ q si solo si p ↔ q es tautología.

Ejemplo

Establecer si las proposiciones (p →.q) y (~ p v q) son lógicamente equivalentes.

Para esto, basta probar que (p → q) ↔ (~ p v q) es una tautología.
p q p→q ~p (~ p v q) (p → q) ↔ (~p v q)
v v v f v v
v f f f f v
f v v v v v
f f v v v v

Por lo tanto las proposiciones son equivalentes.

TAUTOLOGÍAS
Las tautologías permiten estructurar diferentes métodos de demostración que son
ampliamente utilizados en la matemática. De ahí la importancia de familiarizarse
con el simbolismo manejado y su correspondiente aplicación. A continuación se
estudiarán ocho tautologías conocidas también como leyes de la lógica.

 TAUTOLOGÍA TRIVIAL
Esta tautología establece que cualquier proposición es equivalente asimismo,
ésto es p ↔ p su tabla de verdad es:

p p↔p
v v
f v

La contradicción clásica o trivial es la proposición compuesta p Λ ~ q.

(p Λ ~ q). Contradicción trivial
p ~p pΛ~q
v f f
f v f

 LEY DE DOBLE NEGACIÒN

En la unidad anterior se enunció la ley de la doble negación y mediante una tabla

de verdad se probó que ~ (~ p) es una tautología, ahora construimos la tabla de
verdad de la proposición p ↔ ~ (~ p) para asegurarnos que las proposiciones son
lógicamente equivalentes.

Equivalencia entre p y ~ (~ p)
 p ~p (~ p) p ↔ ~ (~ p)
v f v v
f v f v

Tomemos las proposiciones

p: el acusado es inocente
~p: el acusado no es inocente, el acusado es culpable
~ (~ p): el acusado no es culpable
p ↔ q: el acusado es inocente es lógicamente equivalente a el acusado no es
culpable

 LEY DEL MEDIO EXCLUIDO

Esta tautología afirma que una proposición toma uno de los dos valores de
verdad (verdadero o falso), pero no ambas al tiempo. La siguiente tabla
permite realizar su demostración.

p ~p pv~p
v f v
f v v

Sean las proposiciones

p: es de día
~p: no es de día, es de noche
p v ~ p: es de día o es de noche

 RAZONAMIENTO
Se define razonamiento el proceso que se realiza para obtener una demostración
y se llama demostración al encadenamiento de proposiciones que, nos permite
obtener otra proposición (llamada conclusión) a partir de ciertas proposiciones
iníciales supuestas como verdaderas (llamadas premisas). Existen dos métodos
de razonamiento: directo e indirecto.

RAZONAMIENTOS DIRECTOS

Este método permite la formación de una cadena de proposiciones a partir de las

premisas, o de una consecuencia válida de una o varias de las proposiciones que
la preceden, hasta llegar a deducir la conclusión. E este razonamiento también
recibe el nombre de Modus Ponendo Ponens o regla de separación. Para
representar simbólicamente este argumento se utilizan dos premisas y una
conclusión, así:
p →q llamada premisa mayor
p llamada premisa menor
q llamada conclusión

De tal forma que la representación queda:

((p → q) Λ p) →q

La siguiente tabla de verdad demuestra que esta proposición es una tautología,

con la cual queda probada la validez de la representación simbólica.

p q p→q (p → q) Λ p ((p → q) Λ p) →q
 v v v v v
v f f f v
f v v f v
f f v f v

Si el software está bien instalado, entonces los alumnos realizarán la guía. El

software quedó bien instalado, por lo tanto los alumnos deben realizar la guía. En
este ejemplo se puede distinguir

1. Premisa mayor: Si el software está bien Instalado entonces, los alumnos

realizarán la guía
2. Premisa menor: El software está bien instalado.
3. Conclusión: Los alumnos realizaron la guía

RAZONAMIENTO INDIRECTO
La base fundamental para la aplicación de este método es el principio lógico de no
contradicción, el cual establece que no pueden ser ciertas la afirmación y la
negación de una misma proposición. Esta técnica consiste en suponer falsa la
proposición que se quiere demostrar, por lo tanto su negación es verdadera y
partiendo de esta última se demuestra que la misma no tiene validez, esto significa
que se ha llegado a una contradicción. Este razonamiento también se conoce con
el nombre de "Modus ToIlens” razonamiento de negación del consecuente. La
representación simbólica de este argumento está dada por:

((p → q) Λ (~ q)) → (~ p)

P →q se denomina premisa mayor

-q se denomina premisa menor
-p se denomina conclusión

La siguiente tabla de verdad prueba que esta representación simbólica del método
indirecto es una tautología.

p q P→Q ~q (p → q) Λ ~ q ~p ((p → q) Λ (~ q)) → (~ p)

v v v f f f v
v f f v f f v
f v v f v v v
f f v v v v v

 LEY DE LA TRANSITIVIDAD
Esta tautología (también llamada silogismo hipotético) considerada cadenas largas
de razonamiento mediante la convección de varias proposiciones de la forma si –
entonces:
La transitividad se expresa simbólicamente así:

((p → q) Λ (q →r)) → (p → r)

La siguiente tabla demuestra esta ley.

p q r p→q p→r (p → q) Λ(q →r) p→r 1→ 2

 v v v v v v v v
v v f v f f f v
v f v f v f v v
v f f f v f f v
f v v v v v v v
f v f v f f v v
f f v v v v v v
f f f v f f v v

LEY DE LA CONTRARRECÍPROCA

Esta ley fue enunciada y probada en la unidad anterior sección 3.5, quedando
como conclusión que una proposición podía ser remplazada siempre por su
contrarrecíproca sin afectar su valor de verdad; en esta sección abordamos las
siguientes proposiciones con su correspondiente contrarrecíproca.

PROPOSICIÓN CONTRARRECÍPROCA

Proposición
1. p→q ↔ ~p→~q
2. p→~q ↔ ~(~q)→~p ↔ q →~p
3. ~p→q ↔ ~q→~(~p) ↔ ~q→p
4. ~p→~q ↔ ~(~q)→~(~p) ↔ q →p

P →~ q ↔ q →~ p

Contrarrecíproca de la proposición P →~ q

p q ~q P →~q ~p q→~p (p →~q) ↔ (q→~p)

v v f f f f v
v f v v f v v
f v f v v v v
f f v v v v v

Una proposición puede ser reemplazada por su contrarrecíproca sin afectar su

valor de verdad.

SILOGISMO DISYUNTIVO
Esta tautología supone la disyunción p v q verdadera, para el caso en que p es
falsa y q es verdadera, con lo cual se tiene que ~ p es verdadera. Teniendo como
premisas (o hipótesis) p v q verdadera y ~ p verdadera, este silogismo permite
concluir q.

Simbólicamente tenemos
((p → q) Λ ~ p) → q y su demostración se realiza mediante la siguiente tabla:

p q Pvq ~p (p v q ) Λ ~p ((p v q ) Λ ~p) →q

v v v f f v
v f v f f v
f v v v v v
f f f v f v
4. Escribe cinco ejemplos de conjuntos dados por extensión y
comprensión.

CONJUNTO: Colección de cualquier tipo de objetos considerada como un todo, esto es,
una multiplicidad vista como unidad. Es toda entidad completa bien determinada.

Los objetos que forman el conjunto son llamados elementos o miembros del conjunto y
se representan con letras minúsculas, además los conjuntos son representados con letras
mayúsculas y gráficamente por curvas cerradas llamadas diagramas de Venn.

Ejemplo: El conjunto A cuyos elementos son las letras vocales se escribe como A = a, e,
i, o, u y su representación gráfica es:

a e i o u

DETERMINACIÓN DE CONJUNTOS

Es el proceso que consiste en establecer con precisión si un elemento pertenece o no a

un determinado conjunto, las formas de determinar un conjunto son la de extensión y la
de comprensión.

 CONJUNTO POR EXTENSIÓN

Consiste en nombrar o escribir todos los elementos que forman el conjunto; por ejemplo
el conjunto C = {5, 1, 7, 3} está determinado por extensión.

Ejemplo 1: A = {a, e, i, o, u} es un conjunto en el que se indican todos sus elementos, por

lo tanto se trata de un conjunto por extensión.

A
a e i o u

Ejemplo 2: C = {2, 4, 6, 8, 10} es un conjunto en el que se indican todos sus elementos,

por lo tanto es un conjunto por extensión
C

2 4 6 8 10

Ejemplo 3: Z= { 1,3,5,7,9,11,13,15}

1 3 5 7 9 11 13 15
Ejemplo 4 M={ lunes, martes,miercoles,jueves,viernes,sabado,domingo}
M

Lunes martes miercoles jueves viernes sabado

domingo

Ejemplo5

F={ enero,febrero,marzo,abril,mayo,junio,julio,agosto,septiembre,octubre,noviembre,diciembre
}

F
Enero,febrero,marzo,abril,mayo,junio,julio,agosto,septiembre,octubre,
noviembre,diciembre

 CONJUNTO POR COMPRENSIÓN

Consiste en utilizar una función proposicional cuyo conjunto de verdad es el conjunto que
se define. Cuando se da una propiedad que la cumplan todos los elementos.

Ejemplo 1: Si A = {1, 3, 5, 7}, por comprensión será A = {x/ “x es número impar menor
que 7”}, cuya lectura es “ A es el conjunto de todas las x tal que x es un número impar
menor que 7”.

Ejemplo 2 : El conjunto M = a, e, i, o, u escrito por extensión, al pasarlo a la forma de

comprensión queda como M = {x / “x es una vocal”}.

Ejemplo 3: E= { x ̸/ x es un mes del año}, E es el conjunto de los elementos x tal que x es

un mes del año. E={enero, abril,agosto}

Ejemplo 4: P= { X / X es una estación del año}, P es un conjunto de los elementos x tal

que x es una estación del año. P={ Otoño, primavera, verano, invierno}

Ejemplo 5: Z={ X / X son numeros impares menor a 10}, Z es un conunto de elementos x

tal que x es un numero impar menor a 10. Z= {1,3,5,7,}
5. A qué se llaman Diagramas de Venn Euler. Representa tres
conjuntos mediante diagramas de Veen Euler

DIAGRAMA DE VENN EULER

Un diagrama de Venn usa círculos que se superponen u otras figuras para ilustrar
las relaciones lógicas entre dos o más conjuntos de elementos. A menudo, se
utilizan para organizar cosas de forma gráfica, destacando en qué se parecen y
difieren los elementos. Los diagramas de Venn, también denominados "diagramas
de conjunto" o "diagramas lógicos", se usan ampliamente en las áreas de
matemática, estadística, lógica, enseñanza, lingüística, informática y negocios.Se
usan para hacer un análisis detallado y para representar cómo se relacionan los
elementos entre sí dentro de un "universo" o segmento determinado. Los
diagramas de Venn permiten a los usuarios visualizar los datos de forma clara y
con gran alcance y, por este motivo, se utilizan comúnmente en presentaciones e
informes. Se relacionan estrechamente con los diagramas de Euler, pero se
diferencian en que estos últimos omiten los conjuntos si estos no contienen
elementos. Los diagramas de Venn muestran las relaciones incluso si un conjunto
está vacío.
EJEMPLO 1

CONJUNTO A: Perro, pájaro,hamster

CONJUNTO B: Perro,gato,pez

CONJUNTO C: Perro,gato,tortuga,serpiente

A B

Pájaro
Pez

Hamster Perro

Gato

Tortuga

Serpiente

C
EJEMPLO 2

CONJUNTO C: Casa,carro,moto
CONJUNTO D: Avión, bicicleta,casa

C D

Carro Bicicleta
Casa
Moto Avión

EJEMPLO 3

CONJUNTO E: Libro,cuaderno,lapiz,borrador
CONJUNTO F: Lapiz,bolso,vaso,cuaderno
CONJUNTO G: bolso, vaso, carro,moneda

E
F

Cuaderno

Libro Lápiz

Borrador
Bolso

Vaso

Carro

Moneda

G
 6. Escribe tres ejemplos de unión entre conjuntos, representar en diagramas
de Venn, tres de intersección entre conjuntos, representar en diagramas de
Venn Euler.

Unión de dos conjuntos: ∪

Cada círculo o elipse representa una categoría. La unión de dos conjuntos está
representada por ∪.

EJEMPLO 1

Este es un diagrama de Venn de dos círculos. El círculo verde es A y el círculo

azul es B. El diagrama de Venn completo representa la unión de A y B, o bien, A ∪
B.
A U B

A B

EJEMPLO 2

C={José, Jerónimo}, D={María, Andrea, Juliana}; CUD={ José, Jerónimo, María,

Mabel, Marcela}
C U D

C
D
Maria
Jose Andrea
Jeronimo Juliana
EJEMPLO 3

P= { Pera, manana} C= { Limón, naranja} F= { Cereza,arandanos}

PUCUF={Pera,manzana,limon,naranja,cereza,arandanos}

PUCUF

C
P
PERA LIMON

MANZANA NARANJA

CEREZA

ARANDANOS

INTERSECCIÓN ENTRE CONJUNTOS : ꓵ

Al crear un diagrama de Venn, con frecuencia nos interesamos en la intersección
de dos conjuntos, es decir, los elementos compartidos entre las categorías.

EJEMPLO 1

A={ 1;2;3;6} B={2;4;6;7:8}

A ꓵ B : {2:6}

4
A 1 2
7 B
3 6
8
 B

EJEMPLO 2
C
B={2;4;6;7:8}
C= {4;7;8} 4
B ꓵ C= {4;7:8}
2 7

6 8

EJEMPLO 3 M
N

M={2;4;6;8;9}
N={4;6;9} 2

8 4
M ꓵ N={4;6;9}
6

7. Definir la diferencia simétrica y mostrar dos ejemplos

La Diferencia Simétrica:
En Teoría de Conjuntos se define la Diferencia Simétrica entre dos
conjuntos como la operación en la que resulta un conjunto de elementos que
pertenecen a alguno de los dos excepto a los que pertenencen a ambos.
La Diferencia Simétrica se representa mediante Diagramas de Venn de la
siguiente forma y simbolo ∆.
EJEMPLO 1
Sean los conjuntos
A={1;2;3;6} B={2;4;6;8}

4
1 2
7
3 6
8

A∆B={1;3;4;7;8}

EJEMPLO 2

Sean los conjuntos

A={1;3;5;6}
B={3,5,7}

B
1
3
A
7
5
6

A∆B={1;6;7}