TRABAJO GRUPAL

Grupo # 5
Integrantes:
 NORMA TERAN
 RAUL HEREDIA
 LUIS ALEXANDRE

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.)

Ejercidos:
1) En cada caso determine cuáles de los siguientes enunciados son proposiciones y cuáles
no. Justifique su respuesta.

Sí, es una proposición, porque es una

3 + 7 = 10 afirmación de la q se puede decir si es
verdadera o falsa.
No, es una proposición porque no se puede
¿Estás contenta? afirmar si la pregunta es verdadera o falsa
Sí, porque se puede decir que es una afirmación
La división entre cero es imposible.
pero está sujeta a la verificación
Sí, porque se puede decir que es una afirmación
El cuadrado de todo número impar, es par.
pero está sujeta a la verificación
No, porque no se conocen los valores de la
2x + y ≥ x variable (X , Y)

No todos los matemáticos son amargados.

1. Todos los matemáticos son amargados. No es cierto q todos los matemáticos son
amargados.

2. Algunos enteros son negativos. Algunos enteros no son negativos.

3. Algunas personas no pagan impuestos. Algunas personas s i pagan impuestos.

4. Ningún entero par es divisible entre 5. Todos los enteros pares son divisibles para 5
2) Escriba la negación de cada una de las siguientes proposiciones.
 3) Traduce al lenguaje simbólico las siguientes proposiciones.

1. Bertha y Elpidia son atractivas. P=Bertha es atractiva.

q= Elfidia es atractiva
p˄q
2. Como espinacas y estoy fuerte. P= Como espinacas.
q= estoy fuerte.
p˄q
3. Pablo no es extraño y le gusta leer libros P=Pablo no es extraño
de matemáticas. q=Le gusta leer libros de matemática
¬ p ˄ q
4. Patricia está comiendo, bebiendo y P = Patricia está comiendo
divirtiéndose. Q =bebiendo
r =divirtiéndose
p (q ˄ r )
5. El gordo Alberto vive para comer y no P= El gordo Alberto vive para comer
come para vivir. q= no come para vivir.
p ˄ ¬ q
6. Juan está aquí y María ha salido. P= Juan está aquí
q= María ha salido
p˄q
7. El área del triángulo ABC es igual al P= El área del triángulo ABC es igual al
área del triángulo DEF o el área del área del triángulo DEF
triángulo ABC es menor que el área del q= el área del triángulo ABC es menor que
triángulo DEF. el área del triángulo DEF.
p˅q
8. 2 es un número primo o 4 es un número P= 2 es un número primo
par. 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.

 Hoy llueve y llevo paraguas o hace sol y no llevo paraguas.

 11 es menor que 304 y 5 es menor o igual que 11.
 Llegue tarde porque avía mucho tráfico y los semáforos estaban dañados o se fue la luz.
 El computador maestro está activado y la puerta de la bóveda esta forzada o la puerta el
banco está abierta y el interruptor está cerrado.

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

1. Si 2 + 2 = 4, entonces 2 + 4 = 8.
 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.
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.
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).
8) Si VL(p)= v, VL(q)=v y VL(r)=f, halle el valor lógico de:

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

10) Si la fórmula proposicional (m ∧¬r) → ((m ∨¬r) ↔ (¬ t → r)), es falsa halle

VL(m), VL(r)
y VL(t).