Universidad Jos Antonio Pez Ingeniera en Computacin Lgica Simblica Prof. Soraya Aguilar Gua III Derivaciones en Ss 1.

Simbolizar en Ss las premisas y la conclusin de cada uno de los siguientes argumentos y hallar las derivaciones correspondientes. a. O resuelvo este ejercicio o paso al siguiente. Si paso al siguiente he dejado una laguna. Si resuelvo este ejercicio, entonces paso al siguiente. Luego he dejado una laguna. b. Si este curso de lgica es til entonces esta gua esta mal escrita o no todo lo til es interesante. Todo lo til es interesante. Luego, este curso es intil o esta gua esta mal escrita. c. 6 es impar solo si no es divisible por 2. 6 es divisible por 2. Luego 6 no es impar. 2. En cada caso derivar la ultima frmula a partir de las primeras a. (pq) r, b. p (q r), c. p, d. (p q) r, e. (p q), f. (p q), p (q r), (p r) q (p q) r (p q) (p q) (p q) r (p q) (p r)

3. Derivar categricamente las siguientes formulas. a. p (q r) (p q) r b. p (q r) (p q) r c. p (q r) (p q) (p r) d. (p q) p q e. p p (p q) f. p (p q) p g. (p q) p q h. (p (q r)) ((p q) (p r)) i. (p q) p q