Actividad Sumativa Nº2/Ponderación 25 %/Resolución de Ejercicios/Licdo.

José D Angulo/ Createc

Táchira/Secciones T1-T2/Disponible desde el 14/06/2021/Hora de inicio: 00:01am./Hasta
19/06/2021/Hora de Cierre 23:59 pm. (Hora Venezuela)/Fecha límite:24/07/2021/Hora: 23:59 pm.
(Hora Venezuela).
Buenos días jóvenes, aquí se les asigna la Segunda Actividad Sumativa para las secciones T1-T2 de la
asignatura Lógica Matemática de las Escuelas Ingeniería de Sistemas y Eléctrica y, Administración y
Contabilidad, es un Trabajo Práctico (Resolución de Ejercicios) el cual para su desarrollo y posterior
entrega deben seguir las siguientes instrucciones:
Instrucciones:
 Revisar la teoría y ejercicios prácticos del material didáctico que se facilitó para este núcleo
temático.
 Esta actividad debe realizarse de manera individual.
 El trabajo debe realizarse en Word. Cada ejercicio debe tener su respectivo enunciado en el
mismo orden que se presentan en esta guía de ejercicios y con la misma numeración. En caso
de no responder algún ejercicio debe colocarse en el trabajo el enunciado del mismo y dejar a
continuación un espacio en blanco correspondiente a 3 líneas. .
 Deben reflejarse completamente los procedimientos realizados para encontrar la respuesta del
ejercicio, no debe omitirse ningún paso.
 Escribir las expresiones y simbología toda la parte matemática de manera correcta usando el
editor de ecuaciones de Word. No se aceptan imágenes de las expresiones como tal. Deben
verse así por ejemplo:
p → [ q → ¬r ] ( A ∪ B )−(B ∩ A)
 Una vez finalizado el trabajo deben identificarlo como nombre de archivo Primer Apellido
Primer Nombre y Número de Cédula y enviarlo al aula virtual. Por favor tomen el capture de
enviado ya que es su soporte en caso de algún reclamo. El archivo lo van a subir en Word. Por
favor verificar que se puede abrir.
 Dos trabajos que tengan la misma estructura serán evaluados con la mínima calificación.
 Cualquier inquietud comunicarse por el chat del aula virtual identificando la materia y la
sección a la que pertenece, con gusto será atendido a la brevedad posible.
CRITERIOS DE EVALUACIÓN:
La presente actividad sumativa consta de 6 ejercicios. Cada uno de ellos se les asignó una ponderación
o puntaje que está reflejada al final de cada ejercicio. Se tendrá en cuenta para la evaluación de la
actividad lo siguiente:
Rúbrica.-
Planteamiento del Problema: 40 ptos.
Procedimiento (Desarrollo): 30 ptos.
Interpretación de resultados: 15 ptos.
Conclusión final (Resultados): 10 ptos.
Puntualidad y Responsabilidad: 5 ptos.
Total: 100 ptos.
Instrucciones para subir la actividad (archivo word) en la plataforma:
1.-Hacer clic en 'Agregar entrega'.
2.-Hacer clic en 'Agregar'.
3.-Hacer clic en 'Subir un archivo'.
4.-Hacer clic en 'Seleccionar archivo'.
5.-Buscamos en nuestra PC el archivo a enviar a la plataforma y hacemos clic en 'Abrir'.
6.-Luego hacer clic en 'Subir este archivo'.
Si desea enviar otro archivo repita desde el paso 2 hasta el paso 6.
Luego hacer clic en 'Guardar Cambios'.
Su facilitador virtual,
¡Éxitos a todos!
Atentamente
Licdo. José DAngulo

EJERCICIOS
1.- Simbolizar las siguientes proposiciones con su respectivo cuantificador:
a) “Algunos Profesores son Médicos”
b) “Los hombres nacen buenos y la sociedad los corrompe”
c) “Para toda x, si x es hormiga entonces x es insecto” 
d) “Existen alumnos de mi colegio que no son aplicados” Valor 20 ptos.

2.- Demostrar ¬ P

1) ¬Q V R P
2) P ¬R P
3) Q P Valor 20 ptos.

3.- Demostrar la siguiente equivalencia lógica:

p  (p q)  p Valor 10 ptos.

4.- Construir una prueba formal de validez para el siguiente razonamiento:

pr P1
~pq P2
qs P3
~r s Conclusión. Valor 20 ptos.

5.- Simbolizar y demostrar la conclusión del siguiente razonamiento:

 “Si la inflación es alta, entonces los sueldos son altos. La inflación es alta o hay control de
precios. Si hay control de precios, entonces el costo de la vida no sube. El costo de la vida
sube. Por consiguiente, los sueldos son altos”. Valor 20 ptos.

6.- Demostrar ~ p
pq
r~q
~r
~p Valor 10 ptos.

Solución.-
1a) ∃ (x)(P(x)  M(x))  
1b) ∀(x)(B(x)  S(x))  
1c) ∀(x)(H(x) → I(x))    
1d) ∃ (x)/(P(x)  -Q(x))
2.- Demostrar ¬ P

1) ¬Q V R P
2) P ¬R P
3) Q P
4) P P
5) ¬R PP(2,4)
6) ¬Q TP(1,5)
7) Q & ¬Q A(3,6)
8) P Q & ¬Q CP(4,7)
9) ¬P Ab(8)

3.- Demostrar la siguiente equivalencia lógica:

p  (p q)  p
Solución:

Por probar una de las leyes de absorción, entonces:

p  (p  q)  (p  V )  (p  q) por ley de identidad

 p  ( V  q) por ley distributiva

 pV por ley de dominación

 p por ley de identidad

4.- p  r
~p q
q s
~r  s

1. p r premisa 1

2. ~ p  q premisa 2

3. q s premisa 3
 4. ~p s de 2,3; por silogismo hipotético

5. ~p  r de 1; por ley del condicional

6. r ~ p de 5; por ley conmutativa de la disyunción

7. ~ r  ~ p de 6; por ley del condicional

8.  ~ r  s de 7, 4; por silogismo hipotético

5.- Simbolizar y demostrar la conclusión del siguiente razonamiento:

“Si la inflación es alta, entonces los sueldos son altos. La inflación es alta o hay control de
precios. Si hay control de precios, entonces el costo de la vida no sube. El costo de la vida
sube. Por consiguiente, los sueldos son altos”.

Como primer paso se simboliza desde el punto de vista proposicional el

razonamiento. Entonces sea:

p: la inflación es alta r: hay control de precios s: el

q: los sueldos son altos costo de la vida sube

Esquematizando el
razonamiento se tiene:
p Q p1
p  r p2
r  ~ s p3

s
~( ~s) De 4 ley de doble negación

De 3,5; por modus tollendo tollens

P De 2,6; por silogismo disyuntivo

q De 1,7; por modus ponendo ponens

6.- Demostración:

1. p  q premisa 1

2. r  ~ q premisa 2

3. ~ r premisa 3

4. ~ (~ p) premisa adicional

5. p de 4; por ley de la doble negación

6. q de 1,5; por modus ponendo ponens

7. ~ (~ q) de 6; por ley de la doble negación

8. r de 2,7; por silogismo disyuntivo

9. r  ~ r de 8,3; por ley de la conjunción

10. F de 9; por principio de no contradicción

11.  ~p de 10; por reducción al absurdo