Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Consulta razonamiento guía Piñeiro (Unidad 1)
Autor Mensaje
TroisiBruno Sin conexión
Empleado del buffet
Buenos Aires
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 2
Agradecimientos dados: 1
Agradecimientos: 0 en 0 posts
Registro en: Jan 2018
Facebook Last.fm Twitter
Mensaje: #1
Question Consulta razonamiento guía Piñeiro (Unidad 1) Dudas y recomendaciones Matemática Discreta
Buenas a todos, resulta que preparando el final de discreta, agarré las guías de Piñeiro para refrescar los conocimientos y en la Unidad 1, en la parte de razonamientos; me encontré con este ejemplo:

[Imagen: zORvBh2.png]

Estoy convencido de que está mal resuelto, ya que nunca usa el predicado Ex : ¬r(x), pero tal vez se me pasó algo por encima

Por otro lado, quería corroborar la validez de mi resolución al utilizar ese predicado:

1- Ex : ( p(x) v q(x) )
2- Vx : ( q(x) => r(x) )
3- Ex : ¬r(x)
H- Ex : ( p(x) v r(x) )
4- p(a) v q(a) P.E 1
5- q(a) => r(a) P.U 2
6- ¬r(a) P.E 3
7- ¬q(a) M.T 5,6
8- p(a) S.D 7,4
9- Ex : p(x) G.E 8

H != 9 => Razonamiento inválido

(Nótese que para no quemarme la cabeza usé V como cuantificador universal y E como cuantificador existencial)

Desde ya muchas gracias!

wall Yo estudiando para el parcial
(Este mensaje fue modificado por última vez en: 01-02-2021 13:15 por TroisiBruno.)
01-02-2021 13:13
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
nicolasAM Sin conexión
Campeon del cubo Rubik
Aguante el Starbucks de la UADE
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 164
Agradecimientos dados: 53
Agradecimientos: 168 en 68 posts
Registro en: Jan 2017
Mensaje: #2
RE: Consulta razonamiento guía Piñeiro (Unidad 1)
Holis, estoy un poco oxidado con discreta, pero capaz te puedo pegar una mano...

A mi me resulta más fácil mencionando las cosas con palabras:
En tu resolución cuando llegás a 8) estás diciendo que "a" cumple p(x), lo cual no es un contraejemplo de la deducción del enunciado, ya que el mismo dice que existe al menos un x que cumple p(x) o r(x).

Por otro lado, desmenuzando el enunciado un poco más a prosa sería:
1. "Para todo x que cumple q(x) entonces cumple r(x)"
2. "Existe al menos un x que no cumple r(x)"
3. "También existe al menos un x que cumple p(x) o q(x)"
"Por lo tanto se deduce que existe al menos un x que cumple p(x) o r(x)"

Encarándolo un poco más, te dice que bien podés tener un x que te cumpla p o q y que a la vez todo x que cumpla q entonces cumple r. El dato que existe al menos un x que no cumple r es indistinto, ya que no niega, al menos en primera instancia, que haya algún x que no cumpla p o q (notá que acá ni siquiera menciono la segunda premisa sobre r, ya que esta es un consecuente de q).
Visto todo esto, yo me tiraría a demostrarlo, no a encontrar un contraejemplo.

Espero te haya tirado un centro al menos.

Besis love
01-02-2021 21:23
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
emaluckan Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 4
Agradecimientos dados: 2
Agradecimientos: 0 en 0 posts
Registro en: Nov 2020
Mensaje: #3
RE: Consulta razonamiento guía Piñeiro (Unidad 1)
Hola no se si llegue tarde para responderte la duda, pero la guia tiene un monton de errores, y justo el tuyo es uno de los ejercicios que tiene errores, la 3 premisa en la guia nueva no esta.

De paso te adjunto un drive mio con los temas actualizados que use el año pasado con Piñeiro:

https://drive.google.com/drive/folders/1...sp=sharing
20-02-2021 02:59
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)



    This forum uses Lukasz Tkacz MyBB addons.