19/02/2020, 14:51:56 *
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: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Lógica Proposicional  (Leído 580 veces)
0 Usuarios y 1 Visitante están viendo este tema.
nktclau
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Femenino
Argentina Argentina

Mensajes: 3.398



Ver Perfil
« : 30/09/2011, 20:21:28 »

Hola Gente!!! como están. Me pueden dar una ayudita en el siguiente inciso por favor.

Decir si la siguiente proposición es verdadera o falsa, justificando la respuesta

a) [texx]\bold{p\Rightarrow{q}\Longleftrightarrow{\sim{(\sim{p\Rightarrow{\sim{q}}})  }}}[/texx]
             
              la expresión anterior es equivalente a [texx]p\Rightarrow{q}\Longleftrightarrow{\sim{ (q\Rightarrow{p}) }}}[/texx] debido a que [texx](\sim{p\Rightarrow{\sim{q}}})\Leftrightarrow{(q\Rightarrow{p})}[/texx] por contrarrecíproco.
Luego por definición de equivalencia tenemos  [texx]p\Rightarrow{q}\Longleftrightarrow{\sim{ (\sim{q} \vee p}) }}}[/texx]

Por De Morgan  [texx]p\Rightarrow{q}\Longleftrightarrow{(q \wedge \sim{p}}) }}}[/texx]

Hago las tablas de verdad y se puede observar que la proposición es verdadera si p es verdadero y q es falso, o bien si p es falso y q es verdadero
La proposición es falsa si  p es falso y q es falso o bien si p es verdadero y q es verdadero.


En las siguientes proposiciones me solicitan lo mismo que la anterior y negarla

b) [texx]s: \bold{\exists{x} \in{\mathbb{Z}}/ x }[/texx] es multiplo de 9 y [texx]x[/texx] no es multiplo de 3.

Lo que hice en primera instancia es negarla para que la demostración sea sencilla  :avergonzado:

Quedando: [texx]\forall{x}\in{\mathbb{R}}:p\Rightarrow{q}[/texx]
siendo p: x es multiplo de 9 y q: x es multiplo de 3

por el método directo demuestro que [texx]\sim{s}[/texx] es verdadero por lo tanto [texx]s[/texx] es falso

c) Todo número real, si es racional entonces es entero
 
Falso pues, [texx]\exists{x}\in{\mathbb{R}}[/texx], con [texx]3 \in{\mathbb{Z}}[/texx] y [texx]5 \in{\mathbb{Z}}[/texx] tal que 3 y 5 no son múltiplos y [texx]x=\displaystyle\frac{3}{5}[/texx] pero [texx]\displaystyle\frac{3}{5}\not\in{\mathbb{Z}}[/texx]

Suponiendo que lo de arriba estuviera bien justificado tuve problemas para negarla quisiera saber si lo hecho estará bien por favor. GRACIAS!!
Existe un número real, tal que es racional y no es entero.
UN ABRAZO!!!
En línea
Jorge klan
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 1.727



Ver Perfil
« Respuesta #1 : 01/10/2011, 16:02:57 »

Hola

a) [texx]\bold{p\Rightarrow{q}\Longleftrightarrow{\sim{(\sim{p\Rightarrow{\sim{q}}})  }}}[/texx]

En estricto rigor, el problema no está bien planteado, pues se puede interpretar de dos modos así como está escrito:

[texx](p\Rightarrow{q})\Longleftrightarrow{\sim{(\sim{p\Rightarrow{\sim{q}}})}}[/texx]

o bien

[texx]p\Rightarrow({q}\Longleftrightarrow{\sim{(\sim{p\Rightarrow{\sim{q}}})}})[/texx]

así, el valor de verdad puede depender de cómo lo interpretaste tú.

b) [texx]s: \bold{\exists{x} \in{\mathbb{Z}}/ x }[/texx] es multiplo de 9 y [texx]x[/texx] no es multiplo de 3.

Lo que hice en primera instancia es negarla para que la demostración sea sencilla  :avergonzado:

Quedando: [texx]\forall{x}\in{\mathbb{R}}:p\Rightarrow{q}[/texx]
siendo p: x es multiplo de 9 y q: x es multiplo de 3

por el método directo demuestro que [texx]\sim{s}[/texx] es verdadero por lo tanto [texx]s[/texx] es falso

Con tus asignaciones la negación de la proposición es:

[texx](\forall x\in \mathbb{Z})(\sim p \vee q)[/texx]

es decir

[texx](\forall x\in \mathbb{Z})(x \text{ no es m\'ultiplo de } 9 \vee x \text { es m\'ultiplo de } 3)[/texx]

nota que usando la equivalencia [texx]\sim p\vee q \equiv p\Rightarrow{} q[/texx], esta última proposición nos queda:

[texx](\forall x\in \mathbb{Z})(x \text{ es m\'ultiplo de } 9 \Rightarrow{} x \text { es m\'ultiplo de } 3)[/texx]

la cual es verdadera, pues si [texx]x=9t[/texx], entonces, [texx]x=3(3t)[/texx].

c) Todo número real, si es racional entonces es entero
 
Falso pues, [texx]\exists{x}\in{\mathbb{R}}[/texx], con [texx]3 \in{\mathbb{Z}}[/texx] y [texx]5 \in{\mathbb{Z}}[/texx] tal que 3 y 5 no son múltiplos y [texx]x=\displaystyle\frac{3}{5}[/texx] pero [texx]\displaystyle\frac{3}{5}\not\in{\mathbb{Z}}[/texx]

Suponiendo que lo de arriba estuviera bien justificado tuve problemas para negarla quisiera saber si lo hecho estará bien por favor. GRACIAS!!
Existe un número real, tal que es racional y no es entero.

Esto está correcto. La proposición original es:

[texx](\forall x\in \mathbb{R})(x\in \mathbb{Q}\Rightarrow{}x\in \mathbb{Z})[/texx]

la cual es equivalente a

[texx](\forall x\in \mathbb{R})(x\not\in \mathbb{Q}\vee x\in \mathbb{Z})[/texx]

Luego, la negación quedaría:

[texx](\exists x\in \mathbb{R})(x\in \mathbb{Q} \wedge x\not\in \mathbb{Z})[/texx]

Saludos

En línea
nktclau
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Femenino
Argentina Argentina

Mensajes: 3.398



Ver Perfil
« Respuesta #2 : 01/10/2011, 18:05:40 »

Hola Jorge Klan ¿cómo estás?  :guiño: :guiño: GRACIAS POR LA GRAN AYUDA  :guiño:

a) [texx]\bold{p\Rightarrow{q}\Longleftrightarrow{\sim{(\sim{p\Rightarrow{\sim{q}}})  }}}[/texx]

En estricto rigor, el problema no está bien planteado, pues se puede interpretar de dos modos así como está escrito:

[texx](p\Rightarrow{q})\Longleftrightarrow{\sim{(\sim{p\Rightarrow{\sim{q}}})}}[/texx]

o bien

[texx]p\Rightarrow({q}\Longleftrightarrow{\sim{(\sim{p\Rightarrow{\sim{q}}})}})[/texx]

así, el valor de verdad puede depender de cómo lo interpretaste tú.


Independientemente, de cómo lo haya interpretado yo, ¿cuál sería la forma correcta de realizar o analizar, mejor dicho, el valor de verdad de la proposición a):¿eh?:??

b) [texx]s: \bold{\exists{x} \in{\mathbb{Z}}/ x }[/texx] es multiplo de 9 y [texx]x[/texx] no es multiplo de 3.

He tomado [texx]\begin{Bmatrix} \textsf{p: x es multiplo de 9}\\ \textsf{q: x es multiplo de 3}\end{matrix}[/texx]. Así la proposición queda: [texx]s:\exists{x} \in{\mathbb{Z}}/ p\wedge \sim{q}  [/texx]
Negándola sería: [texx]\sim{\left( \exists{x} \in{\mathbb{Z}}/ p \wedge \sim{q} \right)}[/texx]

lo que es igual a: [texx]\forall{x}\in{\mathbb{Z}}/ \sim{p} \vee q  [/texx]   lo que es equivalente a la definición de implicación   [texx]\forall{x}\in{\mathbb{Z}}/ \ p\Rightarrow{q}[/texx]

Es decir [texx]\sim{s}: \forall{x}\in{\mathbb{Z}}[/texx] si x es multiplo de 9 entonces es multiplo de 3

Esta bien???


BUENO MUCHAS GRACIAS JORGE , NUEVAMENTE!!!!  :guiño:
En línea
Jorge klan
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 1.727



Ver Perfil
« Respuesta #3 : 02/10/2011, 15:01:31 »

Hola  :sonrisa_amplia:


Independientemente, de cómo lo haya interpretado yo, ¿cuál sería la forma correcta de realizar o analizar, mejor dicho, el valor de verdad de la proposición a):¿eh?:??

El valor de verdad lo puedes encontrar por tablas de verdad o bien reduciendo la expresión con equivalentes (como lo estás haciendo tú). Yo al menos prefiero esto último...pero es cosa de gustos o bien cómo te pida el ejercicio el profesor. Ahora, como dije anteriormente, el ejercicio se puede interpretar de las dos formas que indico anteriormente, ¿estás segura que no te faltó tipear un paréntesis?.


b) [texx]s: \bold{\exists{x} \in{\mathbb{Z}}/ x }[/texx] es multiplo de 9 y [texx]x[/texx] no es multiplo de 3.

He tomado [texx]\begin{Bmatrix} \textsf{p: x es multiplo de 9}\\ \textsf{q: x es multiplo de 3}\end{matrix}[/texx]. Así la proposición queda: [texx]s:\exists{x} \in{\mathbb{Z}}/ p\wedge \sim{q}  [/texx]
Negándola sería: [texx]\sim{\left( \exists{x} \in{\mathbb{Z}}/ p \wedge \sim{q} \right)}[/texx]

lo que es igual a: [texx]\forall{x}\in{\mathbb{Z}}/ \sim{p} \vee q  [/texx]   lo que es equivalente a la definición de implicación   [texx]\forall{x}\in{\mathbb{Z}}/ \ p\Rightarrow{q}[/texx]

Es decir [texx]\sim{s}: \forall{x}\in{\mathbb{Z}}[/texx] si x es multiplo de 9 entonces es multiplo de 3

Está bien???

Está bien

Saludos
En línea
nktclau
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Femenino
Argentina Argentina

Mensajes: 3.398



Ver Perfil
« Respuesta #4 : 02/10/2011, 18:38:41 »

Hola JORGE!!!  :sonrisa_amplia: :sonrisa_amplia: :sonrisa_amplia:
GRACIAS!! antes que nada.

Tienes razón, es mejor reducir la expresión, pero como no faltó tipear nada y tiene dos posibles interpetaciones será mejor realizar la tabla  :BangHead: :BangHead: :BangHead: :BangHead:


UN ABRAZO!!  :guiño:
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!