Facultad de Ingenierı́a
Pulgarin
Calculo Diferencial
1. Demuestre las siguientes equivalencias, utilizando alge-
bra de proposiciones
a. (p∨ ∼ p) ∧ [p ∧ (q ∨ p)] ↔ p
b. [[(p → q) ↔∼ q]∧ ∼ q] ↔∼ (p ∨ q)
c. ∼ [(p ∨ p) ↔ p] ↔ C
d. ∼ [∼ (p ∧ q) →∼ q] ∨ q ↔ q
2. Demuestre las equivalencias del ejercicio anterior, utili-
zando tablas de verdad.
3. Construir el árbol sintáctico de las moléculas dadas en el
punto 1. Utilizando algoritmo de descomposición.
4. Aplique la función grado a cada una de las moléculas de
el punto 1.
5. Aplique la función subfórmula a cada una de las molécu-
las de el punto 1.
6. Demostrar usando inducción en formulas
Si N [α] = # de negaciones en α y B[α] = # de operado-
res binarios, entonces el número de paréntesis de α P [α],
es P [α] = 2N [α] + 4B[α]
7. Demuestre que en cualquier formula proposicional el
número de parentesis, es un número par.
8. Pasar las siguientes fórmulas Polacas, a notación infija,
construyendo el árbol polaco.
a. N EKqN ACN rN tKpN qN CN rN N s
b. ACAN rqN KEtsApqN KKN tqCEN pN rApN t
9. Verifique que las fórmulas polacas del punto anterior es-
ten bien formadas.
10. Para los siguientes argumentos:
Si f es diferenciable en [a, b], es continua y acotada en
13. ¿Cuál o cuáles de las siguientes expresiones son fórmulas bien formadas?
a) ((p) ∧ (∼ (q))) ⊃ ((∼ (∼ (p))) ≡ (q))
b) ((p) ∧ (q)) ⊃ (∼ (q) ∧ (p) ∨ (r))
c) (p) ⊃ (((q) ∼ (r)) ≡ ((p) ∨ (∼ ((q) ∧ (r)))))
d ) ((((s) ↓ ((p) | (q))) ≡ (r)) ⊃ (∼ ((p) | (q)))) ∧ ((r) ⊃ (((∼ (s)) ≡ (∼ ((p) ∨ (r)))) ⊃ (((s) ≡ (∼ (p))) ∧ (q))))
e) (((p) ⊃ (∼ (q))) ≡ ((r) ⊃ ((∼ (q)) ∨ (q))))
14. Usando las convenciones que hemos establecido, desarróllense cada una de las siguientes expresiones en fórmulas bien
formadas.
1
Profesora: Alejandra M.
[a, b]. Si f no fuese acotada en [a, b] no podrá ser diferen-
ciable en [a, b]. Por tanto: si f es discontinua y acotada
en [a, b] no es diferenciable en [a, b].
Si llueve no iré al mercado. Si no iré al mercado, o
bien no tendré comida o bien iré al restaurante. Llueve
y tengo comida. Por lo tanto, no iré al restaurante.
a. Traducir a LP
b. Verificar la validez de los argumentos utilizando la
definición de consecuencia lógica.
c. Verificar la validez de los argumentos utilizando los
resultados de consecuencia lógica
d. Verificar la validez de los argumentos utilizando ta-
bleaux y Resolución.
11. Verificar si las siguientes formulas son tautologı́as, utili-
zando formas normales, Tableaux y Resolución.
a. (p → r) → ((q → r) → ((p ∨ q) → r))
b. (p → q) → (¬q → ¬p)
12. Simbolice los siguientes argumentos en lenguaje LP . Y
verifique la validez de los mismos, por medio del uso de
tableros semánticos y Resolución.
a. Si ni Pedro ni Javier puede resolver la ecuación,
Manuel va a estar furioso. Y si Manuel está furioso,
el experimento no va a ser exitoso. Definitivamente
el laboratorio no recibirá recursos adicionales. Des-
pués de todo ni Pedro ni Javier puede resolver la
ecuación y el laboratorio recibirá recursos adiciona-
les si y sólo si el experimento es exitoso.
b. Jorge no sabe lo que está haciendo o está siguiendo
una estrategia suicida. Si no sabe lo que esta ha-
ciendo, Jorge va a perder la partida y si pierde la
partida Jorge perderá mucho dinero. Por lo tanto
Jorge perderá mucho dinero.
 a) p ≡ q ≡ r d ) ∼ (p ∧ q ∨ r) ⊃ p ≡ q
b) ∼ p ∨ r ≡ p ⊃ q∧ ∼ q ⊃ r
c) ∼ p ∨ r ≡ (p ⊃ q) ∧ (∼ q ⊃ r) e) p ∨ r ⊃ p ∨ q ⊃ q ∨ r

15. Muéstrese para cada uno de los siguientes pares que A eq B

a) A B

b) ∼∼ p p

c) p ≡ q∧ ∼ q ∼q

d) p∧q ≡p p⊃q

e) (p ∧ (q ⊃ r)) ∨ (∼ p ∧ q) (∼ p∨ ∼ q ∨ r) ∧ (p ∨ q)

(∼ p ∧ (r ⊃ q)) ∨ (p∧ ∼ (q ⊃ r)) p ∧ q∧ ∼ r∨ ∼ p ∧ q∨ ∼ p∧ ∼ r

16. Muéstrese que A1 , A2 , A3 , A4 = B, para

A1 es p⊃q∨r

A2 es q∧ ∼ s ⊃ p ∨ t

A3 es ∼ q ≡∼ (p ∨ (s ∧ t))

A4 es (s ⊃∼ t) ∨ (p∧ ∼ q)

B es (p ≡ q) ∧ ∼ (r ∧ s ∧ t)

17. En cada uno de los siguientes ejercicios, escribase la tabla de verdad y determı́ne se la fórmula es una tautologı́a, una
contradicción, o ninguna de las dos cosas.

a) p ⊃ (p ⊃ p) ⊃ p g) (p ≡ q) ≡ r ≡ p ≡ (q ≡ r)
b) (p∧ ∼ q) ⊃ (∼∼ p ≡ q) h) p ∨ r ⊃ p ∨ q ⊃ q ∨ r
c) p≡q≡r
i ) p ⊃ (q ∨ r) ≡ (p ∨ (∼ q ∧ r))
d) (p ∧ q) ⊃ (∼ q ∧ (p ∨ r))
e) ∼ (p ∧ q ∨ r) ⊃ p ≡ q j ) ∼ p ∨ r ≡ p ⊃ q∧ ∼ q ⊃ r
f) (p ⊃∼ q) ≡ (r ⊃ (∼ q ∨ p)) k ) ∼ p ∨ r ≡ (p ⊃ q) ∧ (∼ q ⊃ r)

18. Muéstrese para cada uno de los siguientes pares que A = B.

A B

a) p p⊃q⊃q

b) p⊃q (q ⊃ r) ⊃ (p ⊃ r)

c) p⊃q (∼ p ⊃ q) ⊃ q

d) p ∨ (q ∨ r) (q ∨ (p ∨ r)) ∨ p

e) (((p ⊃ q) ⊃ (∼ r ⊃∼ s)) ⊃ r) ⊃ t (t ⊃ p) ⊃ (s ⊃ p)

2
19. Simbolice los siguientes enuncuados en LC utilizando la Ex : x es escritor a: Andrea
guı́a de simbolización provista.
Fx : x es famoso b: Bernardo
UD: Álvaro, Bárbara, Constanza, Daniela, Elı́as,
Huaraz, Ibarra, Jalisco, Key West, Lima, Manaos, Ix : x es ingenioso c: Claudia
Nazca
Gxy : A x le gusta y d: David
N xy x nació en y e: Elı́as
Ixy : x se inspira en y e: Enrique
Sxy x está al sur de y h: Huaraz
V xy : x envidia a y
V xy x vive en y i: Ibarra
M xy : x imita a y
M xy x es mayor que y j: Jalisco

a: Álvaro k: Key West a) Andrea es una escritora ingeniosa, pero no famosa.

b) Claudia es una escritora famosa, pero no es ingenio-
b: Bárbara l: Lima sa.
c) Enrique es un famoso e ingenioso escritor.
c: Constanza m: Manaos
d ) Bernardo es un escritor que no es ni famoso ni in-
d: Daniela n: Nazca genioso.
e) Si Bernardo es ingenioso, tambien lo son David y
Andrea.
a) Álvaro nacio en Jalisco. f ) Andrea es una escritora ingeniosa, BErnardo es in-
genioso pero no es escritor, y ninguno de los dos es
b) Bárbara no nació en Huaraz. famoso.
c) Todos nacieron en Lima. g) Andrea se inspira en Enrique pero envidia a Clau-
dia.
d ) Ninguno nacio en Key West.
h) Andrea se inspira en si misma y en Claudia, pero
e) Nazca está al sur de Lima, Lima está al sur de Ma- envidia tanto a Bernardo como a David.
naos y Manaos está al sur de Jalisco. i ) Claudia ni se inspira en, ni envidia a Andrea, pero
se inspira y envidia a David.
f ) Ibarra no está al sur ni de Nazca ni de Lima.
21. Establezca una guı́a de simbolización para cada uno de
g) Key West está al sur de Lima si y solo si Jalisco
los siguientes pasajes y simbolice cada una de los enun-
está al sur de Manaos.
ciados.
h) Bárbara vive en Jalisco sólo si Daniela lo hace.
a) Arturo y Cristóbal son alpinistas, pero ninguno de
i ) Todos nacieron en Key West pero ninguno vive allá los dos ha subido al Everest. Lina es alpinista, ha
subido al everest y al K2, y además es buena nada-
j ) Bárbara es mayor que Constanza y Constanza es
dora. Ni Arturo ni Cristóbal son buenos nadadores.
mayor que Álvaro, pero ni Bárbara ni Constanza
Aunque no es alpinista y es buena nadadora, a Jua-
son mayores que Elı́as.
na le gusta Cristóbal.
k ) Daniela es mayor que Elı́as sólo si es mayor que b) Pedro es equilibrista y malabarista. William es ma-
Álvaro. go, y aunque Guillermo también quiere serlo, no lo
es. Todos viven en un trailer. Esteban tambien es
20. Simbolice los siguientes enunciados en LC utilizando la un mago, y aunque David es un payaso, también
guı́a de simbolización provista. quiere ser mago.Manuel es el trapecista y el doma-
dor de leones. Ninguno de ellos quiere abandonar el
UD: Andrea, Bernardo, Claudia, David y Enrique circo.

22. Simbolice los siguientes enunciados en LC, e indique si se trata de un enunciado tipo A,E,I u O.

UD: Los cuadros en un museo

3
 Ex : x fue pintado por un español Rx : x es un retrato

Hx : x fue pintado por un holandés Px : x es un paisaje

Ix : x fue pintado por un inglés Ax x es abstracto

Bx : x es un bodegon Gx x es figurativo

Cx : x es colorido Mx x es monocromático

a) Todos los retratos fueron pintados por un español.

b) Todos los paisajes son coloridos.
c) Algunos paisajes no son coloridos.
d ) Ningún retrato es abstracto.
e) Algunos cuadros pintados por españoles son monocromáticos.
f ) Todos los cuadros coloridos fueron pintados por un holandés.
g) Ningún cuadro figurativo fue pintado por un inglés.
h) Algunos bodegones son figurativos.
i ) Todos los cuadros pintados por holandeses son figurativos.

23. Determine cuáles de las siguientes expresiones son fórmuladas de LC. Si no lo son, explique por qué no. Si lo son, determine
si son fórmulas cerradas.

a) T dg ∨ Qdt k ) (∀x) (∃y) Jxz

b) M nx& (x) P x l ) (∃x) [(∀y) Axy ⊃ (∃y) Axy]
c) (∀y) Kyn&Gaz m) (∼ T an&P en) ⊃ (∃y) F yy
d ) (∃z) (Ex) (Rzx ≡ Rxz) n) (∀a) F xay
e) (∃t) F zx&F xzt ñ) Qgw ∨ (∃w) Gqw
f ) (∃x) Hzah o) (∃z) (Rzb ∨ (∃z) Gaz)
g) (∀z) (T z& ∼ Grz) ≡ (∀z) Eza p) (∀x) ∼ (∀y) Byx
h) (∃x) (F x& (∀x) (P x ⊃ Gx)) q) (∃x) (∀y) ∼ Byxb
i ) ∼ (∀x) (Ax ⊃ F x) r ) (∀x) (Gx&F x) ⊃ (∃x) (Bg&F x)
j ) (∀x) (Ax ⊃ (∃z) N zx) s) (∀x) [(∃y) Bxy ∨ Bxx]