Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy...
Transcript of Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy...
![Page 1: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/1.jpg)
Lógica - CM0260La lógica de las relaciones
Andrés Sicard Ramírez
Universidad EAFIT
Semestre 2015-2
![Page 2: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/2.jpg)
Contexto
Lógica de predicados (de primer orden)Predicados monádicos (atributos)Predicados poliádicos (relaciones)
La lógica de las relaciones 2/112
![Page 3: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/3.jpg)
MotivaciónDeaño [1994] comienza la sección acerca de la lógica de las relaciones conel siguiente ejemplo [Deaño 1994, págs. 237–8]:
Ejemplo“Soy detective privado y tengo mi licencia desde hace bastante tiempo. Soyun tipo solitario, no estoy casado, estoy entrando en la edad madura y nosoy rico. He estado en la cárcel más de una vez y no me ocupo de divorcios.Me gusta la bebida, las mujeres (…) y algunas otras cosas. No soy muy delagrado de los polizontes (…). Soy hijo natural, mis padres han muerto, notengo hermanos ni hermanas, y si alguna vez llegan a dejarme tieso en unacallejuela oscura (…), nadie, ni hombre ni mujer, sentirá que ha desaparecidoel motivo y fundamento de su vida.”*
*Raymon Chandler (1972). El largo adiós. Versión castellana de J. A. Lara. BarralEditores, pág. 114.
La lógica de las relaciones 3/112
![Page 4: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/4.jpg)
MotivaciónEjemplo (continuación)Dicho de otro modo: 𝐷𝑎 ∧ 𝑇 𝑎 ∧ 𝑆𝑎 ∧ ∼(∀𝑥)𝐶𝑎𝑥 ∧ 𝐸𝑎 ∧ ∼𝑅𝑎 ∧ 𝐸′𝑎 ∧(∀𝑥)(𝐷′𝑥 ⊃ ∼𝑂𝑎𝑥)∧(∃𝑥)(∃𝑦)(∃𝑧)(∃𝑤)(𝐵𝑥∧𝑀𝑦∧∼𝐵𝑧∧∼𝑀𝑧∧∼𝐵𝑤∧∼𝑀𝑤∧𝐺𝑥𝑎∧𝐺𝑦𝑎∧𝐺𝑧𝑎∧𝐺𝑤𝑎)∧(∀𝑥)(𝑃𝑥 ⊃ ∼𝐴𝑎𝑥)∧(∀𝑥)(∀𝑦)[(𝑃𝑥𝑎∧𝑀𝑦𝑎) ⊃ ∼𝐶𝑥𝑦 ∧ 𝑀 ′𝑥 ∧ 𝑀 ′𝑦] ∧ ∼(∃𝑥)∼(∃𝑦)[𝐻𝑥 ∧ 𝑀𝑦 ∧ (𝐻𝑥𝑎 ∨ 𝐻𝑦𝑎)] ∧(∃𝑥)(𝑇 ′𝑥𝑎 ⊃ ∼(∃𝑦)[(𝐻𝑦 ∨ 𝑀𝑦) ∧ 𝑆′𝑦)].
(𝐷𝑥: 𝑥 es detective privado. 𝑇 𝑥: 𝑥 tiene su licencia desde hace bastantetiempo. 𝑆𝑥: 𝑥 es un tipo solitario. 𝐶𝑥𝑦: 𝑥 está casado con 𝑦. 𝐸𝑥: 𝑥 estáentrando en la edad madura. 𝑅𝑥: 𝑥 es rico. 𝐸′𝑥: 𝑥 ha estado en la cárcelmás de una vez. 𝐷′𝑥: 𝑥 es un divorcio. 𝑂𝑥𝑦: 𝑥 se ocupa de 𝑦. 𝐵𝑥: 𝑥 es unabebida. 𝑀𝑥: 𝑥 es una mujer. 𝐺𝑥𝑦: 𝑥 le gusta a 𝑦. 𝑃𝑥: 𝑥 es un polizonte.𝐴𝑥𝑦: 𝑥 no es muy del agrado de 𝑦. 𝑃𝑥𝑦: 𝑥 es padre de 𝑦. 𝑀𝑥𝑦: 𝑥 es madrede 𝑦. 𝑀 ′𝑥: 𝑥 está muerto. 𝐻𝑥: 𝑥 es un hombre. 𝐻𝑥𝑦: 𝑥 es hermano(a)de 𝑦. 𝑇 𝑥𝑦: 𝑥 deja tieso a 𝑦 en una callejuela oscura. 𝑆′𝑥: 𝑥 siente queha desaparecido el motivo y fundamento de su vida. 𝑎: El individuo quienhabla.)
La lógica de las relaciones 4/112
![Page 5: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/5.jpg)
MotivaciónEjemplo (continuación)Dicho de otro modo: 𝐷𝑎 ∧ 𝑇 𝑎 ∧ 𝑆𝑎 ∧ ∼(∀𝑥)𝐶𝑎𝑥 ∧ 𝐸𝑎 ∧ ∼𝑅𝑎 ∧ 𝐸′𝑎 ∧(∀𝑥)(𝐷′𝑥 ⊃ ∼𝑂𝑎𝑥)∧(∃𝑥)(∃𝑦)(∃𝑧)(∃𝑤)(𝐵𝑥∧𝑀𝑦∧∼𝐵𝑧∧∼𝑀𝑧∧∼𝐵𝑤∧∼𝑀𝑤∧𝐺𝑥𝑎∧𝐺𝑦𝑎∧𝐺𝑧𝑎∧𝐺𝑤𝑎)∧(∀𝑥)(𝑃𝑥 ⊃ ∼𝐴𝑎𝑥)∧(∀𝑥)(∀𝑦)[(𝑃𝑥𝑎∧𝑀𝑦𝑎) ⊃ ∼𝐶𝑥𝑦 ∧ 𝑀 ′𝑥 ∧ 𝑀 ′𝑦] ∧ ∼(∃𝑥)∼(∃𝑦)[𝐻𝑥 ∧ 𝑀𝑦 ∧ (𝐻𝑥𝑎 ∨ 𝐻𝑦𝑎)] ∧(∃𝑥)(𝑇 ′𝑥𝑎 ⊃ ∼(∃𝑦)[(𝐻𝑦 ∨ 𝑀𝑦) ∧ 𝑆′𝑦)].(𝐷𝑥: 𝑥 es detective privado. 𝑇 𝑥: 𝑥 tiene su licencia desde hace bastantetiempo. 𝑆𝑥: 𝑥 es un tipo solitario. 𝐶𝑥𝑦: 𝑥 está casado con 𝑦. 𝐸𝑥: 𝑥 estáentrando en la edad madura. 𝑅𝑥: 𝑥 es rico. 𝐸′𝑥: 𝑥 ha estado en la cárcelmás de una vez. 𝐷′𝑥: 𝑥 es un divorcio. 𝑂𝑥𝑦: 𝑥 se ocupa de 𝑦. 𝐵𝑥: 𝑥 es unabebida. 𝑀𝑥: 𝑥 es una mujer. 𝐺𝑥𝑦: 𝑥 le gusta a 𝑦. 𝑃𝑥: 𝑥 es un polizonte.𝐴𝑥𝑦: 𝑥 no es muy del agrado de 𝑦. 𝑃𝑥𝑦: 𝑥 es padre de 𝑦. 𝑀𝑥𝑦: 𝑥 es madrede 𝑦. 𝑀 ′𝑥: 𝑥 está muerto. 𝐻𝑥: 𝑥 es un hombre. 𝐻𝑥𝑦: 𝑥 es hermano(a)de 𝑦. 𝑇 𝑥𝑦: 𝑥 deja tieso a 𝑦 en una callejuela oscura. 𝑆′𝑥: 𝑥 siente queha desaparecido el motivo y fundamento de su vida. 𝑎: El individuo quienhabla.)
La lógica de las relaciones 5/112
![Page 6: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/6.jpg)
Motivación
Ejemplo (continuación)“Es decir: 𝑎 es detective privado y 𝑎 tiene su licencia desde hace bastantetiempo y 𝑎 es un tipo solitario y no hay ningún 𝑥 tal que 𝑎 esté casadocon 𝑥 y 𝑎 está entrando en la edad madura y 𝑎 no es rico y 𝑎 ha estadoen la cárcel más de una vez y para todo 𝑥, si 𝑥 es un divorcio entonces 𝑎no se ocupa de 𝑥 y hay algún 𝑥 tal que 𝑥 es una bebida y 𝑥 gusta a 𝑎 yhay algún 𝑦 tal que 𝑦 es una mujer e 𝑦 gusta a 𝑎 y hay algún 𝑧 y algún 𝑤que no son bebidas ni mujeres y que gustan a 𝑎, y para todo 𝑥, si 𝑥 esun polizonte, entonces 𝑎 no es muy del agrado de 𝑥, y para todo 𝑥 y paratodo 𝑦 si 𝑥 es padre de 𝑎 e 𝑦 es madre de 𝑎 entonces 𝑥 y 𝑦 no estuvieroncasados y 𝑥 está muerto e 𝑦 está muerta, y no hay ningún 𝑥 ni ningún 𝑦tales que si 𝑥 es varón e 𝑦 mujer, 𝑥 sea hermano de 𝑎 o 𝑦 sea hermana de 𝑎,y si hay algún 𝑥 tal que 𝑥 deja tieso a 𝑎 en una callejuela oscura, entoncesno habrá ningún 𝑦, sea varón o sea mujer, que sienta que ha desaparecidoel motivo y fundamento de su vida.”
La lógica de las relaciones 6/112
![Page 7: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/7.jpg)
MotivaciónCon base en el ejemplo anterior, Deaño [1994] concluye que si el lenguajelógico no dispusiera de predicados poliádicos:
nadie podría relatar en él su vida,tampoco sería posible traducir al simbolismo lógico los más sencillosenunciados de la ciencia. No sería posible enunciar siquiera que 2 esmenor que 3,y muchos sería los razonamientos que, siendo formalmente válidos, severían privados de su reconocimiento como tales.
La lógica de las relaciones 7/112
![Page 8: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/8.jpg)
MotivaciónCon base en el ejemplo anterior, Deaño [1994] concluye que si el lenguajelógico no dispusiera de predicados poliádicos:
nadie podría relatar en él su vida,
tampoco sería posible traducir al simbolismo lógico los más sencillosenunciados de la ciencia. No sería posible enunciar siquiera que 2 esmenor que 3,y muchos sería los razonamientos que, siendo formalmente válidos, severían privados de su reconocimiento como tales.
La lógica de las relaciones 8/112
![Page 9: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/9.jpg)
MotivaciónCon base en el ejemplo anterior, Deaño [1994] concluye que si el lenguajelógico no dispusiera de predicados poliádicos:
nadie podría relatar en él su vida,tampoco sería posible traducir al simbolismo lógico los más sencillosenunciados de la ciencia. No sería posible enunciar siquiera que 2 esmenor que 3,
y muchos sería los razonamientos que, siendo formalmente válidos, severían privados de su reconocimiento como tales.
La lógica de las relaciones 9/112
![Page 10: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/10.jpg)
MotivaciónCon base en el ejemplo anterior, Deaño [1994] concluye que si el lenguajelógico no dispusiera de predicados poliádicos:
nadie podría relatar en él su vida,tampoco sería posible traducir al simbolismo lógico los más sencillosenunciados de la ciencia. No sería posible enunciar siquiera que 2 esmenor que 3,y muchos sería los razonamientos que, siendo formalmente válidos, severían privados de su reconocimiento como tales.
La lógica de las relaciones 10/112
![Page 11: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/11.jpg)
RelacionesPredicados
Una variable libre: El predicado representa un atributo.
Dos variables libres: El predicado representa una relación binaria odiádica.Tres variables libres: El predicado representa una relación ternaria otriádica.𝑛 variables libres: El predicado representa una relación 𝑛-ádica.
La lógica de las relaciones 11/112
![Page 12: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/12.jpg)
RelacionesPredicados
Una variable libre: El predicado representa un atributo.Dos variables libres: El predicado representa una relación binaria odiádica.
Tres variables libres: El predicado representa una relación ternaria otriádica.𝑛 variables libres: El predicado representa una relación 𝑛-ádica.
La lógica de las relaciones 12/112
![Page 13: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/13.jpg)
RelacionesPredicados
Una variable libre: El predicado representa un atributo.Dos variables libres: El predicado representa una relación binaria odiádica.Tres variables libres: El predicado representa una relación ternaria otriádica.
𝑛 variables libres: El predicado representa una relación 𝑛-ádica.
La lógica de las relaciones 13/112
![Page 14: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/14.jpg)
RelacionesPredicados
Una variable libre: El predicado representa un atributo.Dos variables libres: El predicado representa una relación binaria odiádica.Tres variables libres: El predicado representa una relación ternaria otriádica.𝑛 variables libres: El predicado representa una relación 𝑛-ádica.
La lógica de las relaciones 14/112
![Page 15: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/15.jpg)
Representación de enunciadosProposiciones sin cuantificadores
EjemploLincon y Grant fueron presidentes.𝑃 𝑥: 𝑥 fue presidente𝑙: Lincon𝑔: GrantRepresentación: 𝑃𝑙 ∧ 𝑃𝑔
EjemploLincon y Grant eran amigos.𝐴𝑥𝑦: 𝑥 y 𝑦 eran amigos.Representación: 𝐴𝑙𝑔Observación: 𝐴𝑥𝑦: 𝑥 era amigo de 𝑦.
La lógica de las relaciones 15/112
![Page 16: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/16.jpg)
Representación de enunciadosProposiciones sin cuantificadores
EjemploLincon y Grant fueron presidentes.𝑃 𝑥: 𝑥 fue presidente𝑙: Lincon𝑔: GrantRepresentación: 𝑃𝑙 ∧ 𝑃 𝑔
EjemploLincon y Grant eran amigos.𝐴𝑥𝑦: 𝑥 y 𝑦 eran amigos.Representación: 𝐴𝑙𝑔Observación: 𝐴𝑥𝑦: 𝑥 era amigo de 𝑦.
La lógica de las relaciones 16/112
![Page 17: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/17.jpg)
Representación de enunciadosProposiciones sin cuantificadores
EjemploLincon y Grant fueron presidentes.𝑃 𝑥: 𝑥 fue presidente𝑙: Lincon𝑔: GrantRepresentación: 𝑃𝑙 ∧ 𝑃 𝑔
EjemploLincon y Grant eran amigos.𝐴𝑥𝑦: 𝑥 y 𝑦 eran amigos.Representación: 𝐴𝑙𝑔
Observación: 𝐴𝑥𝑦: 𝑥 era amigo de 𝑦.
La lógica de las relaciones 17/112
![Page 18: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/18.jpg)
Representación de enunciadosProposiciones sin cuantificadores
EjemploLincon y Grant fueron presidentes.𝑃 𝑥: 𝑥 fue presidente𝑙: Lincon𝑔: GrantRepresentación: 𝑃𝑙 ∧ 𝑃 𝑔
EjemploLincon y Grant eran amigos.𝐴𝑥𝑦: 𝑥 y 𝑦 eran amigos.Representación: 𝐴𝑙𝑔Observación: 𝐴𝑥𝑦: 𝑥 era amigo de 𝑦.
La lógica de las relaciones 18/112
![Page 19: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/19.jpg)
Representación de enunciadosProposiciones con sólo un cuantificador
EjemploA Elena le gusta David. A cualquiera que le guste David le gusta Tomás.A Elena sólo le gustan los hombres bien parecidos. Por lo tanto, Tomás esun hombre bien parecido.𝑒: Elena𝑑: David𝑡: Tomás𝐺𝑥𝑦: A 𝑥 le gusta 𝑦𝑃 𝑥: 𝑥 es un hombre bien parecido
1 𝐺𝑒𝑑2 (∀𝑥)(𝐺𝑥𝑑 ⊃ 𝐺𝑥𝑡)3 (∀𝑥)(𝐺𝑒𝑥 ⊃ 𝑃𝑥) /∴ 𝑃𝑡
La lógica de las relaciones 19/112
![Page 20: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/20.jpg)
Representación de enunciadosProposiciones con sólo un cuantificador
EjemploA Elena le gusta David. A cualquiera que le guste David le gusta Tomás.A Elena sólo le gustan los hombres bien parecidos. Por lo tanto, Tomás esun hombre bien parecido.𝑒: Elena𝑑: David𝑡: Tomás𝐺𝑥𝑦: A 𝑥 le gusta 𝑦𝑃 𝑥: 𝑥 es un hombre bien parecido
1 𝐺𝑒𝑑2 (∀𝑥)(𝐺𝑥𝑑 ⊃ 𝐺𝑥𝑡)3 (∀𝑥)(𝐺𝑒𝑥 ⊃ 𝑃𝑥) /∴ 𝑃𝑡
La lógica de las relaciones 20/112
![Page 21: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/21.jpg)
Representación de enunciadosProposiciones con sólo un cuantificador
EjemploA Elena le gusta David. A cualquiera que le guste David le gusta Tomás.A Elena sólo le gustan los hombres bien parecidos. Por lo tanto, Tomás esun hombre bien parecido.𝑒: Elena𝑑: David𝑡: Tomás𝐺𝑥𝑦: A 𝑥 le gusta 𝑦𝑃 𝑥: 𝑥 es un hombre bien parecido
1 𝐺𝑒𝑑2 (∀𝑥)(𝐺𝑥𝑑 ⊃ 𝐺𝑥𝑡)3 (∀𝑥)(𝐺𝑒𝑥 ⊃ 𝑃𝑥) /∴ 𝑃𝑡
La lógica de las relaciones 21/112
![Page 22: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/22.jpg)
Representación de enunciados
Proposiciones con sólo un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
𝑎 atrae todo (todo es atraído por 𝑎): (∀𝑥)𝐴𝑎𝑥𝑎 atrae algo (algo es atraído por 𝑎): (∃𝑥)𝐴𝑎𝑥Todo atrae a 𝑎 (𝑎 es atraído por todo): (∀𝑥)𝐴𝑥𝑎Algo atrae a 𝑎 (𝑎 es atraído por algo): (∃𝑥)𝐴𝑥𝑎
La lógica de las relaciones 22/112
![Page 23: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/23.jpg)
Representación de enunciados
Proposiciones con sólo un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
𝑎 atrae todo (todo es atraído por 𝑎): (∀𝑥)𝐴𝑎𝑥
𝑎 atrae algo (algo es atraído por 𝑎): (∃𝑥)𝐴𝑎𝑥Todo atrae a 𝑎 (𝑎 es atraído por todo): (∀𝑥)𝐴𝑥𝑎Algo atrae a 𝑎 (𝑎 es atraído por algo): (∃𝑥)𝐴𝑥𝑎
La lógica de las relaciones 23/112
![Page 24: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/24.jpg)
Representación de enunciados
Proposiciones con sólo un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
𝑎 atrae todo (todo es atraído por 𝑎): (∀𝑥)𝐴𝑎𝑥𝑎 atrae algo (algo es atraído por 𝑎): (∃𝑥)𝐴𝑎𝑥
Todo atrae a 𝑎 (𝑎 es atraído por todo): (∀𝑥)𝐴𝑥𝑎Algo atrae a 𝑎 (𝑎 es atraído por algo): (∃𝑥)𝐴𝑥𝑎
La lógica de las relaciones 24/112
![Page 25: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/25.jpg)
Representación de enunciados
Proposiciones con sólo un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
𝑎 atrae todo (todo es atraído por 𝑎): (∀𝑥)𝐴𝑎𝑥𝑎 atrae algo (algo es atraído por 𝑎): (∃𝑥)𝐴𝑎𝑥Todo atrae a 𝑎 (𝑎 es atraído por todo): (∀𝑥)𝐴𝑥𝑎
Algo atrae a 𝑎 (𝑎 es atraído por algo): (∃𝑥)𝐴𝑥𝑎
La lógica de las relaciones 25/112
![Page 26: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/26.jpg)
Representación de enunciados
Proposiciones con sólo un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
𝑎 atrae todo (todo es atraído por 𝑎): (∀𝑥)𝐴𝑎𝑥𝑎 atrae algo (algo es atraído por 𝑎): (∃𝑥)𝐴𝑎𝑥Todo atrae a 𝑎 (𝑎 es atraído por todo): (∀𝑥)𝐴𝑥𝑎Algo atrae a 𝑎 (𝑎 es atraído por algo): (∃𝑥)𝐴𝑥𝑎
La lógica de las relaciones 26/112
![Page 27: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/27.jpg)
Representación de enunciadosProposiciones con más de un cuantificador
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
1 Todo atrae todo: (∀𝑥)(∀𝑦)𝐴𝑥𝑦2 Todo es atraído por todo: (∀𝑦)(∀𝑥)𝐴𝑥𝑦3 Algo atrae algo: (∃𝑥)(∃𝑦)𝐴𝑥𝑦4 Algo es atraído por algo: (∃𝑦)(∃𝑥)𝐴𝑥𝑦5 Nada atrae cosa alguna: (∀𝑥)(∀𝑦)∼𝐴𝑥𝑦6 Nada es atraído por cosa alguna: (∀𝑦)(∀𝑥)∼𝐴𝑥𝑦
Observación: El orden de cuantificadores iguales no importa. Lasproposiciones 1 y 2 , 3 y 4 , y 5 y 6 son lógicamente equivalentes.
La lógica de las relaciones 27/112
![Page 28: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/28.jpg)
Representación de enunciadosProposiciones con más de un cuantificador
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
1 Todo atrae todo: (∀𝑥)(∀𝑦)𝐴𝑥𝑦
2 Todo es atraído por todo: (∀𝑦)(∀𝑥)𝐴𝑥𝑦3 Algo atrae algo: (∃𝑥)(∃𝑦)𝐴𝑥𝑦4 Algo es atraído por algo: (∃𝑦)(∃𝑥)𝐴𝑥𝑦5 Nada atrae cosa alguna: (∀𝑥)(∀𝑦)∼𝐴𝑥𝑦6 Nada es atraído por cosa alguna: (∀𝑦)(∀𝑥)∼𝐴𝑥𝑦
Observación: El orden de cuantificadores iguales no importa. Lasproposiciones 1 y 2 , 3 y 4 , y 5 y 6 son lógicamente equivalentes.
La lógica de las relaciones 28/112
![Page 29: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/29.jpg)
Representación de enunciadosProposiciones con más de un cuantificador
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
1 Todo atrae todo: (∀𝑥)(∀𝑦)𝐴𝑥𝑦2 Todo es atraído por todo: (∀𝑦)(∀𝑥)𝐴𝑥𝑦
3 Algo atrae algo: (∃𝑥)(∃𝑦)𝐴𝑥𝑦4 Algo es atraído por algo: (∃𝑦)(∃𝑥)𝐴𝑥𝑦5 Nada atrae cosa alguna: (∀𝑥)(∀𝑦)∼𝐴𝑥𝑦6 Nada es atraído por cosa alguna: (∀𝑦)(∀𝑥)∼𝐴𝑥𝑦
Observación: El orden de cuantificadores iguales no importa. Lasproposiciones 1 y 2 , 3 y 4 , y 5 y 6 son lógicamente equivalentes.
La lógica de las relaciones 29/112
![Page 30: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/30.jpg)
Representación de enunciadosProposiciones con más de un cuantificador
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
1 Todo atrae todo: (∀𝑥)(∀𝑦)𝐴𝑥𝑦2 Todo es atraído por todo: (∀𝑦)(∀𝑥)𝐴𝑥𝑦3 Algo atrae algo: (∃𝑥)(∃𝑦)𝐴𝑥𝑦
4 Algo es atraído por algo: (∃𝑦)(∃𝑥)𝐴𝑥𝑦5 Nada atrae cosa alguna: (∀𝑥)(∀𝑦)∼𝐴𝑥𝑦6 Nada es atraído por cosa alguna: (∀𝑦)(∀𝑥)∼𝐴𝑥𝑦
Observación: El orden de cuantificadores iguales no importa. Lasproposiciones 1 y 2 , 3 y 4 , y 5 y 6 son lógicamente equivalentes.
La lógica de las relaciones 30/112
![Page 31: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/31.jpg)
Representación de enunciadosProposiciones con más de un cuantificador
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
1 Todo atrae todo: (∀𝑥)(∀𝑦)𝐴𝑥𝑦2 Todo es atraído por todo: (∀𝑦)(∀𝑥)𝐴𝑥𝑦3 Algo atrae algo: (∃𝑥)(∃𝑦)𝐴𝑥𝑦4 Algo es atraído por algo: (∃𝑦)(∃𝑥)𝐴𝑥𝑦
5 Nada atrae cosa alguna: (∀𝑥)(∀𝑦)∼𝐴𝑥𝑦6 Nada es atraído por cosa alguna: (∀𝑦)(∀𝑥)∼𝐴𝑥𝑦
Observación: El orden de cuantificadores iguales no importa. Lasproposiciones 1 y 2 , 3 y 4 , y 5 y 6 son lógicamente equivalentes.
La lógica de las relaciones 31/112
![Page 32: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/32.jpg)
Representación de enunciadosProposiciones con más de un cuantificador
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
1 Todo atrae todo: (∀𝑥)(∀𝑦)𝐴𝑥𝑦2 Todo es atraído por todo: (∀𝑦)(∀𝑥)𝐴𝑥𝑦3 Algo atrae algo: (∃𝑥)(∃𝑦)𝐴𝑥𝑦4 Algo es atraído por algo: (∃𝑦)(∃𝑥)𝐴𝑥𝑦5 Nada atrae cosa alguna: (∀𝑥)(∀𝑦)∼𝐴𝑥𝑦
6 Nada es atraído por cosa alguna: (∀𝑦)(∀𝑥)∼𝐴𝑥𝑦Observación: El orden de cuantificadores iguales no importa. Lasproposiciones 1 y 2 , 3 y 4 , y 5 y 6 son lógicamente equivalentes.
La lógica de las relaciones 32/112
![Page 33: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/33.jpg)
Representación de enunciadosProposiciones con más de un cuantificador
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
1 Todo atrae todo: (∀𝑥)(∀𝑦)𝐴𝑥𝑦2 Todo es atraído por todo: (∀𝑦)(∀𝑥)𝐴𝑥𝑦3 Algo atrae algo: (∃𝑥)(∃𝑦)𝐴𝑥𝑦4 Algo es atraído por algo: (∃𝑦)(∃𝑥)𝐴𝑥𝑦5 Nada atrae cosa alguna: (∀𝑥)(∀𝑦)∼𝐴𝑥𝑦6 Nada es atraído por cosa alguna: (∀𝑦)(∀𝑥)∼𝐴𝑥𝑦
Observación: El orden de cuantificadores iguales no importa. Lasproposiciones 1 y 2 , 3 y 4 , y 5 y 6 son lógicamente equivalentes.
La lógica de las relaciones 33/112
![Page 34: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/34.jpg)
Representación de enunciadosProposiciones con más de un cuantificador
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
1 Todo atrae todo: (∀𝑥)(∀𝑦)𝐴𝑥𝑦2 Todo es atraído por todo: (∀𝑦)(∀𝑥)𝐴𝑥𝑦3 Algo atrae algo: (∃𝑥)(∃𝑦)𝐴𝑥𝑦4 Algo es atraído por algo: (∃𝑦)(∃𝑥)𝐴𝑥𝑦5 Nada atrae cosa alguna: (∀𝑥)(∀𝑦)∼𝐴𝑥𝑦6 Nada es atraído por cosa alguna: (∀𝑦)(∀𝑥)∼𝐴𝑥𝑦
Observación: El orden de cuantificadores iguales no importa. Lasproposiciones 1 y 2 , 3 y 4 , y 5 y 6 son lógicamente equivalentes.
La lógica de las relaciones 34/112
![Page 35: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/35.jpg)
Representación de enunciados
Proposiciones con más de un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
7 Todo atrae algo: (∀𝑥)(∃𝑦)𝐴𝑥𝑦8 Algo es atraído por todo: (∃𝑦)(∀𝑥)𝐴𝑥𝑦
Observación: El orden de cuantificadores diferentes importa. Lasproposiciones 7 y 8 no son lógicamente equivalentes.
La lógica de las relaciones 35/112
![Page 36: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/36.jpg)
Representación de enunciados
Proposiciones con más de un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
7 Todo atrae algo: (∀𝑥)(∃𝑦)𝐴𝑥𝑦
8 Algo es atraído por todo: (∃𝑦)(∀𝑥)𝐴𝑥𝑦Observación: El orden de cuantificadores diferentes importa. Lasproposiciones 7 y 8 no son lógicamente equivalentes.
La lógica de las relaciones 36/112
![Page 37: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/37.jpg)
Representación de enunciados
Proposiciones con más de un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
7 Todo atrae algo: (∀𝑥)(∃𝑦)𝐴𝑥𝑦8 Algo es atraído por todo: (∃𝑦)(∀𝑥)𝐴𝑥𝑦
Observación: El orden de cuantificadores diferentes importa. Lasproposiciones 7 y 8 no son lógicamente equivalentes.
La lógica de las relaciones 37/112
![Page 38: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/38.jpg)
Representación de enunciados
Proposiciones con más de un cuantificador (continuación)
Ejemplo𝐴𝑥𝑦: 𝑥 atrae a 𝑦
7 Todo atrae algo: (∀𝑥)(∃𝑦)𝐴𝑥𝑦8 Algo es atraído por todo: (∃𝑦)(∀𝑥)𝐴𝑥𝑦
Observación: El orden de cuantificadores diferentes importa. Lasproposiciones 7 y 8 no son lógicamente equivalentes.
La lógica de las relaciones 38/112
![Page 39: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/39.jpg)
Representación de enunciados
Proposiciones con más de un cuantificador (continuación)
Ejemplo
Proposición ℕ ℤ(∀𝑥)(∃𝑦) 𝑥 ≥ 𝑦 ✓ ✓(∃𝑦)(∀𝑥) 𝑥 ≥ 𝑦 ✓ ×
Proposición ℕ ℤ(∀𝑦)(∃𝑥) 𝑥 ≥ 𝑦 ✓ ✓(∃𝑥)(∀𝑦) 𝑥 ≥ 𝑦 × ×
La lógica de las relaciones 39/112
![Page 40: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/40.jpg)
Representación de enunciados
Proposiciones con más de un cuantificador (continuación)
Ejemplo
Proposición ℕ ℤ(∀𝑥)(∃𝑦) 𝑥 ≥ 𝑦 ✓ ✓(∃𝑦)(∀𝑥) 𝑥 ≥ 𝑦 ✓ ×
Proposición ℕ ℤ(∀𝑦)(∃𝑥) 𝑥 ≥ 𝑦 ✓ ✓(∃𝑥)(∀𝑦) 𝑥 ≥ 𝑦 × ×
La lógica de las relaciones 40/112
![Page 41: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/41.jpg)
Representación de enunciados
Ejemplo (Copi [1998], translación paso a paso, pág. 150)1 Cualquiera que prometa todo a todos está seguro de decepcionar a
alguien.
2 (∀𝑥){[(𝑥 es una persona) ∧ (𝑥 promete todo a todos)] ⊃[𝑥 decepciona a alguien]}
3 𝑥 promete todo a todos:(∀𝑦)[(𝑦 es una persona) ⊃ (𝑥 promete todo a 𝑦)]es decir(∀𝑦)[(𝑦 es una persona) ⊃ (∀𝑧)(𝑥 promete 𝑧 a 𝑦)]
4 𝑥 decepciona a alguien:(∃𝑢)[(𝑢 es una persona) ∧ (𝑥 decepciona a 𝑢)]
La lógica de las relaciones 41/112
![Page 42: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/42.jpg)
Representación de enunciados
Ejemplo (Copi [1998], translación paso a paso, pág. 150)1 Cualquiera que prometa todo a todos está seguro de decepcionar a
alguien.2 (∀𝑥){[(𝑥 es una persona) ∧ (𝑥 promete todo a todos)] ⊃
[𝑥 decepciona a alguien]}
3 𝑥 promete todo a todos:(∀𝑦)[(𝑦 es una persona) ⊃ (𝑥 promete todo a 𝑦)]es decir(∀𝑦)[(𝑦 es una persona) ⊃ (∀𝑧)(𝑥 promete 𝑧 a 𝑦)]
4 𝑥 decepciona a alguien:(∃𝑢)[(𝑢 es una persona) ∧ (𝑥 decepciona a 𝑢)]
La lógica de las relaciones 42/112
![Page 43: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/43.jpg)
Representación de enunciados
Ejemplo (Copi [1998], translación paso a paso, pág. 150)1 Cualquiera que prometa todo a todos está seguro de decepcionar a
alguien.2 (∀𝑥){[(𝑥 es una persona) ∧ (𝑥 promete todo a todos)] ⊃
[𝑥 decepciona a alguien]}3 𝑥 promete todo a todos:
(∀𝑦)[(𝑦 es una persona) ⊃ (𝑥 promete todo a 𝑦)]es decir(∀𝑦)[(𝑦 es una persona) ⊃ (∀𝑧)(𝑥 promete 𝑧 a 𝑦)]
4 𝑥 decepciona a alguien:(∃𝑢)[(𝑢 es una persona) ∧ (𝑥 decepciona a 𝑢)]
La lógica de las relaciones 43/112
![Page 44: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/44.jpg)
Representación de enunciados
Ejemplo (Copi [1998], translación paso a paso, pág. 150)1 Cualquiera que prometa todo a todos está seguro de decepcionar a
alguien.2 (∀𝑥){[(𝑥 es una persona) ∧ (𝑥 promete todo a todos)] ⊃
[𝑥 decepciona a alguien]}3 𝑥 promete todo a todos:
(∀𝑦)[(𝑦 es una persona) ⊃ (𝑥 promete todo a 𝑦)]es decir(∀𝑦)[(𝑦 es una persona) ⊃ (∀𝑧)(𝑥 promete 𝑧 a 𝑦)]
4 𝑥 decepciona a alguien:(∃𝑢)[(𝑢 es una persona) ∧ (𝑥 decepciona a 𝑢)]
La lógica de las relaciones 44/112
![Page 45: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/45.jpg)
Representación de enunciados
Ejemplo (continuación)5 (∀𝑥){{(𝑥 es una persona) ∧ (∀𝑦)[(𝑦 es una persona) ⊃
(∀𝑧)(𝑥 promete 𝑧 a 𝑦)]} ⊃(∃𝑢)[(𝑢 es una persona) ∧ (𝑥 decepciona a 𝑢)]}
6 (∀𝑥){{𝑃𝑥 ∧ (∀𝑦)[𝑃𝑦 ⊃ (∀𝑧)𝑃𝑥𝑧𝑦]} ⊃ (∃𝑢)(𝑃𝑢 ∧ 𝐷𝑥𝑢)}(𝑃𝑥: 𝑥 es una persona. 𝑃𝑥𝑦𝑧: 𝑥 promete 𝑦 a 𝑧. 𝐷𝑥𝑦: 𝑥 decepcionaa 𝑦.)Observación: Símbolos 𝑃𝑥 y 𝑃𝑥𝑦𝑧.
La lógica de las relaciones 45/112
![Page 46: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/46.jpg)
Representación de enunciados
Ejemplo (continuación)5 (∀𝑥){{(𝑥 es una persona) ∧ (∀𝑦)[(𝑦 es una persona) ⊃
(∀𝑧)(𝑥 promete 𝑧 a 𝑦)]} ⊃(∃𝑢)[(𝑢 es una persona) ∧ (𝑥 decepciona a 𝑢)]}
6 (∀𝑥){{𝑃𝑥 ∧ (∀𝑦)[𝑃𝑦 ⊃ (∀𝑧)𝑃 𝑥𝑧𝑦]} ⊃ (∃𝑢)(𝑃𝑢 ∧ 𝐷𝑥𝑢)}(𝑃𝑥: 𝑥 es una persona. 𝑃𝑥𝑦𝑧: 𝑥 promete 𝑦 a 𝑧. 𝐷𝑥𝑦: 𝑥 decepcionaa 𝑦.)Observación: Símbolos 𝑃𝑥 y 𝑃𝑥𝑦𝑧.
La lógica de las relaciones 46/112
![Page 47: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/47.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.3, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Un león muerto es más peligroso que un perro vivo. (𝐿𝑥: 𝑥 es un león.𝑉 𝑥: 𝑥 está vivo. 𝑃𝑥: 𝑥 es un perro. 𝑃 𝑥𝑦: 𝑥 es más peligro que 𝑦).
Representación: (∀𝑥)(∀𝑦){[(𝐿𝑥 ∧ ∼𝑉 𝑥) ∧ (𝑃𝑦 ∧ 𝑉 𝑦)] ⊃ 𝑃𝑥𝑦}
La lógica de las relaciones 47/112
![Page 48: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/48.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.3, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Un león muerto es más peligroso que un perro vivo. (𝐿𝑥: 𝑥 es un león.𝑉 𝑥: 𝑥 está vivo. 𝑃𝑥: 𝑥 es un perro. 𝑃 𝑥𝑦: 𝑥 es más peligro que 𝑦).Representación: (∀𝑥)(∀𝑦){[(𝐿𝑥 ∧ ∼𝑉 𝑥) ∧ (𝑃𝑦 ∧ 𝑉 𝑦)] ⊃ 𝑃𝑥𝑦}
La lógica de las relaciones 48/112
![Page 49: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/49.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.6, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Cualquiera que consulte a un psiquiatra debiera hacerse examinar de lacabeza. (𝑃𝑥: 𝑥 es una persona. 𝑆𝑥: 𝑥 es un psiquiatra. 𝐷𝑥: 𝑥 debierahacerse examinar de la cabeza. 𝐶𝑥𝑦: 𝑥 consulta a 𝑦.)
Representación: (∀𝑥){[𝑃𝑥 ∧ (∃𝑦)(𝑆𝑦 ∧ 𝐶𝑥𝑦)] ⊃ 𝐷𝑥}
La lógica de las relaciones 49/112
![Page 50: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/50.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.6, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Cualquiera que consulte a un psiquiatra debiera hacerse examinar de lacabeza. (𝑃𝑥: 𝑥 es una persona. 𝑆𝑥: 𝑥 es un psiquiatra. 𝐷𝑥: 𝑥 debierahacerse examinar de la cabeza. 𝐶𝑥𝑦: 𝑥 consulta a 𝑦.)Representación: (∀𝑥){[𝑃𝑥 ∧ (∃𝑦)(𝑆𝑦 ∧ 𝐶𝑥𝑦)] ⊃ 𝐷𝑥}
La lógica de las relaciones 50/112
![Page 51: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/51.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.12, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Todo estudiante hace algunos problemas pero ningún estudiante hace todoslos problemas (𝐸𝑥: 𝑥 es un estudiante. 𝑃𝑥: 𝑥 es un problema. 𝐻𝑥𝑦: 𝑥hace 𝑦.)
Representación: La palabra ‘pero’ indica que debemos representar la oraciónempleando una conjunción.‘Todo estudiante hace algunos problemas’ se representa por:(∀𝑥)[𝐸𝑥 ⊃ (∃𝑦)(𝑃𝑦 ∧ 𝐻𝑥𝑦)].Observación: Una representación errónea sería(∀𝑥)(∃𝑦)[(𝐸𝑥 ∧ 𝑃𝑦) ⊃ 𝐻𝑥𝑦)](piense en un universo con un individuo 𝑎 tal que 𝐸𝑎 y ∼𝑃𝑎).
La lógica de las relaciones 51/112
![Page 52: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/52.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.12, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Todo estudiante hace algunos problemas pero ningún estudiante hace todoslos problemas (𝐸𝑥: 𝑥 es un estudiante. 𝑃𝑥: 𝑥 es un problema. 𝐻𝑥𝑦: 𝑥hace 𝑦.)Representación: La palabra ‘pero’ indica que debemos representar la oraciónempleando una conjunción.‘Todo estudiante hace algunos problemas’ se representa por:(∀𝑥)[𝐸𝑥 ⊃ (∃𝑦)(𝑃𝑦 ∧ 𝐻𝑥𝑦)].
Observación: Una representación errónea sería(∀𝑥)(∃𝑦)[(𝐸𝑥 ∧ 𝑃𝑦) ⊃ 𝐻𝑥𝑦)](piense en un universo con un individuo 𝑎 tal que 𝐸𝑎 y ∼𝑃𝑎).
La lógica de las relaciones 52/112
![Page 53: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/53.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.12, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Todo estudiante hace algunos problemas pero ningún estudiante hace todoslos problemas (𝐸𝑥: 𝑥 es un estudiante. 𝑃𝑥: 𝑥 es un problema. 𝐻𝑥𝑦: 𝑥hace 𝑦.)Representación: La palabra ‘pero’ indica que debemos representar la oraciónempleando una conjunción.‘Todo estudiante hace algunos problemas’ se representa por:(∀𝑥)[𝐸𝑥 ⊃ (∃𝑦)(𝑃𝑦 ∧ 𝐻𝑥𝑦)].Observación: Una representación errónea sería(∀𝑥)(∃𝑦)[(𝐸𝑥 ∧ 𝑃𝑦) ⊃ 𝐻𝑥𝑦)](piense en un universo con un individuo 𝑎 tal que 𝐸𝑎 y ∼𝑃𝑎).
La lógica de las relaciones 53/112
![Page 54: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/54.jpg)
Representación de enunciados
Ejercicio (continuación)‘Ningún estudiante hace todos los problemas’ se representa por:∼(∃𝑥)[𝐸𝑥 ∧ (∀𝑦)(𝑃𝑦 ⊃ 𝐻𝑥𝑦)] o(∀𝑥)[𝐸𝑥 ⊃ (∃𝑦)(𝑃𝑦 ∧ ∼𝐻𝑥𝑦)].Una representación de la oración es:(∀𝑥)[𝐸𝑥 ⊃ (∃𝑦)(𝑃𝑦 ∧ 𝐻𝑥𝑦)] ∧ ∼(∃𝑥)[𝐸𝑥 ∧ (∀𝑦)(𝑃𝑦 ⊃ 𝐻𝑥𝑦)].
La lógica de las relaciones 54/112
![Page 55: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/55.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.14, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Todo hijo tiene un padre, pero no todo padre tiene un hijo (𝑃𝑥: 𝑥 es unapersona. 𝐻𝑥: 𝑥 es un hombre. 𝑃𝑥𝑦: 𝑥 es padre de 𝑦.)
Representación: La palabra ‘pero’ indica que debemos representar la oraciónempleando una conjunción.‘Todo hijo tiene un padre’ se representa por:(∀𝑥)[(𝑃𝑥 ∧ 𝐻𝑥) ⊃ (∃𝑦)𝑃𝑦𝑥].Observación: Una representación errónea sería(∀𝑥)(∃𝑦)[(𝑃𝑥 ∧ 𝐻𝑥) ⊃ 𝑃𝑦𝑥)](piense en un universo con dos individuos 𝑎 y 𝑏 tal que ∼𝐻𝑎, 𝐻𝑏, ∼𝑃𝑎,𝑃𝑏, 𝑃 𝑎𝑎, ∼𝑃𝑎𝑏, ∼𝑃𝑏𝑎 y ∼𝑃𝑏𝑏).
La lógica de las relaciones 55/112
![Page 56: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/56.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.14, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Todo hijo tiene un padre, pero no todo padre tiene un hijo (𝑃𝑥: 𝑥 es unapersona. 𝐻𝑥: 𝑥 es un hombre. 𝑃𝑥𝑦: 𝑥 es padre de 𝑦.)Representación: La palabra ‘pero’ indica que debemos representar la oraciónempleando una conjunción.‘Todo hijo tiene un padre’ se representa por:(∀𝑥)[(𝑃𝑥 ∧ 𝐻𝑥) ⊃ (∃𝑦)𝑃 𝑦𝑥].
Observación: Una representación errónea sería(∀𝑥)(∃𝑦)[(𝑃𝑥 ∧ 𝐻𝑥) ⊃ 𝑃𝑦𝑥)](piense en un universo con dos individuos 𝑎 y 𝑏 tal que ∼𝐻𝑎, 𝐻𝑏, ∼𝑃𝑎,𝑃𝑏, 𝑃 𝑎𝑎, ∼𝑃𝑎𝑏, ∼𝑃𝑏𝑎 y ∼𝑃𝑏𝑏).
La lógica de las relaciones 56/112
![Page 57: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/57.jpg)
Representación de enunciados
Ejercicio (Copi [1998], ejercicio II.14, pág. 154)Simbolizar la siguiente oración usando los símbolos indicados.Todo hijo tiene un padre, pero no todo padre tiene un hijo (𝑃𝑥: 𝑥 es unapersona. 𝐻𝑥: 𝑥 es un hombre. 𝑃𝑥𝑦: 𝑥 es padre de 𝑦.)Representación: La palabra ‘pero’ indica que debemos representar la oraciónempleando una conjunción.‘Todo hijo tiene un padre’ se representa por:(∀𝑥)[(𝑃𝑥 ∧ 𝐻𝑥) ⊃ (∃𝑦)𝑃 𝑦𝑥].Observación: Una representación errónea sería(∀𝑥)(∃𝑦)[(𝑃𝑥 ∧ 𝐻𝑥) ⊃ 𝑃 𝑦𝑥)](piense en un universo con dos individuos 𝑎 y 𝑏 tal que ∼𝐻𝑎, 𝐻𝑏, ∼𝑃𝑎,𝑃 𝑏, 𝑃𝑎𝑎, ∼𝑃𝑎𝑏, ∼𝑃 𝑏𝑎 y ∼𝑃𝑏𝑏).
La lógica de las relaciones 57/112
![Page 58: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/58.jpg)
Representación de enunciados
Ejercicio (continuación)‘No todo padre tiene un hijo’ se representa por:(∃𝑥)(∀𝑦)[(𝑃𝑥 ∧ 𝑃𝑥𝑦) ⊃ ∼𝐻𝑦] o ∼(∀𝑥)(∃𝑦)(𝑃𝑥 ∧ 𝑃𝑥𝑦 ∧ 𝐻𝑦).Una representación de la oración es:(∀𝑥)[(𝑃𝑥 ∧ 𝐻𝑥) ⊃ (∃𝑦)𝑃𝑥𝑦] ∧ (∃𝑥)(∀𝑦)[(𝑃𝑥 ∧ 𝑃𝑥𝑦) ⊃ ∼𝐻𝑦].
La lógica de las relaciones 58/112
![Page 59: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/59.jpg)
Representación de argumentos
Ejercicio (Copi [1998], ejercicio II.2, pág. 159)Simbolizar el siguiente argumento usando los símbolos indicados.Todos los círculos son figuras. Por lo tanto, todos los que trazan círculostrazan figuras. (𝐶𝑥: 𝑥 es un círculo. 𝐹𝑥: 𝑥 es una figura. 𝑇 𝑥𝑦: 𝑥 traza 𝑦.)
Representación:1 (∀𝑥)(𝐶𝑥 ⊃ 𝐹𝑥) /∴ (∀𝑥)(∀𝑦)[(𝐶𝑥 ∧ 𝑇 𝑦𝑥) ⊃ (𝐹𝑥 ∧ 𝑇 𝑦𝑥)]
La lógica de las relaciones 59/112
![Page 60: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/60.jpg)
Representación de argumentos
Ejercicio (Copi [1998], ejercicio II.2, pág. 159)Simbolizar el siguiente argumento usando los símbolos indicados.Todos los círculos son figuras. Por lo tanto, todos los que trazan círculostrazan figuras. (𝐶𝑥: 𝑥 es un círculo. 𝐹𝑥: 𝑥 es una figura. 𝑇 𝑥𝑦: 𝑥 traza 𝑦.)Representación:1 (∀𝑥)(𝐶𝑥 ⊃ 𝐹𝑥) /∴ (∀𝑥)(∀𝑦)[(𝐶𝑥 ∧ 𝑇 𝑦𝑥) ⊃ (𝐹𝑥 ∧ 𝑇 𝑦𝑥)]
La lógica de las relaciones 60/112
![Page 61: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/61.jpg)
Representación de argumentos
Ejercicio (Copi [1998], ejercicio II.3, pág. 159)Simbolizar el siguiente argumento usando los símbolos indicados.Cualquier amigo de Juan es un amigo de Pedro. Por lo tanto, cualquiera queconozca a un amigo de Juan conoce a un amigo de Pedro. (𝑃𝑥: 𝑥 es unapersona. 𝐴𝑥𝑦: 𝑥 es un amigo de 𝑦. 𝐶𝑥𝑦: 𝑥 conoce a 𝑦. 𝑗: Juan. 𝑝: Pedro.)
Representación:1 (∀𝑥)(𝐴𝑥𝑗 ⊃ 𝐴𝑥𝑝)
/∴ (∀𝑥)(∀𝑦)[(𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗) ⊃ (𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝)]
La lógica de las relaciones 61/112
![Page 62: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/62.jpg)
Representación de argumentos
Ejercicio (Copi [1998], ejercicio II.3, pág. 159)Simbolizar el siguiente argumento usando los símbolos indicados.Cualquier amigo de Juan es un amigo de Pedro. Por lo tanto, cualquiera queconozca a un amigo de Juan conoce a un amigo de Pedro. (𝑃𝑥: 𝑥 es unapersona. 𝐴𝑥𝑦: 𝑥 es un amigo de 𝑦. 𝐶𝑥𝑦: 𝑥 conoce a 𝑦. 𝑗: Juan. 𝑝: Pedro.)Representación:1 (∀𝑥)(𝐴𝑥𝑗 ⊃ 𝐴𝑥𝑝)
/∴ (∀𝑥)(∀𝑦)[(𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗) ⊃ (𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝)]
La lógica de las relaciones 62/112
![Page 63: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/63.jpg)
Representación de argumentos
Ejercicio (Copi [1998], ejercicio II.7, pág. 160)Simbolizar el siguiente argumento usando los símbolos indicados.Todo lo que hay en mi escritorio es una obra maestra. Quienquiera queescriba una obra maestra es un genio. Alguna persona desconocida escribióalguna de las novelas que hay en mi escritorio. Por lo tanto, alguna personadesconocida es un genio. (𝐸𝑥: 𝑥 está en mi escritorio. 𝑀𝑥: 𝑥 es una obramaestra. 𝑃𝑥: 𝑥 es una persona. 𝐺𝑥: 𝑥 es un genio. 𝐷𝑥: 𝑥 es un desconocido.𝑁𝑥: 𝑥 es una novela. 𝐸𝑥𝑦: 𝑥 escribió 𝑦).
Representación:1 (∀𝑥)(𝐸𝑥 ⊃ 𝑀𝑥)2 (∀𝑥)[(𝑃𝑥 ∧ (∃𝑦)(𝐸𝑥𝑦 ∧ 𝑀𝑦)) ⊃ 𝐺𝑥]3 (∃𝑥)(∃𝑦)(𝑃𝑥 ∧ 𝐷𝑥 ∧ 𝑁𝑦 ∧ 𝐸𝑦 ∧ 𝐸𝑥𝑦) /∴ (∃𝑥)(𝑃𝑥 ∧ 𝐷𝑥 ∧ 𝐺𝑥)
La lógica de las relaciones 63/112
![Page 64: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/64.jpg)
Representación de argumentos
Ejercicio (Copi [1998], ejercicio II.7, pág. 160)Simbolizar el siguiente argumento usando los símbolos indicados.Todo lo que hay en mi escritorio es una obra maestra. Quienquiera queescriba una obra maestra es un genio. Alguna persona desconocida escribióalguna de las novelas que hay en mi escritorio. Por lo tanto, alguna personadesconocida es un genio. (𝐸𝑥: 𝑥 está en mi escritorio. 𝑀𝑥: 𝑥 es una obramaestra. 𝑃𝑥: 𝑥 es una persona. 𝐺𝑥: 𝑥 es un genio. 𝐷𝑥: 𝑥 es un desconocido.𝑁𝑥: 𝑥 es una novela. 𝐸𝑥𝑦: 𝑥 escribió 𝑦).Representación:1 (∀𝑥)(𝐸𝑥 ⊃ 𝑀𝑥)2 (∀𝑥)[(𝑃𝑥 ∧ (∃𝑦)(𝐸𝑥𝑦 ∧ 𝑀𝑦)) ⊃ 𝐺𝑥]3 (∃𝑥)(∃𝑦)(𝑃𝑥 ∧ 𝐷𝑥 ∧ 𝑁𝑦 ∧ 𝐸𝑦 ∧ 𝐸𝑥𝑦) /∴ (∃𝑥)(𝑃𝑥 ∧ 𝐷𝑥 ∧ 𝐺𝑥)
La lógica de las relaciones 64/112
![Page 65: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/65.jpg)
Invalidez de argumentos empleado universos finitosEjemploDemuestre semánticamente la invalidez del argumento(∀𝑥)(∃𝑦)𝐴𝑥𝑦 /∴ (∃𝑦)(∀𝑥)𝐴𝑥𝑦.
Para dos individuos 𝑎 y 𝑏:
(∀𝑥)(∃𝑦)𝐴𝑥𝑦 ≡ (∃𝑦)𝐴𝑎𝑦 ∧ (∃𝑦)𝐴𝑏𝑦≡ (𝐴𝑎𝑎 ∨ 𝐴𝑎𝑏) ∧ (𝐴𝑏𝑎 ∨ 𝐴𝑏𝑏)
(∃𝑦)(∀𝑥)𝐴𝑥𝑦 ≡ (∀𝑥)𝐴𝑥𝑎 ∨ (∀𝑥)𝐴𝑥𝑏≡ (𝐴𝑎𝑎 ∧ 𝐴𝑏𝑎) ∨ (𝐴𝑎𝑏 ∧ 𝐴𝑏𝑏)
La lógica de las relaciones 65/112
![Page 66: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/66.jpg)
Invalidez de argumentos empleado universos finitosEjemploDemuestre semánticamente la invalidez del argumento(∀𝑥)(∃𝑦)𝐴𝑥𝑦 /∴ (∃𝑦)(∀𝑥)𝐴𝑥𝑦.Para dos individuos 𝑎 y 𝑏:
(∀𝑥)(∃𝑦)𝐴𝑥𝑦 ≡ (∃𝑦)𝐴𝑎𝑦 ∧ (∃𝑦)𝐴𝑏𝑦≡ (𝐴𝑎𝑎 ∨ 𝐴𝑎𝑏) ∧ (𝐴𝑏𝑎 ∨ 𝐴𝑏𝑏)
(∃𝑦)(∀𝑥)𝐴𝑥𝑦 ≡ (∀𝑥)𝐴𝑥𝑎 ∨ (∀𝑥)𝐴𝑥𝑏≡ (𝐴𝑎𝑎 ∧ 𝐴𝑏𝑎) ∨ (𝐴𝑎𝑏 ∧ 𝐴𝑏𝑏)
La lógica de las relaciones 66/112
![Page 67: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/67.jpg)
Invalidez de argumentos empleado universos finitos
Ejemplo (continuación)
Proposiciones: 𝐴𝑎𝑎 𝐴𝑎𝑏 𝐴𝑏𝑎 𝐴𝑏𝑏1 0 0 1
Premisa: (𝐴𝑎𝑎 ∨ 𝐴𝑎𝑏) ∧ (𝐴𝑏𝑎 ∨ 𝐴𝑏𝑏)1
Conclusión: (𝐴𝑎𝑎 ∧ 𝐴𝑏𝑎) ∨ (𝐴𝑎𝑏 ∧ 𝐴𝑏𝑏)0
Por lo tanto, el argumento es inválido!
La lógica de las relaciones 67/112
![Page 68: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/68.jpg)
Demostraciones de validez de argumentosReglas de inferenciaPara la demostración de argumentos que involucran relaciones es suficiente:
la regla de demostración condicional (incluye la regla de demostraciónindirecta),las 8 reglas de inferencia de la lógica proposicional,la regla de reemplazo de la lógica proposicional (10 reglas deequivalencias lógicas),las 4 reglas de inferencia con cuantificadores,adicionar una restricción adicional a la regla de generalizaciónuniversal yla regla de cambio de cuantificadores (4 reglas de equivalenciaslógicas).
La lógica de las relaciones 68/112
![Page 69: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/69.jpg)
Demostraciones de validez de argumentosEl siguiente ejemplo ilustra la necesidad de una nueva restricción a la reglade generalización universal (UG).
Ejemplo (Hurley [2012], ejemplo pág. 485)Construir una demostración formal de validez para el argumento:1 (∀𝑦)(∃𝑥)𝑀𝑥𝑦 /∴ (∃𝑥)(∀𝑦)𝑀𝑥𝑦2 (∃𝑥)𝑀𝑥𝑦 UI 1
3 𝑀𝑎𝑦 EI 2
4 (∀𝑦)𝑀𝑎𝑦 UG 3 Error!
5 (∃𝑥)(∀𝑦)𝑀𝑥𝑦 EG 4
La lógica de las relaciones 69/112
![Page 70: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/70.jpg)
Demostraciones de validez de argumentosEl siguiente ejemplo ilustra la necesidad de una nueva restricción a la reglade generalización universal (UG).
Ejemplo (Hurley [2012], ejemplo pág. 485)Construir una demostración formal de validez para el argumento:1 (∀𝑦)(∃𝑥)𝑀𝑥𝑦 /∴ (∃𝑥)(∀𝑦)𝑀𝑥𝑦
2 (∃𝑥)𝑀𝑥𝑦 UI 1
3 𝑀𝑎𝑦 EI 2
4 (∀𝑦)𝑀𝑎𝑦 UG 3 Error!
5 (∃𝑥)(∀𝑦)𝑀𝑥𝑦 EG 4
La lógica de las relaciones 70/112
![Page 71: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/71.jpg)
Demostraciones de validez de argumentosEl siguiente ejemplo ilustra la necesidad de una nueva restricción a la reglade generalización universal (UG).
Ejemplo (Hurley [2012], ejemplo pág. 485)Construir una demostración formal de validez para el argumento:1 (∀𝑦)(∃𝑥)𝑀𝑥𝑦 /∴ (∃𝑥)(∀𝑦)𝑀𝑥𝑦2 (∃𝑥)𝑀𝑥𝑦 UI 1
3 𝑀𝑎𝑦 EI 2
4 (∀𝑦)𝑀𝑎𝑦 UG 3 Error!
5 (∃𝑥)(∀𝑦)𝑀𝑥𝑦 EG 4
La lógica de las relaciones 71/112
![Page 72: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/72.jpg)
Demostraciones de validez de argumentosRecomendaciones
Cuando sea necesario instanciar cuantificadores universales yexistenciales, instanciar primero los cuantificadores existenciales.
“Instanciar (siempre que sea legítimo) con respecto a la mismavariable que ha sido cuantificada y cuantificar con respecto a la mismavariable que ocurriese libre en la premisa.” [Copi 1998, pág. 156]Es decir, en lugar de emplear
(∀𝑥)𝐹𝑥∴ 𝐹𝑦
𝐹𝑦∴ (∃𝑥)𝐹𝑥
𝐹𝑦∴ (∀𝑥)𝐹𝑥
es mejor emplear, cuando sea posible, respectivamente(∀𝑥)𝐹𝑥
∴ 𝐹𝑥𝐹𝑥
∴ (∃𝑥)𝐹𝑥𝐹𝑥
∴ (∀𝑥)𝐹𝑥
La lógica de las relaciones 72/112
![Page 73: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/73.jpg)
Demostraciones de validez de argumentosRecomendaciones
Cuando sea necesario instanciar cuantificadores universales yexistenciales, instanciar primero los cuantificadores existenciales.“Instanciar (siempre que sea legítimo) con respecto a la mismavariable que ha sido cuantificada y cuantificar con respecto a la mismavariable que ocurriese libre en la premisa.” [Copi 1998, pág. 156]
Es decir, en lugar de emplear(∀𝑥)𝐹𝑥
∴ 𝐹𝑦𝐹𝑦
∴ (∃𝑥)𝐹𝑥𝐹𝑦
∴ (∀𝑥)𝐹𝑥es mejor emplear, cuando sea posible, respectivamente
(∀𝑥)𝐹𝑥∴ 𝐹𝑥
𝐹𝑥∴ (∃𝑥)𝐹𝑥
𝐹𝑥∴ (∀𝑥)𝐹𝑥
La lógica de las relaciones 73/112
![Page 74: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/74.jpg)
Demostraciones de validez de argumentosRecomendaciones
Cuando sea necesario instanciar cuantificadores universales yexistenciales, instanciar primero los cuantificadores existenciales.“Instanciar (siempre que sea legítimo) con respecto a la mismavariable que ha sido cuantificada y cuantificar con respecto a la mismavariable que ocurriese libre en la premisa.” [Copi 1998, pág. 156]Es decir, en lugar de emplear
(∀𝑥)𝐹𝑥∴ 𝐹𝑦
𝐹𝑦∴ (∃𝑥)𝐹𝑥
𝐹𝑦∴ (∀𝑥)𝐹𝑥
es mejor emplear, cuando sea posible, respectivamente(∀𝑥)𝐹𝑥
∴ 𝐹𝑥𝐹𝑥
∴ (∃𝑥)𝐹𝑥𝐹𝑥
∴ (∀𝑥)𝐹𝑥
La lógica de las relaciones 74/112
![Page 75: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/75.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio I.2, pág. 158)Construir una demostración formal de validez para el argumento:1 (∀𝑥)[(∃𝑦)𝐵𝑦𝑥 ⊃ (∀𝑧)𝐵𝑥𝑧] /∴ (∀𝑦)(∀𝑧)(𝐵𝑦𝑧 ⊃ 𝐵𝑧𝑦)
2 (∃𝑦)𝐵𝑦𝑥 ⊃ (∀𝑧)𝐵𝑥𝑧 UI 1
3 𝐵𝑦𝑥 ACP
4 (∃𝑦)𝐵𝑦𝑥 EG 3
5 (∀𝑧)𝐵𝑥𝑧 MP 2, 4
6 𝐵𝑥𝑦 UI 5
7 𝐵𝑦𝑥 ⊃ 𝐵𝑥𝑦 CP 3–6
8 (∀𝑧)(𝐵𝑦𝑧 ⊃ 𝐵𝑧𝑦) UG 7
9 (∀𝑦)(∀𝑧)(𝐵𝑦𝑧 ⊃ 𝐵𝑧𝑦) UG 8
La lógica de las relaciones 75/112
![Page 76: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/76.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio I.2, pág. 158)Construir una demostración formal de validez para el argumento:1 (∀𝑥)[(∃𝑦)𝐵𝑦𝑥 ⊃ (∀𝑧)𝐵𝑥𝑧] /∴ (∀𝑦)(∀𝑧)(𝐵𝑦𝑧 ⊃ 𝐵𝑧𝑦)2 (∃𝑦)𝐵𝑦𝑥 ⊃ (∀𝑧)𝐵𝑥𝑧 UI 1
3 𝐵𝑦𝑥 ACP
4 (∃𝑦)𝐵𝑦𝑥 EG 3
5 (∀𝑧)𝐵𝑥𝑧 MP 2, 4
6 𝐵𝑥𝑦 UI 5
7 𝐵𝑦𝑥 ⊃ 𝐵𝑥𝑦 CP 3–6
8 (∀𝑧)(𝐵𝑦𝑧 ⊃ 𝐵𝑧𝑦) UG 7
9 (∀𝑦)(∀𝑧)(𝐵𝑦𝑧 ⊃ 𝐵𝑧𝑦) UG 8
La lógica de las relaciones 76/112
![Page 77: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/77.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio I.3, pág. 159)Construir una demostración formal de validez para el siguiente argumento:1 (∀𝑥)(𝐶𝑎𝑥 ⊃ 𝐷𝑥𝑏)2 (∃𝑥)𝐷𝑥𝑏 ⊃ (∃𝑦)𝐷𝑏𝑦 /∴ (∃𝑥)𝐶𝑎𝑥 ⊃ (∃𝑦)𝐷𝑏𝑦
La lógica de las relaciones 77/112
![Page 78: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/78.jpg)
Demostraciones de validez de argumentos
Ejercicio (continuación)
1 (∀𝑥)(𝐶𝑎𝑥 ⊃ 𝐷𝑥𝑏)2 (∃𝑥)𝐷𝑥𝑏 ⊃ (∃𝑦)𝐷𝑏𝑦 /∴ (∃𝑥)𝐶𝑎𝑥 ⊃ (∃𝑦)𝐷𝑏𝑦3 (∃𝑥)𝐶𝑎𝑥 ACP
4 𝐶𝑎𝑐 EI 3
5 𝐶𝑎𝑐 ⊃ 𝐷𝑐𝑏 UI 1
6 𝐷𝑐𝑏 MP 5, 4
7 (∃𝑥)𝐷𝑥𝑏 EG 6
8 (∃𝑦)𝐷𝑏𝑦 MP 2, 7
9 (∃𝑥)𝐶𝑎𝑥 ⊃ (∃𝑦)𝐷𝑏𝑦 CP 3–9
La lógica de las relaciones 78/112
![Page 79: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/79.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio I.4, pág. 159)Construir una demostración formal de validez para el siguiente argumento:1 (∀𝑥)[𝐸𝑥 ⊃ (∀𝑦)(𝐹𝑦 ⊃ 𝐺𝑥𝑦)]2 (∃𝑥)[𝐸𝑥 ∧ (∃𝑦)∼𝐺𝑥𝑦] /∴ (∃𝑥)∼𝐹𝑥
La lógica de las relaciones 79/112
![Page 80: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/80.jpg)
Demostraciones de validez de argumentosEjercicio (continuación)
1 (∀𝑥)[𝐸𝑥 ⊃ (∀𝑦)(𝐹𝑦 ⊃ 𝐺𝑥𝑦)]2 (∃𝑥)[𝐸𝑥 ∧ (∃𝑦)∼𝐺𝑥𝑦] /∴ (∃𝑥)∼𝐹𝑥3 𝐸𝑎 ∧ (∃𝑦)∼𝐺𝑎𝑦 EI 24 (∃𝑦)∼𝐺𝑎𝑦 Simp 35 ∼𝐺𝑎𝑏 EI 46 𝐸𝑎 ⊃ (∀𝑦)(𝐹𝑦 ⊃ 𝐺𝑎𝑦) UI 17 𝐸𝑎 Simp 38 (∀𝑦)(𝐹𝑦 ⊃ 𝐺𝑎𝑦) MP 6, 79 𝐹𝑏 ⊃ 𝐺𝑎𝑏 UI 8
10 ∼𝐹𝑏 MT 9, 511 (∃𝑥)∼𝐹𝑥 EG 10
La lógica de las relaciones 80/112
![Page 81: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/81.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio I.5*, pág. 159)Construir una demostración formal de validez para el siguiente argumento:1 (∃𝑥)[𝐻𝑥 ∧ (∀𝑦)(𝐼𝑦 ⊃ 𝐽𝑥𝑦)]
∴ (∀𝑥)(𝐻𝑥 ⊃ 𝐼𝑥) ⊃ (∃𝑦)(𝐼𝑦 ∧ 𝐽𝑦𝑦)
La lógica de las relaciones 81/112
![Page 82: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/82.jpg)
Demostraciones de validez de argumentos
Ejercicio (continuación)
1 (∃𝑥)[𝐻𝑥 ∧ (∀𝑦)(𝐼𝑦 ⊃ 𝐽𝑥𝑦)] /∴ (∀𝑥)(𝐻𝑥 ⊃ 𝐼𝑥) ⊃ (∃𝑦)(𝐼𝑦 ∧ 𝐽𝑦𝑦)2 (∀𝑥)(𝐻𝑥 ⊃ 𝐼𝑥) ACP3 𝐻𝑎 ∧ (∀𝑦)(𝐼𝑦 ⊃ 𝐽𝑎𝑦) EI 14 𝐻𝑎 Simp 35 𝐻𝑎 ⊃ 𝐼𝑎 UI 26 𝐼𝑎 MP 5, 47 (∀𝑦)(𝐼𝑦 ⊃ 𝐽𝑎𝑦) Simp 38 𝐼𝑎 ⊃ 𝐽𝑎𝑎 UI 79 𝐽𝑎𝑎 MP 8, 610 𝐼𝑎 ∧ 𝐽𝑎𝑎 Conj 6, 911 (∃𝑦)(𝐼𝑦 ∧ 𝐽𝑦𝑦) EG 1012 (∀𝑥)(𝐻𝑥 ⊃ 𝐼𝑥) ⊃ (∃𝑦)(𝐼𝑦 ∧ 𝐽𝑦𝑦) CP 2–12
La lógica de las relaciones 82/112
![Page 83: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/83.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio I.6, pág. 159)Construir una demostración formal de validez para el siguiente argumento:1 (∀𝑥){𝐾𝑥 ⊃ [(∃𝑦)𝐿𝑥𝑦 ⊃ (∃𝑧)𝐿𝑧𝑥]}2 (∀𝑥)[(∃𝑧)𝐿𝑧𝑥 ⊃ 𝐿𝑥𝑥]3 ∼(∃𝑥)𝐿𝑥𝑥 /∴ (∀𝑥)(𝐾𝑥 ⊃ (∀𝑦)∼𝐿𝑥𝑦)
La lógica de las relaciones 83/112
![Page 84: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/84.jpg)
Demostraciones de validez de argumentosEjercicio (continuación)1 (∀𝑥){𝐾𝑥 ⊃ [(∃𝑦)𝐿𝑥𝑦 ⊃ (∃𝑧)𝐿𝑧𝑥]}2 (∀𝑥)[(∃𝑧)𝐿𝑧𝑥 ⊃ 𝐿𝑥𝑥]3 ∼(∃𝑥)𝐿𝑥𝑥 /∴ (∀𝑥)(𝐾𝑥 ⊃ (∀𝑦)∼𝐿𝑥𝑦)4 𝐾𝑥 ACP5 (∀𝑥)∼𝐿𝑥𝑥 CQ 36 ∼𝐿𝑥𝑥 UI 57 (∃𝑧)𝐿𝑧𝑥 ⊃ 𝐿𝑥𝑥 UI 28 ∼(∃𝑧)𝐿𝑧𝑥 MT 7, 69 𝐾𝑥 ⊃ [(∃𝑦)𝐿𝑥𝑦 ⊃ (∃𝑧)𝐿𝑧𝑥] UI 110 (∃𝑦)𝐿𝑥𝑦 ⊃ (∃𝑧)𝐿𝑧𝑥 MP 9, 411 ∼(∃𝑦)𝐿𝑥𝑦 MT 10, 812 (∀𝑦)∼𝐿𝑥𝑦 CQ 1113 𝐾𝑥 ⊃ (∀𝑦)∼𝐿𝑥𝑦 CP 4–1214 (∀𝑥)(𝐾𝑥 ⊃ (∀𝑦)∼𝐿𝑥𝑦) UG 13
La lógica de las relaciones 84/112
![Page 85: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/85.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio I.7, pág. 159)Construir una demostración formal de validez para el siguiente argumento:1 (∀𝑥)[𝑀𝑥 ⊃ (∀𝑦)(𝑁𝑦 ⊃ 𝑂𝑥𝑦)]2 (∀𝑥)[𝑃𝑥 ⊃ (∀𝑦)(𝑂𝑥𝑦 ⊃ 𝑄𝑦)]
∴ (∃𝑥)(𝑀𝑥 ∧ 𝑃𝑥) ⊃ (∀𝑦)(𝑁𝑦 ⊃ 𝑄𝑦)
La lógica de las relaciones 85/112
![Page 86: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/86.jpg)
Demostraciones de validez de argumentos
Ejercicio (continuación)
1 (∀𝑥)[𝑀𝑥 ⊃ (∀𝑦)(𝑁𝑦 ⊃ 𝑂𝑥𝑦)]2 (∀𝑥)[𝑃𝑥 ⊃ (∀𝑦)(𝑂𝑥𝑦 ⊃ 𝑄𝑦)]
∴ (∃𝑥)(𝑀𝑥 ∧ 𝑃𝑥) ⊃ (∀𝑦)(𝑁𝑦 ⊃ 𝑄𝑦)3 (∃𝑥)(𝑀𝑥 ∧ 𝑃𝑥) ACP
4 𝑀𝑎 ∧ 𝑃𝑎 EI 3
5 𝑀𝑎 ⊃ (∀𝑦)(𝑁𝑦 ⊃ 𝑂𝑎𝑦) UI 1
6 𝑀𝑎 Simp 4
7 (∀𝑦)(𝑁𝑦 ⊃ 𝑂𝑎𝑦) MP 5, 6
Continua en la siguiente diapositiva...
La lógica de las relaciones 86/112
![Page 87: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/87.jpg)
Demostraciones de validez de argumentos
Ejercicio (continuación)
8 𝑁𝑦 ⊃ 𝑂𝑎𝑦 UI 7
9 𝑃𝑎 ⊃ (∀𝑦)(𝑂𝑎𝑦 ⊃ 𝑄𝑦) UI 2
10 𝑃𝑎 Simp 4
11 (∀𝑦)(𝑂𝑎𝑦 ⊃ 𝑄𝑦) MP 9, 10
12 𝑂𝑎𝑦 ⊃ 𝑄𝑦 UI 11
13 𝑁𝑦 ⊃ 𝑄𝑦 HS 8, 12
14 (∀𝑦)(𝑁𝑦 ⊃ 𝑄𝑦) UG 13
15 (∃𝑥)(𝑀𝑥 ∧ 𝑃𝑥) ⊃ (∀𝑦)(𝑁𝑦 ⊃ 𝑄𝑦) CP 3–15
La lógica de las relaciones 87/112
![Page 88: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/88.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio I.8, pág. 159)Construir una demostración formal de validez para el siguiente argumento:1 (∀𝑥)[(𝑅𝑥 ∧ ∼𝑆𝑥) ⊃ (∃𝑦)(𝑇 𝑥𝑦 ∧ 𝑈𝑦)]2 (∃𝑥)[𝑉 𝑥 ∧ 𝑅𝑥 ∧ (∀𝑦)(𝑇 𝑥𝑦 ⊃ 𝑉 𝑦)]3 (∀𝑥)(𝑉 𝑥 ⊃ ∼𝑆𝑥) /∴ (∃𝑥)(𝑉 𝑥 ∧ 𝑈𝑥)
La lógica de las relaciones 88/112
![Page 89: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/89.jpg)
Demostraciones de validez de argumentos
Ejercicio (continuación)
1 (∀𝑥)[(𝑅𝑥 ∧ ∼𝑆𝑥) ⊃ (∃𝑦)(𝑇 𝑥𝑦 ∧ 𝑈𝑦)]2 (∃𝑥)[𝑉 𝑥 ∧ 𝑅𝑥 ∧ (∀𝑦)(𝑇 𝑥𝑦 ⊃ 𝑉 𝑦)]3 (∀𝑥)(𝑉 𝑥 ⊃ ∼𝑆𝑥) /∴ (∃𝑥)(𝑉 𝑥 ∧ 𝑈𝑥)4 𝑉 𝑎 ∧ 𝑅𝑎 ∧ (∀𝑦)(𝑇 𝑎𝑦 ⊃ 𝑉 𝑦) EI 25 𝑉 𝑎 ⊃ ∼𝑆𝑎 UI 36 𝑉 𝑎 Simp 47 ∼𝑆𝑎 MP 5, 68 𝑅𝑎 Simp 49 𝑅𝑎 ∧ ∼𝑆𝑎 Conj 8, 7
10 (𝑅𝑎 ∧ ∼𝑆𝑎) ⊃ (∃𝑦)(𝑇 𝑎𝑦 ∧ 𝑈𝑦) UI 1
Continua en la siguiente diapositiva...La lógica de las relaciones 89/112
![Page 90: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/90.jpg)
Demostraciones de validez de argumentos
Ejercicio (continuación)
11 (∃𝑦)(𝑇 𝑎𝑦 ∧ 𝑈𝑦) MP 10, 912 𝑇 𝑎𝑏 ∧ 𝑈𝑏 EI 1113 (∀𝑦)(𝑇 𝑎𝑦 ⊃ 𝑉 𝑦) Simp 414 𝑇 𝑎𝑏 ⊃ 𝑉 𝑏 UI 1315 𝑇 𝑎𝑏 Simp 1216 𝑉 𝑏 MP 14, 1517 𝑈𝑏 Simp 1218 𝑉 𝑏 ∧ 𝑈𝑏 Conj 16, 1719 (∃𝑥)(𝑉 𝑥 ∧ 𝑈𝑥) EG 18
La lógica de las relaciones 90/112
![Page 91: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/91.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio II.2, pág. 159)Construir una demostración formal de validez para el siguiente argumento:Todos los círculos son figuras. Por lo tanto, todos los que trazan círculostrazan figuras. (𝐶𝑥: 𝑥 es un círculo. 𝐹𝑥: 𝑥 es una figura. 𝑇 𝑥𝑦: 𝑥 traza 𝑦.)
Representación:1 (∀𝑥)(𝐶𝑥 ⊃ 𝐹𝑥) /∴ (∀𝑥)(∀𝑦)[(𝐶𝑥 ∧ 𝑇 𝑦𝑥) ⊃ (𝐹𝑥 ∧ 𝑇 𝑦𝑥)]
La lógica de las relaciones 91/112
![Page 92: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/92.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio II.2, pág. 159)Construir una demostración formal de validez para el siguiente argumento:Todos los círculos son figuras. Por lo tanto, todos los que trazan círculostrazan figuras. (𝐶𝑥: 𝑥 es un círculo. 𝐹𝑥: 𝑥 es una figura. 𝑇 𝑥𝑦: 𝑥 traza 𝑦.)Representación:1 (∀𝑥)(𝐶𝑥 ⊃ 𝐹𝑥) /∴ (∀𝑥)(∀𝑦)[(𝐶𝑥 ∧ 𝑇 𝑦𝑥) ⊃ (𝐹𝑥 ∧ 𝑇 𝑦𝑥)]
La lógica de las relaciones 92/112
![Page 93: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/93.jpg)
Demostraciones de validez de argumentosEjercicio (continuación)
1 (∀𝑥)(𝐶𝑥 ⊃ 𝐹𝑥) /∴ (∀𝑥)(∀𝑦)[(𝐶𝑥 ∧ 𝑇 𝑦𝑥) ⊃ (𝐹𝑥 ∧ 𝑇 𝑦𝑥)]2 𝐶𝑥 ∧ 𝑇 𝑦𝑥 ACP
3 𝐶𝑥 Simp 2
4 𝐶𝑥 ⊃ 𝐹𝑥 UI 1
5 𝐹𝑥 MP 4, 3
6 𝑇 𝑦𝑥 Simp 2
7 𝐹𝑥 ∧ 𝑇 𝑦𝑥 Conj 5, 6
8 (𝐶𝑥 ∧ 𝑇 𝑦𝑥) ⊃ (𝐹𝑥 ∧ 𝑇 𝑦𝑥) CP 2–7
9 (∀𝑦)[(𝐶𝑥 ∧ 𝑇 𝑦𝑥) ⊃ (𝐹𝑥 ∧ 𝑇 𝑦𝑥)] UG 8
10 (∀𝑥)(∀𝑦)[(𝐶𝑥 ∧ 𝑇 𝑦𝑥) ⊃ (𝐹𝑥 ∧ 𝑇 𝑦𝑥)] UG 9La lógica de las relaciones 93/112
![Page 94: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/94.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio II.3, pág. 159)Construir una demostración formal de validez para el siguiente argumento:Cualquier amigo de Juan es un amigo de Pedro. Por lo tanto, cualquiera queconozca a un amigo de Juan conoce a un amigo de Pedro. (𝑃𝑥: 𝑥 es unapersona. 𝐴𝑥𝑦: 𝑥 es un amigo de 𝑦. 𝐶𝑥𝑦: 𝑥 conoce a 𝑦. 𝑗: Juan. 𝑝: Pedro.)
Representación:1 (∀𝑥)(𝐴𝑥𝑗 ⊃ 𝐴𝑥𝑝)
/∴ (∀𝑥)(∀𝑦)[(𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗) ⊃ (𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝)]
La lógica de las relaciones 94/112
![Page 95: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/95.jpg)
Demostraciones de validez de argumentos
Ejercicio (Copi [1998], ejercicio II.3, pág. 159)Construir una demostración formal de validez para el siguiente argumento:Cualquier amigo de Juan es un amigo de Pedro. Por lo tanto, cualquiera queconozca a un amigo de Juan conoce a un amigo de Pedro. (𝑃𝑥: 𝑥 es unapersona. 𝐴𝑥𝑦: 𝑥 es un amigo de 𝑦. 𝐶𝑥𝑦: 𝑥 conoce a 𝑦. 𝑗: Juan. 𝑝: Pedro.)Representación:1 (∀𝑥)(𝐴𝑥𝑗 ⊃ 𝐴𝑥𝑝)
/∴ (∀𝑥)(∀𝑦)[(𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗) ⊃ (𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝)]
La lógica de las relaciones 95/112
![Page 96: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/96.jpg)
Demostraciones de validez de argumentosEjercicio (continuación)
1 (∀𝑥)(𝐴𝑥𝑗 ⊃ 𝐴𝑥𝑝)/∴ (∀𝑥)(∀𝑦)[(𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗) ⊃ (𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝)]
2 𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗 ACP3 𝐴𝑦𝑗 Simp 24 𝐴𝑦𝑗 ⊃ 𝐴𝑦𝑝 UI 15 𝐴𝑦𝑝 MP 4, 36 𝐶𝑥𝑦 Simp 27 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝 Conj 6, 78 (𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗) ⊃ (𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝) CP 2–79 (∀𝑦)[(𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗) ⊃ (𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝)] UG 8
10 (∀𝑥)(∀𝑦)[(𝑃𝑥 ∧ 𝐶𝑥𝑦 ∧ 𝐴𝑦𝑗) ⊃ (𝐶𝑥𝑦 ∧ 𝐴𝑦𝑝)] UG 9La lógica de las relaciones 96/112
![Page 97: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/97.jpg)
Algunos atributos de las relaciones diádicas
𝑅𝑥𝑦 es una relación simétrica si y sólo si (∀𝑥)(∀𝑦)(𝑅𝑥𝑦 ⊃ 𝑅𝑦𝑥).𝑅𝑥𝑦 es un relación asimétrica si y sólo si (∀𝑥)(∀𝑦)(𝑅𝑥𝑦 ⊃ ∼𝑅𝑦𝑥).𝑅𝑥𝑦 es un relación no simétrica si y sólo si 𝑅𝑥𝑦 es una relación queno es ni simétrica ni asimétrica.
EjemplosEn los números naturales, = es una relación simétrica, < es una relaciónasimétrica y ≤ es una relación no simétrica.
La lógica de las relaciones 97/112
![Page 98: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/98.jpg)
Algunos atributos de las relaciones diádicas
𝑅𝑥𝑦 es una relación simétrica si y sólo si (∀𝑥)(∀𝑦)(𝑅𝑥𝑦 ⊃ 𝑅𝑦𝑥).𝑅𝑥𝑦 es un relación asimétrica si y sólo si (∀𝑥)(∀𝑦)(𝑅𝑥𝑦 ⊃ ∼𝑅𝑦𝑥).𝑅𝑥𝑦 es un relación no simétrica si y sólo si 𝑅𝑥𝑦 es una relación queno es ni simétrica ni asimétrica.
EjemplosEn los números naturales, = es una relación simétrica, < es una relaciónasimétrica y ≤ es una relación no simétrica.
La lógica de las relaciones 98/112
![Page 99: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/99.jpg)
Algunos atributos de las relaciones diádicas
𝑅𝑥𝑦 es una relación transitiva si y sólo si(∀𝑥)(∀𝑦)(∀𝑧)[(𝑅𝑥𝑦 ∧ 𝑅𝑦𝑧) ⊃ 𝑅𝑥𝑧].𝑅𝑥𝑦 es una relación intransitiva si y sólo si(∀𝑥)(∀𝑦)(∀𝑧)[(𝑅𝑥𝑦 ∧ 𝑅𝑦𝑧) ⊃ ∼𝑅𝑥𝑧].𝑅𝑥𝑦 es una relación no transitiva si y sólo si 𝑅𝑥𝑦 es una relación queno es ni transitiva ni intransitiva.
EjemplosLa relación ≠ es transitiva en un conjunto unitario y es no transitiva enun conjunto de al menos tres elementos. El juego “piedra, papel o tijeras”establece una relación intransitiva 𝑅𝑥𝑦: 𝑥 le gana a 𝑦.
La lógica de las relaciones 99/112
![Page 100: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/100.jpg)
Algunos atributos de las relaciones diádicas
𝑅𝑥𝑦 es una relación transitiva si y sólo si(∀𝑥)(∀𝑦)(∀𝑧)[(𝑅𝑥𝑦 ∧ 𝑅𝑦𝑧) ⊃ 𝑅𝑥𝑧].𝑅𝑥𝑦 es una relación intransitiva si y sólo si(∀𝑥)(∀𝑦)(∀𝑧)[(𝑅𝑥𝑦 ∧ 𝑅𝑦𝑧) ⊃ ∼𝑅𝑥𝑧].𝑅𝑥𝑦 es una relación no transitiva si y sólo si 𝑅𝑥𝑦 es una relación queno es ni transitiva ni intransitiva.
EjemplosLa relación ≠ es transitiva en un conjunto unitario y es no transitiva enun conjunto de al menos tres elementos. El juego “piedra, papel o tijeras”establece una relación intransitiva 𝑅𝑥𝑦: 𝑥 le gana a 𝑦.
La lógica de las relaciones 100/112
![Page 101: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/101.jpg)
Algunos atributos de las relaciones diádicas
𝑅𝑥𝑦 es una relación (totalmente) reflexiva si y sólo si (∀𝑥)𝑅𝑥𝑥.𝑅𝑥𝑦 es una relación irreflexiva si y sólo si (∀𝑥)∼𝑅𝑥𝑥.𝑅𝑥𝑦 es una relación no reflexiva si y sólo si 𝑅𝑥𝑦 es una relación queno es ni reflexiva ni irreflexiva.
EjemplosEn los números enteros positivos, la relación | (divisibilidad) es unarelación reflexiva, la relación < es una relación irreflexiva y la relación‘𝑥 · 𝑦 es un número par’ es un relación no reflexiva.
La lógica de las relaciones 101/112
![Page 102: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/102.jpg)
Algunos atributos de las relaciones diádicas
𝑅𝑥𝑦 es una relación (totalmente) reflexiva si y sólo si (∀𝑥)𝑅𝑥𝑥.𝑅𝑥𝑦 es una relación irreflexiva si y sólo si (∀𝑥)∼𝑅𝑥𝑥.𝑅𝑥𝑦 es una relación no reflexiva si y sólo si 𝑅𝑥𝑦 es una relación queno es ni reflexiva ni irreflexiva.
EjemplosEn los números enteros positivos, la relación | (divisibilidad) es unarelación reflexiva, la relación < es una relación irreflexiva y la relación‘𝑥 · 𝑦 es un número par’ es un relación no reflexiva.
La lógica de las relaciones 102/112
![Page 103: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/103.jpg)
Algunos atributos de las relaciones diádicas
Ejemplo (Relaciones reflexivas y simétricas pero no transitivas)Sea 𝐴 el conjunto 𝐴 = {𝑎, 𝑏, 𝑐} y 𝑅 la relación en 𝐴 definida por𝑅 = {(𝑎, 𝑎), (𝑎, 𝑏), (𝑏, 𝑎), (𝑏, 𝑏), (𝑏, 𝑐), (𝑐, 𝑏), (𝑐, 𝑐)}.
|𝑥 − 𝑦| ≤ 1
𝑅𝑥𝑦: 𝑥 vive a menos de un kilometro de distancia de 𝑦
La lógica de las relaciones 103/112
![Page 104: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/104.jpg)
Algunos atributos de las relaciones diádicas
Ejemplo (Copi [1998], ejemplo pág. 164)
Demuestre que si un relación binaria es asimétrica entonces la relación esirreflexiva.
1 (∀𝑥)(∀𝑦)(𝑅𝑥𝑦 ⊃ ∼𝑅𝑦𝑥) /∴ (∀𝑥)∼𝑅𝑥𝑥2 (∀𝑦)(𝑅𝑥𝑦 ⊃ ∼𝑅𝑦𝑥) UI 1
3 𝑅𝑥𝑥 ⊃ ∼𝑅𝑥𝑥 UI 2
4 ∼𝑅𝑥𝑥 ∨ ∼𝑅𝑥𝑥 Impl 3
5 ∼𝑅𝑥𝑥 Taut 4
6 (∀𝑥)∼𝑅𝑥𝑥 UG 5
La lógica de las relaciones 104/112
![Page 105: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/105.jpg)
Algunos atributos de las relaciones diádicas
Ejemplo (Copi [1998], ejemplo pág. 164)
Demuestre que si un relación binaria es asimétrica entonces la relación esirreflexiva.
1 (∀𝑥)(∀𝑦)(𝑅𝑥𝑦 ⊃ ∼𝑅𝑦𝑥) /∴ (∀𝑥)∼𝑅𝑥𝑥2 (∀𝑦)(𝑅𝑥𝑦 ⊃ ∼𝑅𝑦𝑥) UI 1
3 𝑅𝑥𝑥 ⊃ ∼𝑅𝑥𝑥 UI 2
4 ∼𝑅𝑥𝑥 ∨ ∼𝑅𝑥𝑥 Impl 3
5 ∼𝑅𝑥𝑥 Taut 4
6 (∀𝑥)∼𝑅𝑥𝑥 UG 5
La lógica de las relaciones 105/112
![Page 106: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/106.jpg)
Algunos atributos de las relaciones diádicasEjercicioEn el ejemplo de la pág. 104 demostramos que si un relación binaria esasimétrica entonces la relación es irreflexiva. Si se intercambian la premisay la conclusión es el nuevo argumento válido? Es decir, si una relaciónbinaria es irreflexiva entonces la relación es asimétrica?
Respuesta: El argumento es inválido. Por ejemplo, en los númerosnaturales la relación 𝑥 < 𝑦 o 𝑥 > 𝑦 es una relación irreflexiva, pero no esuna relación asimétrica.
La lógica de las relaciones 106/112
![Page 107: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/107.jpg)
Algunos atributos de las relaciones diádicasEjercicioEn el ejemplo de la pág. 104 demostramos que si un relación binaria esasimétrica entonces la relación es irreflexiva. Si se intercambian la premisay la conclusión es el nuevo argumento válido? Es decir, si una relaciónbinaria es irreflexiva entonces la relación es asimétrica?Respuesta: El argumento es inválido. Por ejemplo, en los númerosnaturales la relación 𝑥 < 𝑦 o 𝑥 > 𝑦 es una relación irreflexiva, pero no esuna relación asimétrica.
La lógica de las relaciones 107/112
![Page 108: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/108.jpg)
Atributos de las relaciones y argumentos relacionalesEjemploAl es mayor que Bill. Bill es mayor que Charlie. Por lo tanto, Al es mayorque Charlie (𝑎: Al. 𝑏: Bill. 𝑐: Charlie. 𝑀𝑥𝑦: 𝑥 es mayor que 𝑦.)
Argumento inválido𝑀𝑎𝑏𝑀𝑏𝑐∴ 𝑀𝑎𝑐
Argumento válido𝑀𝑎𝑏𝑀𝑏𝑐(∀𝑥)(∀𝑦)(∀𝑧)[(𝑀𝑥𝑦 ∧ 𝑀𝑦𝑧) ⊃ 𝑀𝑥𝑧] (premisa implícita)∴ 𝑀𝑎𝑐
La lógica de las relaciones 108/112
![Page 109: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/109.jpg)
Atributos de las relaciones y argumentos relacionalesEjemploAl es mayor que Bill. Bill es mayor que Charlie. Por lo tanto, Al es mayorque Charlie (𝑎: Al. 𝑏: Bill. 𝑐: Charlie. 𝑀𝑥𝑦: 𝑥 es mayor que 𝑦.)Argumento inválido
𝑀𝑎𝑏𝑀𝑏𝑐∴ 𝑀𝑎𝑐
Argumento válido𝑀𝑎𝑏𝑀𝑏𝑐(∀𝑥)(∀𝑦)(∀𝑧)[(𝑀𝑥𝑦 ∧ 𝑀𝑦𝑧) ⊃ 𝑀𝑥𝑧] (premisa implícita)∴ 𝑀𝑎𝑐
La lógica de las relaciones 109/112
![Page 110: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/110.jpg)
Atributos de las relaciones y argumentos relacionalesEjemploAl es mayor que Bill. Bill es mayor que Charlie. Por lo tanto, Al es mayorque Charlie (𝑎: Al. 𝑏: Bill. 𝑐: Charlie. 𝑀𝑥𝑦: 𝑥 es mayor que 𝑦.)Argumento inválido
𝑀𝑎𝑏𝑀𝑏𝑐∴ 𝑀𝑎𝑐
Argumento válido𝑀𝑎𝑏𝑀𝑏𝑐(∀𝑥)(∀𝑦)(∀𝑧)[(𝑀𝑥𝑦 ∧ 𝑀𝑦𝑧) ⊃ 𝑀𝑥𝑧] (premisa implícita)∴ 𝑀𝑎𝑐
La lógica de las relaciones 110/112
![Page 111: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/111.jpg)
Entimemas
Definición (Entimema)“Un argumento que está expresado de manera incompleta, siendo “sobre-entendida” una parte del mismo.” [Copi 1998, pág. 164]
La lógica de las relaciones 111/112
![Page 112: Lógica - CM0260 La lógica de las relaciones · No soy muy del agrado de los polizontes (…). Soy hijo natural, mis padres han muerto, no ... es un hombre. : es hermano(a) de .](https://reader031.fdocuments.ec/reader031/viewer/2022020304/5ba1ec3509d3f2b66a8d39ab/html5/thumbnails/112.jpg)
References
Copi, Irving M. (1998). Lógica Simbólica. Compañía Editorial Continental(vid. págs. 41-44, 47-53, 55-57, 59-64, 72-77, 79, 81, 83, 85, 88, 91, 92, 94,95, 104, 105, 111).Deaño, Alfredo (1994). Introducción a la Lógica Formal. 11.a reimpresión.Alianza Universidad Textos (vid. págs. 3, 7-10).Hurley, Patrick J. (2012). A Concise Introduction to Logic. 11.a ed.Wadsworth, Cengage Learning (vid. págs. 69-71).