TALLER 1 TRABAJO GRUPAL

Integrantes:
 IVAN ARIAS
 JEFFERSON BOWEN
 LISSETH MINDIOLAZA
 PEDRO PARRAGA
1. Este taller corresponde a una actividad que deben resolver de manera grupal.
2. En cada caso escribir el enunciado y el número del ejercicio que está resolviendo.
3. Escanear de manera LEGIBLE los ejercicios y su respectiva solución colocarlos en
un archivo en formato PDF.
4. En la lista de actividades, dar click en TALLER 1 y adjuntar el archivo. (Si el
archivo es muy pesado, puede guardar el documento en el DRIVE y solamente pegar su
respectivo enlace en la plataforma.)
Ejercicios
1) En cada caso determine cuáles de los siguientes enunciados son proposiciones y
cuáles no. Justifique su respuesta.

N° Enunciados Respuesta

1 Si es una proposición, se puede determinar su

3 + 7 = 10. veracidad. En este caso es verdadero.
2 Si es una proposición, se puede determinar su
La división entre cero es
imposible. veracidad. En este caso es verdadero.
3 Si es una proposición, se puede determinar su
El cuadrado de todo
veracidad. En este caso es falso.
número impar es par.

2) Escriba la negación de cada una de las siguientes proposiciones.

N° Enunciados Respuesta

1 Algunos enteros son Algunos enteros n o son negativos.

negativos.
2 Algunas personas no pagan Algunas personas pagan impuestos.
impuestos.
3 Ningún entero par es Algunos enteros pares son divisibles para 5.
divisible entre 5.

3) Traduce al lenguaje simbólico las siguientes proposiciones.

 N° Enunciados Respuesta

1 Pablo no es extraño y le P=Pablo es extraño

gusta leer libros de
matemáticas.
2 Patricia está comiendo,
bebiendo y divirtiéndose.
3 Juan está aquí y María ha
salido.
El área del triángulo ABC
4 es igual al área del
triángulo DE F o el área
del triángulo ABC es
menor que el área del
triángulo DE F.
2 es un número primo o 4
5 es un número
par.
q=Le gusta leer libros de matemática
¬p˄q
P = Patricia está comiendo
Q = Patricia está bebiendo
r = Patricia se está divirtiéndose
p ˄ (q ˄ r )
P= Juan está aquí
q= María ha salido
p˄q
P= El área del triángulo ABC es igual al
área del triángulo DE F
q= el área del triángulo ABC es menor que el área
del triángulo DE F.
p˅q
P= 2 es un número primo
q= María ha salido
p˅q

4) Escriba (en lenguaje cotidiano) 4 proposiciones compuestas que tengan más de 2

conectivos. Debe estar claro cuál es el conectivo lógico de la proposición.

 Hoy voy al parque a jugar o hace sol y no voy al parque.

 Aprobaremos el curso, solo sí estudiamos
 Llegue tarde porque estaba lloviendo y los semáforos estaban dañados o se fue
la luz.
 La suma de los cuadrados de ambos catetos es igual al cuadrado de la
hipotenusa, si se trata de un triángulo rectángulo.

5) Escriba el recíproco y el contrarrecíproco de las siguientes proposiciones.

1. Si 2 + 2 = 4, entonces 2 + 4 = 8.
Reciproco Sí 2 + 4 = 8, entonces 2 + 2 = 4
Contrarrecíproco Sí 2 + 4 ≠ 8, entonces 2 + 2 ≠ 4

2. Si a es un número real y a > 0, entonces a2 > 0.

Reciproco Sí a2 > 0, entonces a > 0 Sí es un número real
Contrarrecíproco Sí a2 < 0, entonces a < 0 No es número real
3. Una condición suficiente para que una función sea acotada es que la función
sea integrable.
Si una función es integrable, entonces es acotada.
 Reciproco Si una función es acotada, entonces es integrable
Contrarrecíproco Si una función no es acotada, entonces no es integrable.

4. Una condición necesaria para que una función sea derivable, es que la función
sea continua.
Si una función es derivable, entonces es continua.
Reciproco Si una función es continua, entonces es derivable.

Contrarrecíproco Si una función no es continua, entonces no es derivable.

5. Para que un número sea par, es suficiente que el número sea divisible para 2.
Si un número es divisible para 2, entonces es par
Reciproco Si un número es par, entonces es divisible para 2

Contrarrecíproco Si un número no es par, entonces no es divisible para 2

6. Ser un número impar es condición necesaria para que ese número sea la suma
de un número par con un número impar.
Si un número es la suma de un número par con un número impar entonces es
impar.
Reciproco Si el número es impar, entonces ese número es la suma de un
número par con un número impar

Contrarrecíproco Si el número no es impar, entonces ese número no es la suma

de un número par con un número impar

7. Una condición suficiente para que un número sea par, es que sea la suma de
dos números impares.
Si un número es la suma de dos números impares, entonces este número es par.
Reciproco Si un número es par, entonces este número es la suma de dos impares
Contrarrecíproco Si un número no es par, entonces este número no es la suma de dos
impares

6) Junto a cada proposición dada a continuación se indica el tipo de proposición

compuesta a la que pertenece. Utilizando el rango de los conectivos lógicos, añada
paréntesis solamente donde sea necesario.
Ejemplo:
 Disyunción P ∨ Q ∧ R.
Esto nos dice que en la proposición P ∨ Q ∧ R el conectivo principal es ∨. Sabemos que
tanto ∨ como ∧ tienen el mismo rango en cuanto a su jerarquía (rango 2). Por lo tanto,
es
indispensable usar paréntesis para indicar cual es el conectivo principal. Así, la
respuesta es:
P ∨ (Q ∧ R).
N° Enunciados Respuesta

1 Condicional P → (Q ∨ R).
2 Conjunción (R → S) ∧ T.
3 Negación ¬ (P ∨ R).
4 Disyunción (P → Q) ∨ R.
5 Bicondicional (P∧ R) ↔ (Q ∨ ¬ R).

7) Construir la tabla de verdad de las siguientes proposiciones.

1. ¬(p ∧ q → q)
2. ¬(p ∧ q)
3. ¬(p → q).
4. ¬(p ∨ q).

1. ¬(p ∧ q → q)
p q p˄q p˄q→q ¬ p˄q→q
V V V V F
V F F V F
F V F V F
F F F V F

2. ¬(p ∧ q)
p q (p ∧ q) ¬(p ∧ q)
V V V F
V F F V
F V F V
F F F V

3. ¬(p → q).
p q (p → q) ¬(p → q)
V V V F
4. ¬(p ∨ q).
V F F V
p q (p ∨ q) ¬(p ∨ q)
F V V F
V V V F
F F V F
V F V F
F V V F
F F F V
8) Si VL(p)= v, VL(q)=v y VL(r)=f, halle el valor lógico de:

1. (p ∧¬ q )∧ r.

(V ∧¬ V )∧ F

(V ∧ F )∧ F

F ∧ F.

2. (p → q) ⊻ (¬ q → r).

(V → V) ⊻ (¬ V → F)

V ⊻ (F → F)

V⊻V

9) Si la fórmula proposicional ((¬ p → q) ∧ p) → ¬ q, es falsa halle VL(p) y VL(q).

((¬ p → q) ∧ p) →¬ q
VL(q)=V
((¬ p → V) ∧ p) →F
VL(p)=V
((¬ V → V) ∧ V) → F
((F → V) ∧ V) → F
(V∧ V) → F
V→F
F
10) Si la fórmula proposicional (m ∧¬r) → ((m ∨¬r) ↔ (¬ t → r)), es falsa halle VL(m),
VL(r) y VL(t).

(m ∧¬r) → ((m ∨¬r) ↔ (¬ t → r))

VL(m)=V

VL(r)=F

(V ∧¬F) → ((V ∨¬F) ↔ (¬ t → F))

(V ∧ V) → ((V ∨ V) ↔ (¬ t → F))

V→ (V ↔ (¬ t → F))

VL(r)=F

V→ (V ↔ (¬ F→ F))

V→ (V ↔ (V → F))

V→ (V ↔ F)

V→ F