22/01/2020, 07:20:16 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Métodos de demostración  (Leído 479 veces)
0 Usuarios y 1 Visitante están viendo este tema.
nktclau
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Femenino
Argentina Argentina

Mensajes: 3.370



Ver Perfil
« : 09/07/2011, 14:37:13 pm »

Hola Gente!! me podrían decir si lo que he realizado está bien?? por favor. MUCHAS GRACIAS
Me piden demostrar por cualquier metodo (Directo, contrarrecíproco o reducción al absurdo) la siguiente proposición. Sólo coloco un par pués casi todas las he hecho siguiendo el mismo razonamiento.
a) Si [texx]a[/texx] es par entonces [texx]a^2+1[/texx] es impar
Método Directo:
 [texx]\textsf{Si a es par }\Rightarrow{a=2k}\textsf{ , } k\in{\mathbb{Z}}\Rightarrow{a^2=4k}\Rightarrow{a^2+1=4k+1}\Rightarrow{a^2+1=2\underbrace{(2k)}_{h\in{\mathbb{Z}}} +1}\Rightarrow{a^2+1=2h+1}[/texx]

b) Si [texx]xy[/texx] es un número par entonces x o y son pares
Método  Contrarrecíproco:

[texx]\textsf{Si x e y son impares}\Rightarrow{x=2k+1} \wedge y=2h+1 \textsf{ ; } k,h\in{\mathbb{Z}}\Rightarrow{xy=(2k+1)(2h+1)}\Rightarrow{xy=2kh+2k+2h+1}\Rightarrow{xy= 2\underbrace{(kh+k+h) }_{\color{red} a\in{\mathbb{Z}}} +1}\Rightarrow{xy=2a+1}[/texx] por lo que xy son impares es la [texx]\sim{H}[/texx]

El que no tengo idea de como empezar es [texx]\forall{x}\exists{y}(x+y)=0[/texx] no logro identificar hipótesis y tesis.

GRACIAS!!  :guiño:
En línea
pepito
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 1.618


Ver Perfil
« Respuesta #1 : 09/07/2011, 14:49:07 pm »

Están perfecto, sólo que en la segunda te quedaría [texx]xy=4kh+2k+2h+1[/texx], y no [texx]xy=2kh+2k+2h+1[/texx].

Para la tercera, la hipótesis sería simplemente [texx]x\in\mathbb{R}[/texx], y la tesis [texx]\exists y\in\mathbb{R}:x+y=0[/texx]. En realidad esto es un axioma de los números reales, no sé muy bien qué es lo que te están pidiendo que hagas.
En línea

"...parecido pero nada que ver"
nktclau
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Femenino
Argentina Argentina

Mensajes: 3.370



Ver Perfil
« Respuesta #2 : 09/07/2011, 17:51:17 pm »

Hola Pepito!!! ¿que tal?  GRACIAS!!  :guiño:
Para la tercera, la hipótesis sería simplemente [texx]x\in\mathbb{R}[/texx], y la tesis [texx]\exists y\in\mathbb{R}:x+y=0[/texx]. En realidad esto es un axioma de los números reales, no sé muy bien qué es lo que te están pidiendo que hagas.
Me piden que analice el valor de verdad de la proposición considerando a [texx]\mathbb{R}[/texx] como dominio de interpretación.
¿cómo lo hago?  :¿eh?: :¿eh?:
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!