Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tarea No 1
Instrucciones:
• Tipo: Individual
• Desarrolle las soluciones para cada ítem que se presenta utilizando el material de
estudio de los temas 1 y 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.
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 2024
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 2024
a) (P ∨ ¬Q) ↔ (P ˄ ¬R).
b) (P ∨ ¬Q) → (¬P ˄ ¬R).
c) (P ∨ Q) ↔ (¬P ˄ R).
d) (¬P ∨ ¬Q) ↔ (P ˄ R).
a) (p → q)
b) (p ˅ q)
c) (p ˄ q)
d) (p→¬q)
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 2024
p=gana el campeonado
q=aplica una técnica nueva
r=juan es disciplinado
s=jugador innato
a) ¬(x)(R(x) ˄ M(x))
b) (x)(R(x) ˄ ¬M(x))
c) (∀x)(R(x) ˄ ¬M(x))
d) (x)(R(x) ˅ ¬M(x))
a) (x)¬M(x)
b) ¬∀xM(x)
c) x¬M(x)
d) ∀x¬M(x)
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 2024
10) Suponiendo que se emplea el dominio de discurso las gallinas de gallinero de Don
Memo. La proposición “Todas las gallinas juegan con el gato Mini o Mini juega con Todas
las gallinas” se formaliza como:
a) ∀x(Jmx) ˅ ∀x(Jxm)
b) ∀x(Jxm) ˄ ∀x(Jmx)
c) ∀x(Jxm) → ¬x(Jmx)
d) ∀x(Jxm) ˅ ∀x(Jmx)
12) Suponiendo que “x” y “y” pertenecen al universo de los profesionales. Suponiendo
que E(x,y): “x evalua a y” y M(x,y) : “x mide a y” , la siguiente proposición “Algunos
profesionales no evalúan y no miden el trabajo de todos los profesionales” es
formalizada como:
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 2024