Autor Tema: ¿Formalizar razonamiento?

0 Usuarios y 1 Visitante están viendo este tema.

07 Abril, 2018, 04:51 pm
Leído 1545 veces

Atomo

  • Nuevo Usuario
  • Mensajes: 1
  • Karma: +0/-0
  • Sexo: Masculino
Hola, alguien me puede corregir el siguiente razonamiento:

Premisa 1: Cuando haces proyectos valiosos si te dan los medios adecuados, haces peticiones razonables
Premisa 2; Haces peticiones razonables cuando haces proyectos valiosos, sienpre que estás inspirado
Premisa 3: haces proyectos valiosos sólo cuando estás inspirado y te dan los medios adecuados
Conclusión: Para que te den los medios adecuados tienes que hacer peticiones razonables

P: haces proyectos valiosos
I: estás inspirado
M: te dan los medios adecuados
R: haces peticiones razonables

Mi solución es :

P1 = P ^ M -> R
P2 = I -> (P -> R)
P3 = I ^ M -> P
C   = R -> M

¿Cuales son los errores? Si es que hay alguno
Gracias

09 Abril, 2018, 10:33 pm
Respuesta #1

nia

  • Novato
  • Mensajes: 172
  • Karma: +0/-2
  • Sexo: Masculino
En mi inexperiencia he tanteado con valores y no veo que la conclusión sea válida.
Esperemos que alguno con más callo responda (... y respondieron).

valores
0 0 0 0  0 0 0 0   1 1 1 1  1 1 1 1    M
0 0 0 0  1 1 1 1   0 0 0 0  1 1 1 1    I
0 0 1 1  0 0 1 1   0 0 1 1  0 0 1 1    P
0 1 0 1  0 1 0 1   0 1 0 1  0 1 0 1    R
evaluaciones
0 0 0 0  0 0 0 0   0 0 1 1  0 0 1 1   (P ^ M )
1 1 1 1  1 1 1 1   1 1 0 0  1 1 0 1   (P ^ M ) -->   R                (a)
0 0 0 0  0 0 1 1   0 0 0 0  0 0 1 1   (P ^ I  )
1 1 1 1  1 1 0 1   1 1 1 1  1 1 0 1   (P ^ I  ) -->   R                (b)
0 0 0 0  0 0 0 0   0 0 0 0  1 1 1 1                      (M ^ I  )
1 1 0 0  1 1 0 0   1 1 0 0  1 1 1 1    P          --> (M ^ I   )       (c)
1 1 0 0  1 1 0 0   1 1 0 0  1 1 0 1   (a^b^c)
1 0 1 0  1 0 1 0   0 1 0 1  0 1 0 1                      (M --> R)
1 0 1 1  1 0 1 1   0 1 1 1  0 1 1 1   (a^b^c) --> (M --> R)      (z)

CORREGIDO con la solución de Carlos. Las columnas 9 y 13 son su contraejemplo (la 2 y la 6 el otro análogo).

09 Abril, 2018, 10:44 pm
Respuesta #2

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 46,535
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola

Hola, alguien me puede corregir el siguiente razonamiento:

Premisa 1: Cuando haces proyectos valiosos si te dan los medios adecuados, haces peticiones razonables
Premisa 2; Haces peticiones razonables cuando haces proyectos valiosos, sienpre que estás inspirado
Premisa 3: haces proyectos valiosos sólo cuando estás inspirado y te dan los medios adecuados
Conclusión: Para que te den los medios adecuados tienes que hacer peticiones razonables

P: haces proyectos valiosos
I: estás inspirado
M: te dan los medios adecuados
R: haces peticiones razonables

Mi solución es :

P1 = P ^ M -> R
P2 = I -> (P -> R)
P3 = I ^ M -> P
C   = R -> M

¿Cuales son los errores? Si es que hay alguno
Gracias

La tercera proposición debería de ser una equivalencia; pero aun así no veo tampoco que de las premisas se deduzca la conclusión.

Es como dice después Carlos.

Saludos.

CORREGIDO

10 Abril, 2018, 12:45 am
Respuesta #3

Carlos Ivorra

  • Administrador
  • Mensajes: 9,060
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Página web personal
En realidad las premisas son \( (P\land M)\rightarrow R \), \( (P\land I)\rightarrow R \), \( P\rightarrow( I\land M) \) y la conclusión es \( M\rightarrow R \), pero el razonamiento no es válido, porque si \( M \) es verdadera y \( P, R \) son falsas, todas las hipótesis son verdaderas y la conclusión es falsa.

Con la formalización de Atomo (que, insisto, no se corresponde con el texto) sucede lo mismo, pues si \( R \) es verdadera y \( M \) es falsa de nuevo las premisas son verdaderas y la conclusión falsa.