LGICA DE PRIMER ORDEN Soluciones de los ejercicios propuestos en TRABAJO NO PRESENCIAL para el Bloque III: Sistemas de Deduccin Curso

2005-2006 Prof: M Jess Castel

BIII-3.- Usando deduccin natural, demuestra qu sentencia (s) de las propuestas (Q1,Q2,Q3 y Q4) se deduce de las siguientes (S1,S2), siguiendo los pasos que te indicamos: S1: Para que me vaya contigo de viaje es necesario que me regales el billete de ida o de vuelta. S2: Me voy contigo de viaje Q1: Me has regalado el billete de vuelta. Q2: Me has regalado el billete de ida. Q3: Me has regalado el billete de ida y de vuelta. Q4: Me has regalado el billete de ida o de vuelta. 1er-paso: Formalizacin de todas las sentencias (obtencin de las fbf): Definicin del Marco conceptual: * Argumento proposicional Variables Proposicionales voy: me voy contigo de viaje ida: me regalas el billete de ida vue: me regalas el billete de vuelta Fbf-S1: Fbf-S2: Fbf-Q1: Fbf-Q2: Fbf-Q3: Fbf-Q4: voy ida vue voy vue ida ida vue ida vue

Se deduce la Fbf-Q1? Demostracin Aplicamos estrategia de Reduccin al Absurdo -1 -2 3 4 5 voy ida vue voy vue ida vue ida vue Supuest o MP 1,2 SD 3,4

Actividades para el BIII: sistemas de deduccin

6 7 No hay forma de llegar a una contradiccin, NO se puede deducir Q1: vue La interpretacin { voy=V, ida=V, vue=F } es un contraejemplo pues hace ciertas las premisas y falsa la conclusin, por tanto, el argumento S1, S2 Q1 NO es correcto.

Se deduce la Fbf-Q2? Demostracin Aplicamos estrategia de Reduccin al Absurdo -1 -2 3 4 5 6 No hay forma de llegar a una contradiccin, NO se puede deducir Q2: ida La interpretacin { voy=V, ida=F, vue=V } es un contraejemplo pues hace ciertas las premisas y falsa la conclusin, por tanto, el argumento S1, S2 Q2 NO es correcto. voy ida vue voy ida ida vue vue ida Supuest o MP 1,2 SD 3,4

Se deduce la Fbf-Q3? Demostracin Aplicamos estrategia de Reduccin al Absurdo -1 -2 3 4 5 6 No hay forma de llegar a una contradiccin, NO se puede deducir Q3: ida vue La interpretacin { voy=V, ida=V, vue=F } es un contraejemplo pues hace ciertas las premisas y falsa la conclusin, por tanto, el argumento S1, S2 Q3 NO es correcto. voy ida vue voy (ida vue) ida vue ida vue ida vue Supuesto DM 3 MP 1,2

Se deduce la Fbf-Q4? Demostracin

Curso 2005/06

Actividades para el BIII: sistemas de deduccin

-1 -2 3 4 5

voy ida vue voy ida vue ida vue MP 1,2

Se deduce Q4: ida vue. BIII-4.- Dado el conjunto de fbfs P = {x[I(x) H(x)], A(m)}, demuestra, usando deduccin natural, qu fbfs de las propuestas en los siguientes apartados se pueden deducir de l. Q1: H(m) -1 -2 3 4 x[I(x) H(x)] A(m) I(a) H(a) H(a) H(m) Supuesto EC 3

No se puede coger m como ejemplo para el supuesto de Eliminacin del Existencial debido a las restricciones de esta regla, pues m ya es ejemplo para A (premisa 2). Adems, por ejemplo para el dominio D={a,m} la interpretacin {I(a)=V, I(m)=V, H(a)=V, H(m)=F, A(a)=V, A(m)=V} es un contraejemplo para el argumento x[I(x) H(x)], A(m) H(m) pues hace ciertas las premisas y falsa la conclusin. De esta forma NO se puede deducir Q1: H(m). Q2: x[H(x) A(x)] -1 -2 3 4 5 x[I(x) H(x)] A(m) I(a) H(a) H(a) H(a) A(m) x[H(x) A(x)] Supuesto EC 3 IC 2,3

No se puede coger m como ejemplo para el supuesto de Eliminacin del Existencial debido a las restricciones de esta regla, pues m ya es ejemplo para A (premisa 2). De esta forma no hay manera de demostrar que el mismo x cumpla H y A, lo mximo que podramos conseguir es que xH(x) yA(y). Adems, por ejemplo para el dominio D={a,m} la interpretacin {I(a)=V, I(m)=V, H(a)=V, H(m)=F, A(a)=F, A(m)=V} es un contraejemplo para el argumento x[I(x) H(x)], A(m) x[H(x) A(x)] pues hace ciertas las
Curso 2005/06

Actividades para el BIII: sistemas de deduccin

premisas y falsa la conclusin. Por tanto, NO se puede deducir Q2: x[H(x) A(x)]. Q3: yH(y) A(m) -1 -2 3 4 5 6 7 x[I(x) H(x)] A(m) I(a) H(a) H(a) yH(y) yH(y) yH(y) A(m) x[H(x) A(x)] Supuesto EC 3 IE 4 EE 1, 3-5 IC 2,6

Se deduce Q3: yH(y) A(m). BIII-5.- Dado el conjunto de fbfs P = {x[Hu(x) H(x)], x[H(x) I(x)], x[I(x) P(r)]} demuestra, usando deduccin natural, qu fbfs de las propuestas en los siguientes apartados pueden deducirse de l. Q1: x[H(r) P(x)] -1 -2 -3 4 5 6 7 8 x[Hu(x) H(x)] x[H(x) I(x)] x[I(x) P(r)] Hu(r) H(r) H(r) H(s) I(s) I(s) I(t) P(r) x[H(r) P(x)] Supuesto EC 4 Supuesto EC 6 Supuesto

No podemos utilizar al elemento r por las restricciones de EE No podemos utilizar al elemento s por las restricciones de EE

NO es posible deducir Q1 pues a pesar de que hemos conseguido llegar a H(r) es imposible deducir P(r). Para ello necesitaramos I(t) y no lo tenemos por las restricciones de la regla EE. Adems, por ejemplo para el dominio D={r,s} la interpretacin {Hu(r)=V, Hu(s)=V, H(r)=V, H(s)=V, I(r)=V, I(s)=F, P(r)=F, P(s)=F} es un contraejemplo para el argumento x[Hu(x) H(x)], x[H(x) I(x)], x[I(x) P(r)] x[H(r) P(x)] pues hace ciertas las premisas y falsa la conclusin. Por tanto, NO se puede deducir Q1: x[H(r) P(x)].

Curso 2005/06

Actividades para el BIII: sistemas de deduccin

Q2: x[H(x) A(x)] -1 -2 -3 4 5 x[Hu(x) H(x)] x[H(x) I(x)] x[I(x) P(r)] Hu(r) H(r) H(r) x[H(x) A(x)] Supuesto EC 4

NO es posible deducir Q2 pues es imposible llegar a A(x) dado que no lo tenemos en las premisas. Adems, por ejemplo para el dominio D={r} la interpretacin {Hu(r)=V, H(r)=V, I(r)=V, P(r)=F, A(r)=F} es un contraejemplo para el argumento x[Hu(x) H(x)], x[H(x) I(x)], x[I(x) P(r)] x[H(x) A(x)] pues hace ciertas las premisas y falsa la conclusin. Por tanto, NO se puede deducir Q2: x[H(x) A(x)].

Q3: yH(y) A(m) -1 -2 -3 4 x[Hu(x) H(x)] x[H(x) I(x)] x[I(x) P(r)] Hu(m) H(m) yH(y) A(m) Supuesto

NO es posible deducir Q3 pues es imposible llegar a A(m) dado que no lo tenemos en las premisas. Adems, por ejemplo para el dominio D={r,m} la interpretacin {Hu(r)=V, Hu(m)=V, H(r)=V, H(m)=V, I(r)=V, I(m)=V, P(r)=V, P(m)=V, A(r)=V, A(m)=F} es un contraejemplo para el argumento x[Hu(x) H(x)], x[H(x) I(x)], x[I(x) P(r)] yH(y) A(m) pues hace ciertas las premisas y falsa la conclusin. Por tanto, NO se puede deducir Q3: yH(y) A(m).

Curso 2005/06

Actividades para el BIII: sistemas de deduccin

BIII-6.- Estudia la validez del siguiente argumento usando el mtodo de deduccin natural y siguiendo los pasos que te indicamos: P1: Todos los humanos saben hablar. P2: Cualquiera que sepa hablar es inteligente. P3: Cualquiera que sea inteligente es un primate. Q: Luego, Todos los humanos son primates. 1.- Definicin del marco conceptual, en D= {universo} y formalizacin del argumento: * Marco Conceptual (Argumento predicativo) Predicados de propiedad Hu(x): x es humano Ha(x): x sabe hablar I(x): x es inteligente Pr(x): x es un primate * Formalizacin: P1: x [Hu(x) Ha(x)] P2: x [Ha(x) I(x)] P3: x [I(x) Pr(x)] Q: x [Hu(x) Pr(x)] 2.- Aplicacin del mtodo de deduccin natural: Dado que la conclusin es una implicacin aplicaremos la regla Teorema de Deduccin: supondremos Hu(a) y llegaremos a Pr(a). De esta forma tendremos que Hu(a) Pr(a) y a continuacin aplicaremos la regla Introduccin del Universal. -1 -2 -3 4 5 6 7 8 9 10 11 12 x [Hu(x) Ha(x)] x [Ha(x) I(x)] x [I(x) Pr(x)] Hu(a) Hu(a) Ha(a) Ha(a) Ha(a) I(a) I(a) I(a) Pr(a) Pr(a) Hu(a) Pr(a) x [Hu(x) Pr(x)]

x [Hu(x) Pr(x)] Supuesto EU 1 MP 4,5 EU 2 MP 6,7 EU 3 MP 8,9 TD 4-10 IU 11

Curso 2005/06

Actividades para el BIII: sistemas de deduccin

BIII-7.- Estudia la validez del siguiente argumento usando el mtodo de deduccin natural y siguiendo los pasos que te indicamos: P1: Algunos humanos saben hablar. P2: Algunos de los que saben hablar son inteligentes. P3: Algunos de los que son inteligentes son primates. Q: Luego, algunos humanos son primates. 1.- Definicin del marco conceptual, en D= {universo} y formalizacin del argumento: * Marco Conceptual (Argumento predicativo) Predicados de propiedad Hu(x): x es humano; Ha(x): x sabe hablar I(x): x es inteligente; Pr(x): x es un primate * Formalizacin: P1: x [Hu(x) Ha(x)] P2: x [Ha(x) I(x)] P3: x [I(x) Pr(x)] Q: x [Hu(x) Pr(x)] 2.- Aplicacin del mtodo de deduccin natural: Necesitaramos llegar a Hu(a) Pr(a) para luego aplicar la regla Introduccin del Existencial, pero NO es posible puesto que tendremos que aplicar la regla Eliminacin del Existencial en 2 ocasiones, y ello nos llevar a abrir 2 supuestos con 2 individuos diferentes del dominio, debido a las restricciones de esta regla. Por ello, el individuo que supongamos que es humano y sabe hablar (por ej. a) ser diferente al que supongamos que es inteligente y primate (b). Podramos entonces llegar a obtener Hu(a) Pr(b) con a distinto de b por lo que no llegaramos a que exista un x que sea humano y primate. -1 -2 -3 4 5 6 7 8 x[Hu(x) Ha(x)] x[Ha(x) I(x)] x[I(x) Pr(x)] Hu(a) Ha(a) Hu(a) I(b) Pr(b) Pr(b) Hu(a) Pr(b)

x[Hu(x) Pr(x)] Supuesto EC 4 Supuesto EC 6 IC 5,7

No podemos utilizar al elemento a por las restricciones de EE

Adems, por ejemplo para el dominio D={a,b} la interpretacin {Hu(a)=V, Hu(b)=F, Ha(a)=V, Ha(b)=V, I(a)=V, I(b)=V, Pr(a)=F, Pr(b)=V} es un contraejemplo para el argumento x[Hu(x) Ha(x)], x[Ha(x) I(x)], x[I(x) Pr(x)] x[Hu(x) Pr(x)] pues hace ciertas las premisas y falsa la conclusin. Por tanto, NO se puede deducir Q: x[Hu(x) Pr(x)].

Curso 2005/06

Actividades para el BIII: sistemas de deduccin

BIII-8.a) Si tenemos queAlgunas chicas son guapas Podemos deducir que Todas las chicas lo son? Por qu? Demustralo usando deduccin natural. Usa D={chicas}. b) Comenta en qu casos se puede aplicar la regla de Introduccin del Universal (IU). a) Definicin del marco conceptual y formalizacin de las sentencias: * Marco Conceptual (Argumento predicativo) Predicados de propiedad Gu(x): x es guapa - No se considera la propiedad de ser chica porque D={chicas} * Formalizacin del argumento: x Gu(x) x Gu(x) 2.- Aplicacin del mtodo de deduccin natural: NO se puede deducir que todas las chicas sean guapas partiendo de que algunas lo sean. La causa ser una de las restricciones de la regla Introduccin del Universal, dado que partiendo de que alguien sea guapa ese alguien no estar libre de toda condicin anterior, pues figurar en un supuesto previo sin cancelar del que dependa ser guapa. -1 2 3 x Gu(x) Gu(a) x Gu(x) x Gu(x) Supuesto IU 2

NO
NO podemos introducir el universal para Gu(a) pues a figura en un supuesto previo sin cancelar del que depende Gu(a). Adems, por ejemplo para el dominio D={maria,ana} la interpretacin {Gu(maria)=V, Gu(ana)=F} es un contraejemplo para el argumento x Gu(x) x Gu(x) pues hace ciertas las premisas y falsa la conclusin. Por tanto, NO se puede deducir Q: x Gu(x). b) Comentario de las reglas de derivacin IU

P(a) x P(x)

(con restricciones)

Significado: Si un individuo del dominio a verifica una propiedad P, entonces podemos afirmar que todos los x del dominio la verifican si ese individuo que se ha elegido (a) es uno cualquiera y no uno en particular del universo, es decir, a es un individuo que tiene que estar libre de toda condicin anterior. Restriccin: Podemos decir que es lcito pasar de P(a) a x P(x) siempre que el individuo a no figure en ningn supuesto provisional previo sin cancelar del que dependa P(a) o en una premisa.

Curso 2005/06

Actividades para el BIII: sistemas de deduccin

BIII-9.a) Si tenemos queTodas las chicas son guapas Podemos deducir que Algunas chicas lo son? Por qu? Demustralo usando deduccin natural. Usa D={chicas}. b) Comenta cmo se aplican las reglas de Eliminacin del Universal (EU) y de Introduccin del Existencial (IE). a) Definicin del marco conceptual y formalizacin de las sentencias: * Marco Conceptual (Argumento predicativo) Predicados de propiedad Gu(x): x es guapa - No se considera la propiedad de ser chica porque D={chicas} * Formalizacin del argumento: x Gu(x) x Gu(x) 2.- Aplicacin del mtodo de deduccin natural: Se puede deducir que algunas chicas son guapas partiendo de que todas lo son. Aplicando las reglas Eliminacin del Universal e Introduccin del Existencial (no tienen ninguna restriccin) llegamos fcilmente a la conclusin. -1 2 3 x Gu(x) Gu(a) x Gu(x) x Gu(x) EU 1 IE 2

b) Comentario de las reglas de derivacin EU

x P(x) P(a)

Significado: De todos en general se pasa a este individuo en particular, es decir, si todos los elementos del dominio verifican una propiedad P, desde luego que cualquiera de ellos, por ejemplo a, tambin la verifica.

IE

P(a) x P(x)

Significado: Si un individuo cualquiera verifica una propiedad P, desde luego que existe uno por lo menos que verifica dicha propiedad.

Curso 2005/06