Introduccin

a la lgica Ejercicios Tema 2.1

Grado en filosofa Mikel Ostiz Blanco

Introduccin a la lgica
Ejercicios Tema 2.1 1. Dada la definicin A del lenguaje formal LR, indicar si las expresiones de la
lista B son fbfs de LR: A. Definicin del lenguaje LR: a) Smbolos primitivos: a, b, * b) Reglas de formacin: R.1: a*b y b*a son fbfs de LR. R.2: Si es fbf de LR y es fbf de LR, entonces es fbf de LR. B. Cules de las siguientes son fbfs de LR? a) b*a Es fbf porque cumple R1 b) * No es fbf porque utiliza metavariables en lugar de variables. c) a*a No es fbf porque no cumple R1 al no ser uno de los 2 casos concretos que esta regla permite, ni cumple R2 porque no tiene fbfs vlidas como punto de partida. d) a*bb*a No es fbf porque hay dos enunciados que no estn unidos por una conectiva. e) a*b*b*a S es un fbf porque aplica R2 para unir con una conectiva 2 fbfs vlidos por R1. f) a*b*a*b S es fbf por la misma razn que el caso anterior. g) a*b*a*b*a*b S es fbf porque utiliza R2 para unir 3 fbfs vlidas por R1. h) a*b*a*a*a*b No es fbf porque no se puede deducir de R1 y R2, porque por R1 no es un conjunto de fbfs vlidas que puedan servir para combinarse mediante la conectiva que permite R2.

Introduccin a la lgica Ejercicios Tema 2.1

Grado en filosofa Mikel Ostiz Blanco

2. Determinar cul de las siguientes expresiones son fbfs de LP. Si no lo son, hacer los cambios mnimos necesarios para que lo sean:
a) (r) Es fbf b) (rs) Es fbf c) ((pp)p) Es fbf d) ((pp(qp)) No es fbf ((p(qp)) // (((p p) (qp)) e) ((pr)(pr)) Es fbf f) ((qp)(q) Es fbf

3. Inventar una frmula de LP de grado siete, cuya conectiva principal sea el

disyuntor, cuyo primer disyunto sea la negacin de una conjuncin, y que tenga como subfrmula mediata a la frmula q. ((q(pr))((rq) p)) Cambiar los parntesis necesarios para que la frmula se convierta en la negacin de una disyuncin. ((q(pr))((rq) p)) Cambiar los parntesis necesarios para que la frmula no sea ni una negacin, ni una disyuncin ni una conjuncin. ((qp)(r ((rq) p)))

4. Construir el rbol genealgico de cada una de las siguientes frmulas:

1. (((qp)r)p) 2. (((qp)r)p) 3. (((qp)r)p) 4. ((q(pr))p) 5. ((q(pr))p) 6. (q(p(rp))) 7. ((qp)(rp)) 8. ((q(pr))p) 9. (q((pr)p)) 10. (q((pr)p)) 11. ((pq)(((qr)r)r)) 12. ((pq)(((qr)r)r)) 13. ((pq)(((qr)r)r)) 14. ((pq)((q(rr))r)) 15. (p(q(((qr)r)r))) 16. ((pq)((qr)(rr))) 17. ((pq)(q(r(rr)))) 18. (((pq)((qr)r))r) 19. (p(((q(qr))r)r)) 20. (((pq)q)((rr)r)) 2

Introduccin a la lgica Ejercicios Tema 2.1

Grado en filosofa Mikel Ostiz Blanco

Introduccin a la lgica Ejercicios Tema 2.1

Grado en filosofa Mikel Ostiz Blanco

Introduccin a la lgica Ejercicios Tema 2.1

Grado en filosofa Mikel Ostiz Blanco

indicar si la frmula ( p(qp)) es subfrmula de la frmula dada: a) ((pq)((p(qp))(pr))) S b) (((pp)(qp))q) No c) ((p(p(qp)))(qp)) S d) (p((p(qp))r)) S e) ((((pq)p)r)q) No f) (p(p(qp))) S g) (((pq)p)(qp)) No

5. Para cada una de las frmulas siguientes, localizar la conectiva principal e

h) (((pq)(p(qp)))q) S i) ((pq)(p(qp))) No j) ((pp)(qp)) No

Introduccin a la lgica Ejercicios Tema 2.1

Grado en filosofa Mikel Ostiz Blanco

6. Formalizar en LP los siguientes argumentos (tomados de R. L. Purtill, A

Logical Introduction to Philosophy). Hacer el anlisis ms detallado que se pueda en lgica proposicional, e indicar en cada caso a qu enunciado corresponde cada variable proposicional: a) Si nada malo puede sucederle al hombre bueno, entonces la muerte de Scrates no es un mal. Si su muerte no es un mal, entonces su daimon no le habra indicado actuar de otro modo en su proceso y no tendra motivo para estar enfadado con sus acusadores. Por tanto, si Scrates tena motivos para estar enfadado con sus acusadores, ser que es falso que nada malo puede ocurrirle al hombre bueno. (de Platn, Apologa) p: Nada malo puede sucederle al hombre bueno q: La muerte de Scrates no es un mal r: Su daimon no le habra indicado actuar de otro modo en su proceso s: Scrates tena motivos para estar enfadado con sus acusadores (pq) , (q(rs)) (sp) b) Si hay un diseador del universo, entonces Dios existe. Si no hubiera un diseador del universo, las cosas sin inteligencia no se comportaran de modo ordenado e inteligible. Pero las cosas sin inteligencia se comportan de un modo ordenado e inteligible. Por tanto, Dios existe. (de Toms de Aquino, Summa Theologica) p: Hay un diseador del universo q: Dios existe r: Las cosas sin inteligencia se comportan de un modo ordenado e inteligible. (pq) , (p r), r q c) Si no tenemos experiencia de Dios, no tenemos una idea de Dios. Si no tenemos una idea de Dios, no podemos decir si Dios es como los seres humanos en algn respecto. Pero no tenemos experiencia de Dios. Por tanto, no podemos decir si Dios se parece a los seres humanos. (de Hume, Dilogos sobre la religin natural) p: Tenemos experiencia de Dios q: Tenemos una idea de Dios r: Podemos decir si Dios es como los seres humanos en algn aspecto (p q) , (q r), p r

d) Si la sustancia se pudiera dividir en partes, entonces o bien las partes conservaran la naturaleza de sustancia o bien perderan la naturaleza de sustancia. Pero las partes de la sustancia no pueden seguir siendo sustancias, y las partes de la sustancia no pueden 6

Introduccin a la lgica Ejercicios Tema 2.1

Grado en filosofa Mikel Ostiz Blanco

dejar de ser sustancias. Por tanto, la sustancia no puede ser dividida en partes. (de Spinoza, tica) p: La sustancia se puede dividir en partes q: Las partes de la sustancia conservan la naturaleza de la sustancia (p (q q)) , (qq) p

7.

Construir enunciados del lenguaje natural cuya forma lgica sea la expresada por las siguientes frmulas: a) (p(qr)) Si se da el caso de que llueve si salgo a la calle coger paraguas. p: Llueve q: Salgo a la calle r: Cojo paraguas b) ((pq)r) Si hace sol despus de haber llovido saldr el arcoris y entonces yo le sacar una foto. p: Hace sol despus de haber llovido q: Saldr el arcoiris r: Yo le sacar una foto c) (p(qr)) Si me hago una herida me lavar y me la vendar la herida p: Me hago una herida q: Me lavar la herida r: Me vendar la herida d) ((pq) p) Apruebe o suspenda el examen voy a estar alegre. p: Apruebo el examen q: Suspendo el examen r: Voy a estar alegre