Matemática para Informática I: Actividad N° 3

Importante: La actividad deberá ser realizada en grupos de entre 4 y 6

personas y subida al Campus (un trabajo por grupo). La misma deberá contar
con una carátula en la que figuren los nombres de los integrantes del grupo y
la comisión correspondiente. La presentación deberá ser prolija, con letra
legible y no podrá realizarse en lápiz.

A) Dadas las siguientes proposiciones, escribir en forma simbólica el

enunciado, determinar su valor de verdad, negarlo, determinar el valor de
verdad de la negación, y expresarla en lenguaje coloquial
1. “Algunos estudiantes universitarios nunca fueron a la escuela.”

2. “Existen Números Enteros que no son divisibles por 1.”

3. “El módulo de todo Número Real es positivo o igual a cero.”

4. “La suma de dos Números Naturales consecutivos da como resultado un

número impar.”

B) Expresar en forma simbólica los siguientes enunciados y determinar que

propiedades validan las conclusiones
1. “Las aves tienen alas. La cigüeña es un ave. La cigüeña es un ave y
tiene alas.”
2. “Si no te atas los cordones de tus zapatillas, te vas a caer. Si te caes, te
lastimarás. No te ataste los cordones de tus zapatillas, por lo tanto, te
lastimaste”
3. “Si trabajo y ahorro, entonces compraré una casa. No compraré una
casa. Por lo tanto, no es cierto que trabajo y ahorro.

C) Demostrar la validez de los siguientes razonamientos aplicando Reglas de

Inferencia.

Página 1 de 2
 A)
1. 𝑞 → 𝑠
2. ~𝑝 ˅ 𝑞
3. 𝑝 ˄ 𝑟
𝐶: 𝑠

B)
1. (𝑝 ˅ 𝑞) → 𝑟
2. 𝑟 → 𝑠
3. ~𝑠
𝐶: ~𝑞

C)
1. 𝑟 → ~𝑝
2. (𝑟 ˄ 𝑠) ˅ 𝑡
3. 𝑡 → (𝑞 ˅ 𝑢)
4. ~𝑞 ˄ ~ 𝑢
𝐶: ~𝑝

D) Expresar en forma simbólica los siguientes enunciados y demostrar la

validez de los mismos aplicando Reglas de Inferencia.

1. “Si la enmienda no es aprobada, entonces la Estatuto quedará como

antes. Si el Estatuto queda como antes, entonces no podremos añadir
nuevos miembros al comité. O podemos añadir nuevos miembros al
comité o la presentación del informe se retrasará. La presentación del
informe no se retrasará. Por lo tanto, la enmienda fue aprobada.”
2. “O el testigo no dice la verdad o Juan estaba en casa antes de
cometerse el crimen. Si Juan estaba en casa antes de cometerse el
crimen, vio al asesino. Si Juan vio al asesino, entonces sabe que el
asesino no fue el mayordomo. Por lo tanto, si el testigo dice la verdad,
Juan sabe que el asesino no fue el mayordomo.”

Página 2 de 2