| Autor |
Mensaje |
El jevi
Nivel 7
Edad: 34
Registrado: 31 May 2010
Mensajes: 418
Ubicación: Almagro
Carrera: Informática y Sistemas
|
|
Hay dos tipos de cuantificaciones: Universal y Existencial
Si tengo una cuantificacion universal y encuentro un elemento del dominio que no cumpla la proposicion, pasa a ser una proposicion FALSA.
Ahora, si tengo cuantificacion existencial y encuentro que todos los elementos del dominio cumplen la proposicion, pasa a ser una proposicion FALSA. Asi lo tengo anotado, pero me parece absurdo. Creo que la existencia debe estar contenida en la universalidad. ¿Me explico? ¿Cómo es para la matemática discreta?
|
|
|
|
_________________
|
|
   |
    |
|
Lautaz
Nivel 8
Registrado: 05 Sep 2008
Mensajes: 550
Carrera: Informática y Sistemas
|
|
Universal --> para todos
Existencial --> al menos uno
La segunda parte que comentás está mal:
Si tenés una cuantificación existencial y encontrás que todos los elementos del dominio NO cumplen la proposición entonces pasa a ser falsa.
|
|
|
|
|
|
| |
|
|
El jevi
Nivel 7
Edad: 34
Registrado: 31 May 2010
Mensajes: 418
Ubicación: Almagro
Carrera: Informática y Sistemas
|
|
Claro, en eso sí, estamos de acuerdo.
Pero en una cuantificacion existencial, ADEMAS de que tiene que existir al menos uno que cumpla para ser V, tengo anotado que si TODOS cumplen pasa a ser F. Como que "extendiendo" la existencial, no puede convivir con la universal, una cosa así. Eso es lo que no me cierra.
|
|
|
|
_________________
|
|
| |
|
|
Lautaz
Nivel 8
Registrado: 05 Sep 2008
Mensajes: 550
Carrera: Informática y Sistemas
|
|
Debés haber anotado mal, si te fijás en el ejercicio 21 de la guía, las dos primeras igualdades son verdaderas y dicen que, siendo p una proposición:
- La negación de "para todo x se cumple p" es "existe un x que NO cumple p"
- La negación de "existe un x tal que se cumple p" es "para todo x NO se cumple p"
|
|
|
|
|
|
| |
|
|
El jevi
Nivel 7
Edad: 34
Registrado: 31 May 2010
Mensajes: 418
Ubicación: Almagro
Carrera: Informática y Sistemas
|
|
|
_________________
|
|
| |
|
|
|
|
|
Ver tema siguiente
Ver tema anterior
Podés publicar nuevos temas en este foro
No podés responder a temas en este foro
No podés editar tus mensajes en este foro
No podés borrar tus mensajes en este foro
No podés votar en encuestas en este foro
No Podéspostear archivos en este foro
No Podés bajar archivos de este foro
|
Todas las horas son ART, ARST (GMT - 3, GMT - 2 Horas)
Protected by CBACK CrackerTracker365 Attacks blocked.
|
|
|
[ Tiempo: 0.3997s ][ Pedidos: 20 (0.3339s) ] |
