Bueno, tengo un problemita con estos ejercicios de razonamientos, la profesora explica como el reverendo orto entonces tengo que pensar bien todo en casita, el tema es el siguiente, tengo el siguiente razonamiento y tengo que dar su validez:



Mi duda consiste en como resolver el ejercicio

-Puedo hacer directamente la tabla de verdad y ver si me da una tautologia para que sea un razonamiento valido, que seria bastante tedioso
-Simplificar y hacer la tabla de verdad al final
-Puedo analizarlo como vi que lo hacian en clase, por absurdo o por directo, el tema esta en que no entiendo bien como resolverlo de esta manera, por ejemplo en este ejercicio:

p => r
-p => q
q => s
_____________________
-r => s

por directo: ( conclucion verdadera y premisas verdaderas)

r = F ; s = V ; q = V ; p = F

Con estos valores de verdad el razonamiento es valido (además de que wolfram me tira que es tautologia =P ), ahora, mis preguntas: ¿Es condicion suficiente para decir que el razonamiento es valido? ¿Cuantas veces tendria que analizar la validez del razonamiento variando los valores de verdad de las proposiciones? ¿Es preferible simplificar y hacer la tabla de verdad al final o usar este metodo para validar razonamientos?

Gracias de antemano, un saludooooooo

No puedo ver la imágen
Un razonamiento es válido cuando no se da el caso de que las premisas sean verdaderas y la conclusión te de falsa, tenés que tomar las premisas y ver qué valores de las proposiciones las hacen verdaderas, y aplicas esos valores a todo el razonamiento para ver si la conclusión te da falso en algún momento. Dado que es tautología te da siempre verdadero así que el caso V => F no va a aparecer, pero no necesariamente tiene que ser tautología para que sea válido.

Sin importar la imagen esoss ejercicios no son para usar tabla, son para darle valores y "jugar" con las proposiciones. Podes ir bien como vos decis con el absurdo. Eso te piden!!!!!!!! te puede costar un ejercicio del parcial si no haces eso y te mandas con la tabla

Por que no tiene que ser tautologia necesariamente? Osea si me queda asi

Premisa1: V
Premisa2: F
Conclucion: F

Puedo considerarlo razonamiento valido? Porque (V and F) = F
Eso es lo que me queres decir?

Gracias a todos por contestarrr

Puede ser un razonamiento valido como no o verdadero, se decia de una sola de esas formas. Tenes que ir dandole valor hasta que encontras alguna que te de falsa y ahi decis que el razonamiento es invalido, sino ponele para las distintas combinaciones "p" puede estar v o f

Mmmm creo que entendi, cualquier cosa vuelvo a postear jaja, gracias

Bueno para corroborar, esta bien asi?

p
p v q
q => ( r => s)
t => s
_________________
-s v -t

Si p = V ; q = F ; r = V ; s = V ; t = V , las premisas son verdaderas pero la conclusión es falsa, por lo tanto es un razonamiento invalido, no? :B

podes poner el ejercicio? por que no me acuerdo que haya ninguno asi.

[p ^ (p v q) ^ [q => ( r => s)] ^ (t => s)] => ( ¬s v ¬t)

Ahora si, me acuerdo de ese ejercicio jaja y esta bien lo que te dije. Los valores que tomaste estan correctos ya que queda V => F, con lo cual es invalido y ya queda demostrado. No te olvides de aclarar los valores de verdad de cada expresion por las dudas (si haces la tabla de verdad de eso 2^5, te la regalo jaja )

Bueno, no había visto que ya lo hiciste, peroya lo hice y por ahí a alguien le sirve xD

(15-04-2012 21:40)rodam escribió:  [p ^ (p v q) ^ [q => ( r => s)] ^ (t => s)] => ( ¬s v ¬t)

El único caso que te interesa es el que todas las premisas sean verdaderas, en el resto de los casos la conclusión te puede dar cualquier cosa y eso no afecta la validez, las premisas son:

1) p
2) p v q
3) q => ( r => s)
4) t => s

Para que la 1 sea verdadera, p debe ser verdadera, así que directamente no escribimos los casos en que es falsa. Nos quedan 2^4 casos.

A mí me marean tantas letras, por lo que resalto las partes que me importan, son las que te dan el valor de las premisas y la conclusión:
   
Completás los valores de las proposiciones:
   
Después resolvés la parte de la conclusión y tachás los que te dan verdadero, como buscás el caso V=>F los que te dan conclusión verdadera no te importan.
   
Y ahora empézas a completar los de cada premisas, cuando una te da falso tachás ese renglón porque no te importa ya que buscás los casos en que todas las premisas sean verdaderas. En este caso justo no es necesario, porque ya en el primer caso te aparece el V=>F
   
Si terminás todo y no aparece es que el razonamiento era válido.