29/01/2020, 08:07:05 am *
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: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Determinar el valor de verdad de una proposición compuesta  (Leído 2392 veces)
0 Usuarios y 1 Visitante están viendo este tema.
andoporto
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 57


Ver Perfil
« : 06/02/2016, 00:19:16 am »

Hola, tengo la siguiente duda con dos ejercicios
a) Determinar si la información que se da es suficiente para conocer el valor de verdad
 [texx] (p \vee r) \Longleftrightarrow{q} [/texx] sabiendo que [texx]( p \wedge q) es V[/texx]
de la tabla de verdad de la conjunción me da que p=v y q=v porque son las únicas posibilidades para que sea V , luego transladando esos valores
[texx](p \vee r) \Longleftrightarrow{q}[/texx]
    [texx] V      \Longleftrightarrow{V} [/texx]
        V
como me dió verdadero, significa que la información es suficiente
Está bien lo que hice?

b)  lo mismo que antes

[texx](p \underline{\vee} q) \Longleftrightarrow{(\sim  p \wedge \sim q)} [/texx] sabiendo que q es V

reemplazo la q

[texx](p \underline{\vee} q) \Longleftrightarrow{\sim  p \wedge \sim q} [/texx]
        V                  F
que valores de verdad pongo debajo de la p?
en la solución veo que que [texx](p \underline{\vee} q)[/texx] da V y [texx]{\sim  p \wedge \sim q}[/texx] da F
y el resultado de [texx]V \Longleftrightarrow{F}[/texx] es F, por lo que su valor de verdad es F, implicando que la información es suficiente, de donde sale esta conclusión?

Muchas gracias



En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.827


Ver Perfil
« Respuesta #1 : 08/02/2016, 07:02:03 am »

Hola

Hola, tengo la siguiente duda con dos ejercicios
a) Determinar si la información que se da es suficiente para conocer el valor de verdad
 [texx] (p \vee r) \Longleftrightarrow{q} [/texx] sabiendo que [texx]( p \wedge q) es V[/texx]
de la tabla de verdad de la conjunción me da que p=v y q=v porque son las únicas posibilidades para que sea V , luego transladando esos valores
[texx](p \vee r) \Longleftrightarrow{q}[/texx]
    [texx] V      \Longleftrightarrow{V} [/texx]
        V
como me dió verdadero, significa que la información es suficiente
Está bien lo que hice?

Si. Correcto.

b)  lo mismo que antes

Cita
[texx](p \underline{\vee} q) \Longleftrightarrow{(\sim  p \wedge \sim q)} [/texx] sabiendo que q es V

reemplazo la q

[texx](p \underline{\vee} q) \Longleftrightarrow{\sim  p \wedge \sim q} [/texx]
        V                  F
que valores de verdad pongo debajo de la p?
en la solución veo que que [texx](p \underline{\vee} q)[/texx] da V y [texx]{\sim  p \wedge \sim q}[/texx] da F
y el resultado de [texx]V \Longleftrightarrow{F}[/texx] es F, por lo que su valor de verdad es F, implicando que la información es suficiente, de donde sale esta conclusión?

Muchas gracias

En principio debes de analizar la proposición para los dos valores posibles de [texx]p[/texx], [texx]V[/texx] y [texx]F[/texx]. Si el resultado no depende de esos valores, entonces la información dada es suficiente para determinar el valor de verdad de la proposición.

Ahora hay algo con lo que no estoy de acuerdo con la solución que dices que tienes:

Es cierto que si [texx]q[/texx] es verdadero la expresión de la derecha siempre es falsa:

[texx]{\sim  p \wedge \sim q}={\sim  p \wedge \sim V}={\sim  p \wedge F}=F[/texx]

Pero, entiendo que [texx]\underline{\vee}[/texx] es el "ó excluyente", y es verdadero si y sólo si uno de los dos es verdadero.

Entonces si [texx]p[/texx] es verdadero:

[texx](p\underline {\vee} q)=(V\underline {\vee} V)=F[/texx]

y si [texx]p[/texx] es falso:

[texx](p\underline {\vee} q)=(F\underline {\vee} V)=V[/texx]

Entonces si [texx]p[/texx] es verdadero la proposición sería verdadera y si [texx]p[/texx] es falso, la proposición sería falsa. Por tanto la información dada NO es suficiente para conocer su valor de verdad.

Saludos.
En línea
andoporto
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 57


Ver Perfil
« Respuesta #2 : 01/03/2016, 19:20:21 pm »

muchas gracias  :sonrisa:
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!