19/02/2020, 12:39:44 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Reglas de inferencia  (Leído 1116 veces)
0 Usuarios y 1 Visitante están viendo este tema.
EstebanToro
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 19


Ver Perfil
« : 13/02/2014, 21:42:13 »

Quisiera saber si las siguientes reglas de inferencia son correctas, o no, por favor explicarme.

[texx]p \vee{q} \Longleftrightarrow{r}[/texx]
----------------------------------------

[texx]p\Longleftrightarrow{q\vee{r}}[/texx]


Y la otra:
[texx]p\Longleftrightarrow{q\vee{r}}[/texx]
-----------------------------------------
[texx]p \vee{q} \Longleftrightarrow{r}[/texx]
En línea
mathtruco
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 4.904

El gran profesor inspira


Ver Perfil
« Respuesta #1 : 14/02/2014, 01:46:00 »

Hola Esteban,

 no me queda claro qué es lo que debes probar.
En línea
EstebanToro
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 19


Ver Perfil
« Respuesta #2 : 14/02/2014, 08:49:44 »

Ver el adjunto por favor.


* reglas_de_inferencia.png (4.34 KB - descargado 186 veces.)
En línea
mathtruco
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 4.904

El gran profesor inspira


Ver Perfil
« Respuesta #3 : 14/02/2014, 10:38:39 »

Tu mensaje estaba bien escrito, sólo que parece que confusdiste los símbolos [texx]\wedge[/texx] y [texx]\wedge[/texx] (comandos \wedge y \wedge, respectivamente).

Sigo sin entender qué es lo que hay que  probar (eso de poner una proposición encima de otra como si fuera una división). Supongo que es una notación usual en algún contexto que no conozco. Ahora voy saliendo, si nadie te responde antes que vuelva buscaré en internet esta notación y te respondo.
En línea
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.083


Ver Perfil WWW
« Respuesta #4 : 14/02/2014, 11:18:30 »

Le piden que pruebe que si la afirmación de arriba de la raya es verdadera, entonces la de abajo de la raya también lo es, de modo que es correcto inferir la segunda a partir de la primera.

EstebanToro: No sé si esperarán que lo hagas de algún modo en concreto. Una posibilidad es que te escribas la tabla de verdad de las dos fórmulas (hay ocho posibilidades) y compruebes si en todos los casos en los que la primera es verdadera la segunda también lo es.
En línea
EstebanToro
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 19


Ver Perfil
« Respuesta #5 : 14/02/2014, 18:35:43 »

Pues si, eso pensé, pero pues de pronto me confundí porque me dieron una tabla de axiomas, pero era bastante sencillo.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!