Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[Matemática discreta] Validez de razonamiento
Autor Mensaje
Rodri_Perez Sin conexión
Empleado del buffet
.
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 18
Agradecimientos dados: 3
Agradecimientos: 4 en 1 posts
Registro en: Apr 2015
Mensaje: #1
[Matemática discreta] Validez de razonamiento Ejercicios Matemática Discreta
Sin usar la tabla de verdad analizar la validez de los siguientes razonamientos.

[ (p=>s) ^ (¬p=>q) ^ ( q=> ¬s) ] => p
(Este mensaje fue modificado por última vez en: 08-07-2015 11:47 por gonnza. Razón de la edición: tags - titulo)
07-07-2015 18:38
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
gonnza Sin conexión
User Verde

*********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 17.261
Agradecimientos dados: 780
Agradecimientos: 785 en 328 posts
Registro en: Mar 2010
BlogSpot Google+ YouTube
Mensaje: #2
RE: [Matemática discreta] Validez de razonamiento

Off-topic:
le puse los tags correspondientes y lo moví al foro que corresponde. Saludos!

[Imagen: v34BEFt.gif]
08-07-2015 11:47
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
nicolosano Sin conexión
Empleado del buffet
♪♫♪
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 18
Agradecimientos dados: 8
Agradecimientos: 33 en 2 posts
Registro en: Mar 2014
Mensaje: #3
RE: [Matemática discreta] Validez de razonamiento
[ (p=>s) ^ (¬p=>q) ^ ( q=> ¬s) ] => p
por absurdo V=>F
*Defino los valores de verdad para encontrar el Verdadero en la hipotesis
v(p)=F
v(-p)=V
v(s)=F
v(-s)=V
v(q)=V
V(p=>s)=V
v(¬p=>q)=V
V( q=> ¬s)=V
Entonces te queda
[ V ^ V ^ V ] => F
V=> F ---> esto es absurdo entonces el razonamiento no es valido
09-07-2015 00:35
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
alecho Sin conexión
Empleado de Fotocopiadora
Sin estado :(
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 37
Agradecimientos dados: 8
Agradecimientos: 23 en 8 posts
Registro en: Jun 2014
Mensaje: #4
RE: [Matemática discreta] Validez de razonamiento
Una forma fácil es que vayas simplificando la proposición. A ( q=> ¬s) podes expresarla como s => q que es su equivalente lógico y ya podes simplificarla por silogismo hipotético con p => s por lo que te queda reducida a p=>s. Luego fijate si podes simplificarla aún más o si llegaste a una expresión de las formas modus tollens, modus pones, silogismo disyuntivo, etc. que si es así el razonamiento es válido.

Saludos!
10-07-2015 00:23
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.