Universidad Internacional SEK

Maestría de Tecnologías de la Información (MTI)

Tercer Semestre – Tecnologías Emergentes

Tarea 01 / Componente Individual
1. Construya las tablas de valor de verdad de las siguientes proposiciones compuestas:
a) (𝑝 ∨ ¬𝑞) → 𝑞

b) (𝑝 → 𝑞) → (𝑞 → 𝑝)

c) (𝑝⨁𝑞) → (𝑝 ∧ 𝑞) 


2. Escriba la siguiente proposición compuesta en símbolos: si 𝑝, 𝑞, y 𝑟 forman una proposición compuesta

de tal manera que 𝑝 y 𝑞 son equivalentes lógicos y, 𝑞 y 𝑟 son equivalentes lógicos, entonces 𝑝 y 𝑟 son
equivalentes lógicos. 


3. Translate each of these statements into logical expressions by using quantifiers and predicates with one
or two variables.
a) There is a student in our class who has been to every city of at least one state in the country.
 b) Everyone in our class has been to at least one state in the country.

4. ¿Qué reglas de inferencia son usadas en este argumento? “Ningún hombre es una isla. Manhattan es
una isla. Entonces, Manhattan no es un hombre.” (Use cálculo de primer orden).

5. Determine whether this argument is valid. If an argument is correct, what rule of inference is being used?
If it is not, what logical error occurs? If 𝑛 is a real number with 𝑛 > 3, then 𝑛2 > 9. Suppose that 𝑛2 ≤ 9.
Then 𝑛 ≤ 3. (Use predicate calculus). 


6. Dada la siguiente base de conocimiento, BC, ¿Se puede inferir ℎ? Si la premisa 𝑏, dejara de estar en
nuestra base de conocimiento, ¿se podría inferir ℎ?
𝑎
𝑏
𝑐
𝑎∧𝑏 ⟶𝑑
𝑎∧𝑐 ⟶𝑒
𝑏∧𝑑 ⟶𝑓
𝑓⟶𝑔
𝑎∧𝑒 ⟶ℎ
6. 𝑃(𝑥) es la sentencia “la palabra 𝑥 contiene la letra a”. ¿Cuál es el valor de verdad de las siguientes
sentencias? 

a) 𝑃(𝑚𝑎𝑛𝑑𝑎𝑟𝑖𝑛𝑎)
b) 𝑃(𝑙𝑖𝑚𝑜𝑛) 

c) 𝑃(𝑣𝑒𝑟𝑑𝑒)
d) 𝑃(𝑓𝑎𝑙𝑠𝑜)


7. Translate each of these statements into logical expressions by using quantifiers and predicates with one
or two variables. 

c) A student in our discrete math class has lived in Florida.

d) There is a student in our discrete math class who got the perfect grade in Midterm I. 


e) Everyone in our class loves discrete math.

f) There is a student in our class who has been to every state in the US. 


8. Argumente por qué (∃𝑥𝑃(𝑥)) ∧ (∃𝑥𝑄(𝑥)) and ∃𝑥(𝑃(𝑥) ∧ 𝑄(𝑥)) no son lógicamente equivalentes.
9. For each of these arguments determine whether the argument is correct or incorrect and explain why.
a) All students in this class understand logic. Xavier is a student in this class. Therefore, Xavier
understands logic. 


b) Everyone who eats granola everyday is healthy. Linda is not healthy. Therefore, Linda does not eat
granola every day.