UNIVERSIDAD ESTATAL A DISTANCIA

ESCUELA DE CIENCIAS EXACTAS Y NATURALES

CARRERA INGENIERÍA INFORMÁTICA
CATEDRA DESARROLLO DE SISTEMAS
03304 – Lógica Algorítmica
I Cuatrimestre 2023

Tarea No 2
Instrucciones:

• Tipo: Individual
• Desarrolle las soluciones para cada ítem que se presenta utilizando el material de
estudio del tema 2.
• Marque en la hoja de respuestas las opciones correctas según lo que se solicita.
Además, debe de anotar en la hoja de respuestas la justificación de cada una.
• Cualquier respuesta sin su debida justificación tendrá una calificación de cero.
• Debe cargar sólo la hoja de respuestas en la plataforma, dentro del tiempo límite
establecido en el sistema.
• Debe leer y cumplir con cada uno de los criterios de calificación incluidos en el
instrumento de evaluación.
• No entregar la tarea escrita a mano, ver el criterio de calificación en caso de
entregarla a mano.
• La tarea consta de 13 preguntas para un total de 26 puntos.
• La calificación máxima es de 2.0 puntos según el sistema de notas parciales.

Criterio de calificación Puntos Retroalimentación

• Respuesta correcta con una justificación que
emplee algún recurso (tabla de verdad) o
lógica usada que evidencia el desarrollo y
compresión de la pregunta.
Lo anterior acompañado de una referencia
bibliográfica en formato APA relacionada al 2
ejercicio., o;
• Respuesta correcta con una justificación que
emplee el procedimiento completo que
evidencia el desarrollo y compresión de la
pregunta.
• Respuesta incorrecta con una justificación
que emplee algún recurso (tabla de verdad),
procedimiento completo o lógica usada que
evidencia el desarrollo y compresión de la
pregunta, pero con algunos errores los cuales
1
llevan a un resultado incorrecto. Lo anterior
acompañado de una referencia bibliográfica
en formato APA relacionada al ejercicio
cuando se utilice un recurso o lógica usada,
o;

1
 UNIVERSIDAD ESTATAL A DISTANCIA
ESCUELA DE CIENCIAS EXACTAS Y NATURALES
CARRERA INGENIERÍA INFORMÁTICA
CATEDRA DESARROLLO DE SISTEMAS
03304 – Lógica Algorítmica
I Cuatrimestre 2023

Criterio de calificación Puntos Retroalimentación

• Respuesta correcta con una justificación que
emplee algún recurso (tabla de verdad),
procedimiento completo o lógica usada que
evidencia el desarrollo y compresión de la
pregunta. Lo anterior acompañado de una
referencia bibliográfica en formato APA
relacionada al ejercicio cuando se utilice un
recurso o lógica usada, pero escrita a mano,
1
o;
• Respuesta correcta con una justificación que
emplee algún recurso (tabla de verdad) o
lógica usada que evidencia el desarrollo y
compresión de la pregunta.
• Lo anterior acompañado de una referencia
bibliográfica en formato APA incompleta o
inexacta.
• Respuesta correcta con una justificación que
NO emplee algún recurso (tabla de verdad),
procedimiento completo o lógica usada que
evidencia el desarrollo y compresión de la
pregunta o se deje el espacio de justificación
en blanco, o;
• Respuesta correcta sin referencia
bibliográfica en formato APA relacionada al
ejercicio cuando se utilice un recurso o lógica 0
usada, o;
• Respuesta incorrecta sin una justificación que
emplee algún recurso (tabla de verdad),
procedimiento completo o lógica usada que
evidencia el desarrollo y compresión de la
pregunta.
• Respuesta incorrecta con un procedimiento o
una fuente información escritos a mano.

2
 UNIVERSIDAD ESTATAL A DISTANCIA
ESCUELA DE CIENCIAS EXACTAS Y NATURALES
CARRERA INGENIERÍA INFORMÁTICA
CATEDRA DESARROLLO DE SISTEMAS
03304 – Lógica Algorítmica
I Cuatrimestre 2023

1. Los siguientes son ejemplos de fórmulas proposicionales bien formadas, excepto una, el
cual es:
a. 𝑝 → 𝑞
b. 𝑝𝑞
c. ((𝑝 ∨ 𝑞) ∧ ¬𝑝)
d. ((𝑝 ∨ 𝑞) ∧ ¬𝑝)/p

2. Dado el siguiente razonamiento: “Hoy es Jueves, por lo tanto mañana es viernes”. Cuál
de las siguientes representaciones simbólicas mantiene el mismo significado lógico de
la representación simbólica de este razonamiento.

a. (𝑝 → ¬𝑞)
b. (𝑝 → 𝑞) ∨ 𝑞
c. ¬(𝑝 ∧ ¬ 𝑞)
d. (𝑝 ∨ 𝑞) ∧ ¬𝑝)

3. Dada la siguiente expresión simbólica ((𝑝 ∧ r) → 𝑞) ∨ ((𝑞 ∧ r) → 𝑝) se puede afirmar:

a) Es una contradicción
b) Es una contingencia
c) Es una inferencia
d) Es una tautología

4. Dada el siguiente razonamiento: “Es falso que todos los informáticos conocen lógica y
programan en Fortran “. Como se formaliza mediante una expresión:

a. ¬ (x) (Ix → ( Lx ˄ Fx ))
b. ¬ (x) (Ix → ( Lx v Fx ))
c. ¬ (∀x) (Ix v ( Lx ˄ Fx ))
d. ¬ (∀x) (Ix → ( Lx ˄ Fx ))

5. Dada el siguiente razonamiento: “Ningún estudiante de lógica fue alumno de profesor

Roberto”, Como se formaliza mediante una expresión:

a. ¬ (x) (Lx → Ar)

b. ¬ (x) (Lx → Ar)
c. (x) ¬(Lx → Ar)
d. (x) ¬(Lx → rA)

3
 UNIVERSIDAD ESTATAL A DISTANCIA
ESCUELA DE CIENCIAS EXACTAS Y NATURALES
CARRERA INGENIERÍA INFORMÁTICA
CATEDRA DESARROLLO DE SISTEMAS
03304 – Lógica Algorítmica
I Cuatrimestre 2023

6. Dada el siguiente razonamiento: “Todas las bicicletas son vehículos”, ¿Cuál de las
siguientes expresiones simbólicas mantiene el mismo significado lógica del
razonamiento ?:

a. ¬ (∀x) (Bx → Vx )
b. ¬ (x) (Bx ˄ ¬Vx)
c. (x) (Bx ˄ ¬Vx)
d. (x) (Bx ˄ Vx)

7. La proposición “Algunos Informáticos programan en Java y programan en Python”, se

formaliza de la siguiente manera:

a. (x) (Ix → (Jx ˄ Px))

b. (x) (Jx ∧ (Jx ∨ Px))
c. ¬ (∀x) (Ix → ¬(Jx ∨ Px))
d. ¬(x) (Ix → ¬(Jx ˄ Px))

8. La expresión “Todos los profesores reconocen algunos estudiantes esforzados y

Analíticos”, se formaliza:

a. (∀x) (y) (C(x, y) v (Ey ˄ Ay))

b. (∀x) (y) (C(x, y) → (Ey v Ay))
c. ¬(∀x) (y) (C(x, y) → (Ey ˄ Ay))
d. (∀x) (y) (C(x, y) → (Ey ˄ Ay))

9. En la proposición categórica “Ninguno de los empleados es informático”, se puede

afirmar:

a. El término medio es “Informático”.

b. El término “Empleados” es el único termino distribuido.
c. Los términos “Empleados” y “Informático” están distribuidos.
d. El término “Informático” es el único termino distribuido.

4
 UNIVERSIDAD ESTATAL A DISTANCIA
ESCUELA DE CIENCIAS EXACTAS Y NATURALES
CARRERA INGENIERÍA INFORMÁTICA
CATEDRA DESARROLLO DE SISTEMAS
03304 – Lógica Algorítmica
I Cuatrimestre 2023

10. Dado el siguiente razonamiento:

Todos los programadores son Informáticos

Algunos informáticos son matemáticos.
Por tanto, algunos matemáticos son programadores.

Se puede afirmar que:

a) El término mayor es informático y el término menor es matemáticos.

b) El término medio es informático y el término menor es matemáticos.
c) El término mayor es programadores y término menor es Informáticos.
d) El término medio es programadores y el termino menor es informático.

11. Dado el siguiente razonamiento:

Todos los programadores son Informáticos

Ningún informático es matemático.
Por tanto, Ningún matemático es programador.

Se puede afirmar que:

a) Es de la figura MP-MS y del modo AEE.

b) Es de la figura PM-MS y del modo AEI.
c) Es de la figura MP-MS y del modo AEI.
d) El silogismo es válido.

12. Dado el siguiente silogismo:

Algún abogado es informático.

Todo informático es experto en computación.

Por lo tanto, algún abogado es experto en computación.

Se puede afirmar que:

a) El término medio es perros y el término mayor es mamíferos.

b) El silogismo es de la forma MP-MS.
c) El silogismo cuenta con dos afirmaciones categóricas universales.
d) El silogismo no está en presentación estándar.

5
 UNIVERSIDAD ESTATAL A DISTANCIA
ESCUELA DE CIENCIAS EXACTAS Y NATURALES
CARRERA INGENIERÍA INFORMÁTICA
CATEDRA DESARROLLO DE SISTEMAS
03304 – Lógica Algorítmica
I Cuatrimestre 2023

13. Dado el siguiente silogismo:

Todos los filósofos son griegos

Todos los filósofos son matemáticos.
Por tanto, Todos los matemáticos son griegos.

No es correcto afirmar que:

a) El término medio es filósofo.

b) El silogismo es de la forma MP-MS.
c) El silogismo cuenta con dos afirmaciones categóricas universales.
d) El silogismo es válido.