LÓGICA Y ARGUMENTACIÓN

PROFESOR: JIMMY RAMÍREZ

Ejercicios cálculo de predicados

a) Construya, paso a paso, la negación simbólica de la siguiente afirmación. Use las letras subrayadas, en
mayúsculas, para definir los predicados. Recuerde no dejar un símbolo de negación antes de un cuantificador
ni antes de un paréntesis. Por último, exprese en lenguaje natural el resultado obtenido. Se exige escribir el
nombre de cada una de las equivalencias empleadas:
Algunos Políticos colombianos son Religiosos

Negación simbólica:

Negación en el lenguaje natural______________________________________________

b) ¿Cuál de los siguientes enunciados es la negación no trivial de la siguiente expresión?

∃x{P(x) ∧ ∀y[C(y,x) ⇒ ¬O(x,y)]}

 Algunos políticos no confían en sus colaboradores.

 Todos los políticos confían en sus colaboradores.
 Todos los políticos confían en alguno de sus colaboradores.
 Algunos políticos confían en alguno de sus colaboradores.

c) ¿Cuáles de las siguientes representaciones son equivalentes con el enunciado “algunos estudiantes no son
genuinos”? (Hay dos opciones correctas)

 ∃𝑥[𝐸(𝑥) ∧ ¬𝐺(𝑥)] ____

 ∃𝑥[𝐸(𝑥) ∧ 𝐺(𝑥)] ____
 ∃𝑥¬[𝐸(𝑥) ⟹ ¬𝐺(𝑥)] ____
 ¬[∀𝑥(𝐸(𝑥) ⟹ 𝐺(𝑥))] ____

d) (5%) Entre las siguientes fórmulas del cálculo de predicados marque la que corresponde a la negación del
enunciado “Ningún Candidato a la presidencia es Demócrata’”:
 ∃x(C(x) ∧ ¬D(x))
 ∃x(¬D(x) ∧ C(x))
 ∃x(D(x) ∧ ¬C(x))
 ∃x(C(x) ∧ D(x))
 e . (5%) ¿Cuál de los siguientes enunciados se representa con la fórmula: x [C(x) ⇒ ∃y(V(y) ∧
¬O(x, y))]?

 Todos los Cadetes cOnfían en algún Veterinario

 Ningún Cadete cOnfía en algún Veterinario
 Todos los Veterinarios cOnfían en algún Cadete
 Ningún Veterinario cOnfía en algún Cadete

f. La afirmación, “No solamente los ingenieros saben matemáticas”, expresa que:

___ No es necesario pero si suficiente ser ingeniero para saber matemáticas.

___ No es suficiente pero si necesario ser ingeniero para saber matemáticas.

___ Es necesario y suficiente ser ingeniero para saber matemáticas.

___ No es necesario ni suficiente ser ingeniero para saber matemáticas.

g. ¿Cuál de las siguientes es una simbolización adecuada del enunciado, “es suficiente, pero no
necesario, ser pensador Crítico para ser Disciplinado”?

 x (C(x) ⇒ D(x)) ∧ ∃x(C(x) ∧ ¬D(x))

 x (C(x) ⇒ D(x)) ∧ ∃x(D(x) ∧ ¬C(x))

 x (D(x) ⇒ C(x)) ∧ ∃x(C(x) ∧ ¬D(x))

 x (D(x) ⇒ C(x)) ∧ ∃x(¬C(x) ∧ D(x))

h. (20%) Represente el siguiente razonamiento en la notación del cálculo de predicados, usando la

letra subrayada para definir cada predicado. Pruebe su validez usando deducción natural.
Escriba el nombre de las reglas de inferencia o leyes utilizadas en cada paso de la demostración.

Las personas Sensatas jamás Votarían a la presidencia por los candidatos Xenofóbicos. No
obstante sabemos que algunos Franceses votaron por Marine Le Pen. Además, también
sabemos que Le Pen es una candidata a la presidencia de corte xenofóbico. ¡Por eso es que
afirmo que hay franceses que no son sensatos!